License
when quoting this document, please refer to the following
URN: urn:nbn:de:0030-drops-6130
URL: http://drops.dagstuhl.de/opus/volltexte/2006/613/

Allender, Eric ; Bürgisser, Peter ; Kjeldgaard-Pedersen, Johan ; Miltersen, Peter Bro

On the Complexity of Numerical Analysis

pdf-format:
Dokument 1.pdf (184 KB)


Abstract

We study two quite different approaches to understanding the complexity of fundamental problems in numerical analysis. We show that both hinge on the question of understanding the complexity of the following problem, which we call PosSlp: Given a division-free straight-line program producing an integer N, decide whether N>0. We show that OrdSlp lies in the counting hierarchy, and combining our results with work of Tiwari, we show that the Euclidean Traveling Salesman Problem lies in the counting hierarchy -- the previous best upper bound for this important problem (in terms of classical complexity classes) being PSPACE.

BibTeX - Entry

@InProceedings{allender_et_al:DSP:2006:613,
  author =	{Eric Allender and Peter B{\"u}rgisser and Johan Kjeldgaard-Pedersen and Peter Bro Miltersen},
  title =	{On the Complexity of Numerical Analysis},
  booktitle =	{Complexity of Boolean Functions},
  year =	{2006},
  editor =	{Matthias Krause and Pavel Pudl{\'a}k and R{\"u}diger Reischuk and Dieter van Melkebeek},
  number =	{06111},
  series =	{Dagstuhl Seminar Proceedings},
  ISSN =	{1862-4405},
  publisher =	{Internationales Begegnungs- und Forschungszentrum f{\"u}r Informatik (IBFI), Schloss Dagstuhl, Germany},
  address =	{Dagstuhl, Germany},
  URL =		{http://drops.dagstuhl.de/opus/volltexte/2006/613},
  annote =	{Keywords: Blum-Shub-Smale Model, Euclidean Traveling Salesman Problem, Counting Hierarchy}
}

Keywords: Blum-Shub-Smale Model, Euclidean Traveling Salesman Problem, Counting Hierarchy
Seminar: 06111 - Complexity of Boolean Functions
Issue date: 2006
Date of publication: 20.11.2006


DROPS-Home | Fulltext Search | Imprint Published by LZI