PASCAL - Pattern Analysis, Statistical Modelling and Computational Learning

Transparent long proofs: A first PCP theorem for $\mbox{NP}_{\R}$
Klaus Meer
In: 31st International Colloquium ICALP 2004, 12 July - 16 July 2004, Turku, Finland.

This is the latest version of this eprint.


We introduce and study the notion of probabilistically checkable proofs for real number algorithms. Our starting point is the computational model of Blum, Shub, and Smale and the real analogue $\npr$ of $\mbox{NP}$ in that model. Our main result is, to the best of our knowledge, the first PCP theorem for $\npr.$ It states $\npr \subseteq \mbox{PCP}_{\R}(poly,O(1)).$ The techniques used extend ideas from Rubinfeld and Sudan for self-testing and -correcting certain functions over so-called rational domains to more general domains over the real numbers. Thus, independently from real number complexity theory, the paper can be seen as a contribution to constructing self testers and correctors for linear functions over real domains.

Postscript - Requires a viewer, such as GhostView
EPrint Type:Conference or Workshop Item (Paper)
Project Keyword:Project Keyword UNSPECIFIED
Subjects:Learning/Statistics & Optimisation
Theory & Algorithms
ID Code:326
Deposited By:Klaus Meer
Deposited On:11 December 2004

Available Versions of this Item