
arXiv: 1403.6241
We develop a theory of complexity for numerical computations that takes into account the condition of the input data and allows for roundoff in the computations. We follow the lines of the theory developed by Blum, Shub and Smale for computations over $\mathbb{R}$ (which in turn followed those of the classical, discrete, complexity theory as laid down by Cook, Karp, and Levin, among others). In particular, we focus on complexity classes of decision problems and, paramount among them, on appropriate versions of the classes $\mathsf{P}$, $\mathsf{NP}$, and $\mathsf{EXP}$ of polynomial, nondeterministic polynomial, and exponential time, respectively. We prove some basic relationships between these complexity classes, and provide natural NP-complete problems.
FOS: Computer and information sciences, Roundoff error, 68Q17 (secondary), Numerical Analysis (math.NA), Computational Complexity (cs.CC), Computer Science - Computational Complexity, 68Q15 (primary), QA1-939, FOS: Mathematics, 68Q05, 68Q15, Complexity classes (hierarchies, relations among complexity classes, etc.), Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.), Mathematics - Numerical Analysis, Computation over the reals, computable analysis, Mathematics
FOS: Computer and information sciences, Roundoff error, 68Q17 (secondary), Numerical Analysis (math.NA), Computational Complexity (cs.CC), Computer Science - Computational Complexity, 68Q15 (primary), QA1-939, FOS: Mathematics, 68Q05, 68Q15, Complexity classes (hierarchies, relations among complexity classes, etc.), Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.), Mathematics - Numerical Analysis, Computation over the reals, computable analysis, Mathematics
| selected citations These citations are derived from selected sources. This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | 4 | |
| popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network. | Average | |
| influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | Average | |
| impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network. | Average |
