Abstract
A fundamental research area in relation with analyzing the complexity of optimization problems are approximation algorithms. For combinatorial optimization a vast theory of approximation algorithms has been developed, see [1]. Many natural optimization problems involve real numbers and thus an uncountable search space of feasible solutions. A uniform complexity theory for real number decision problems was introduced by Blum, Shub, and Smale [4]. However, approximation algorithms were not yet formally studied in their model.
In this paper we develop a structural theory of optimization problems and approximation algorithms for the BSS model similar to the above mentioned one for combinatorial optimization. We introduce a class NPO ℝ of real optimization problems closely related to NP ℝ. The class NPO ℝ has four natural subclasses. For each of those we introduce and study real approximation classes APX ℝ and PTAS ℝ together with reducibility and completeness notions. As main results we establish the existence of natural complete problems for all these classes.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Ausiello, G., Crescenzi, P., Gambosi, G., Kann, V., Marchetti-Spaccamela, A., Protasi, M.: Complexity and Approximation. Springer, Heidelberg (1999)
Basu, S., Pollack, R., Roy, M.-F.: Algorithms in Real Algebraic Geometry. Springer, Heidelberg (2003)
Blum, L., Cucker, F., Shub, M., Smale, S.: Complexity and Real Computation. Springer, Heidelberg (1998)
Blum, L., Shub, M., Smale, S.: On a theory of computation and complexity over the real numbers: NP-completeness, recursive functions and universal machines. Bull. Amer. Math. Soc. 21, 1–46 (1989)
Crescenzi, P., Panconesi, A.: Completeness in Approximation Classes. Information and Computation 93, 241–262 (1991)
Cucker, F., Matamala, M.: On digital nondeterminism. Mathematical Systems Theory 29, 635–647 (1996)
Cucker, F., Rojas, J.M. (eds.): Foundations of Computational Mathematics, Festschrift on occasion of the 70th birthday of Steve Smale. World Scientific, Singapore (2002)
Li, T.Y.: Numerical solution of multivariate polynomial systems by homotopy continuation methods. Acta numerica, vol. 6, pp. 399–436. Cambridge University Press, Cambridge (1997)
Meer, K.: On some relations between approximation and PCPs over the real numbers. Theory of Computing Systems (to appear)
Renegar, J.: On the Computational Complexity of Approximating Solutions for Real Algebraic Formulae. SIAM J. Comput. 21(6), 1008–1025 (1992)
Renegar, J., Shub, M., Smale, S. (eds.): Mathematics of Numerical Analysis - Real Number Algorithms. Lecture Notes in Applied Mathematics, vol. 32 (1996)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2006 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Flarup, U., Meer, K. (2006). Approximation Classes for Real Number Optimization Problems. In: Calude, C.S., Dinneen, M.J., Păun, G., Rozenberg, G., Stepney, S. (eds) Unconventional Computation. UC 2006. Lecture Notes in Computer Science, vol 4135. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11839132_8
Download citation
DOI: https://doi.org/10.1007/11839132_8
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-38593-6
Online ISBN: 978-3-540-38594-3
eBook Packages: Computer ScienceComputer Science (R0)