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 NP in that model. Our main result is, to the best of our knowledge, the first PCP theorem for NP R. It states NPR ⊆ PCPR(poly, O(1)). The techniques used extend ideas from [7] 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. © Springer-Verlag Berlin Heidelberg 2004.
CITATION STYLE
Meer, K. (2004). Transparent long proofs: A first PCP theorem for NPR. Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 3142, 959–970. https://doi.org/10.1007/978-3-540-27836-8_80
Mendeley helps you to discover research relevant for your work.