Abstract | ||
---|---|---|
We study two quite different approaches to understanding the complexity of fundamental problems in numerical analysis: (a) the Blum-Shub-Smale model of computation over the reals; and (b) a problem we call the “generic task of numerical computation,” which captures an aspect of doing numerical computation in floating point, similar to the “long exponent model” that has been studied in the numerical computing community. We show that both of these approaches 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 $N0$. In the Blum-Shub-Smale model, polynomial-time computation over the reals (on discrete inputs) is polynomial-time equivalent to PosSLP when there are only algebraic constants. We conjecture that using transcendental constants provides no additional power, beyond nonuniform reductions to PosSLP, and we present some preliminary results supporting this conjecture. The generic task of numerical computation is also polynomial-time equivalent to PosSLP. We prove that PosSLP lies in the counting hierarchy. Combining this with work of Tiwari, we obtain 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. In the course of developing the context for our results on arithmetic circuits, we present some new observations on the complexity of the arithmetic circuit identity testing (ACIT) problem. In particular, we show that if $n!$ is not ultimately easy, then ACIT has subexponential complexity. |
Year | DOI | Venue |
---|---|---|
2009 | 10.1137/070697926 | Electronic Colloquium on Computational Complexity |
Keywords | Field | DocType |
numerical analysis,polynomial-time equivalent,numerical computing community,blum-shub-smale model,following problem,important problem,classical complexity class,fundamental problem,generic task,numerical computation | Integer,Complexity class,Discrete mathematics,Structural complexity theory,Upper and lower bounds,Counting problem,PSPACE,Hierarchy,Numerical analysis,Mathematics | Journal |
Volume | Issue | ISSN |
38 | 5 | 0097-5397 |
ISBN | Citations | PageRank |
0-7695-2596-2 | 89 | 3.41 |
References | Authors | |
47 | 4 |
Name | Order | Citations | PageRank |
---|---|---|---|
Eric Allender | 1 | 1434 | 121.38 |
Peter Bürgisser | 2 | 324 | 26.63 |
Johan Kjeldgaard-Pedersen | 3 | 89 | 3.41 |
Peter Bro Miltersen | 4 | 1146 | 94.49 |