A THEORY OF COMPLEXITY, CONDITION, AND ROUNDOFF
Forum of Mathematics, Sigma, Tome 3 (2015)
Voir la notice de l'article provenant de la source Cambridge University Press
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.
@article{10_1017_fms_2015_2,
author = {FELIPE CUCKER},
title = {A {THEORY} {OF} {COMPLEXITY,} {CONDITION,} {AND} {ROUNDOFF}},
journal = {Forum of Mathematics, Sigma},
publisher = {mathdoc},
volume = {3},
year = {2015},
doi = {10.1017/fms.2015.2},
language = {en},
url = {http://geodesic.mathdoc.fr/articles/10.1017/fms.2015.2/}
}
FELIPE CUCKER. A THEORY OF COMPLEXITY, CONDITION, AND ROUNDOFF. Forum of Mathematics, Sigma, Tome 3 (2015). doi: 10.1017/fms.2015.2
Cité par Sources :