ECCC-Report TR05-037https://eccc.weizmann.ac.il/report/2005/037Comments and Revisions published for TR05-037en-usTue, 06 Dec 2005 00:00:00 +0200
Revision 1
| On the Complexity of Numerical Analysis |
Eric Allender,
Peter Bürgisser,
Johan Kjeldgaard-Pedersen,
Peter Bro Miltersen
https://eccc.weizmann.ac.il/report/2005/037#revision1We 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 PosSLP 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.
Tue, 06 Dec 2005 00:00:00 +0200https://eccc.weizmann.ac.il/report/2005/037#revision1
Comment 1
| Chapuis and Koiran had already shown how to remove algebraic constants Comment on: TR05-037 |
Eric Allender,
Peter Bürgisser,
Johan Kjeldgaard-Pedersen,
Peter Bro Miltersen
https://eccc.weizmann.ac.il/report/2005/037#comment1
We thank Klaus Meer for calling our attention to the fact that Theorem 1.2
follows very easily from Lemma 4.4 and Theorem 4.5 of the paper
``Saturation and Stability in the Theory of Computation over the Reals'',
by Olivier Chapuis and Pascal Koiran (Annals of Pure and Applied Logic
99 (1999) pp. 1-49). Their work shows more generally how algebraic
constants can be eliminated in computation over the reals.
Tue, 26 Apr 2005 16:52:16 +0300https://eccc.weizmann.ac.il/report/2005/037#comment1
Paper TR05-037
| On the Complexity of Numerical Analysis |
Eric Allender,
Peter Bürgisser,
Johan Kjeldgaard-Pedersen,
Peter Bro Miltersen
https://eccc.weizmann.ac.il/report/2005/037We 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 PosSLP lies in the counting hierarchy, and we show
that if A is any language in the Boolean part of Polynomial-time
over the Reals accepted by a machine whose machine constants are
algebraic real numbers, then A is in P^PosSLP. 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.
Sat, 09 Apr 2005 09:08:47 +0300https://eccc.weizmann.ac.il/report/2005/037