A combinatorial consistency lemma with application to proving the PCP theorem

  • Oded Goldreich
  • Shmuel Safra
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1269)


The current proof of the PCP Theorem (i.e., NP=PCP (log, O(1))) is very complicated. One source of difficulty is the technically involved analysis of low-degree tests. Here, we refer to the difficulty of obtaining strong results regarding low-degree tests; namely, results of the type obtained and used by Arora and Safra and Arora et. al.

In this paper, we eliminate the need to obtain such strong results on low-degree tests when proving the PCP Theorem. Although we do not get rid of low-degree tests altogether, using our results it is now possible to prove the PCP Theorem using a simpler analysis of low-degree tests (which yields weaker bounds). In other words, we replace the strong algebraic analysis of low-degree tests presented by Arora and Safra and Arora et. al. by a combinatorial lemma (which does not refer to low-degree tests or polynomials).


Parallelization of Probabilistic Proof Systems Probabilistically Checkable Proofs (PCP) NP Low-Degree Tests 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [ECCC]
    The Electronic Colloquium on Computational Complexity, ECCC, is a new forum for the rapid and widespread interchange of ideas in computational complexity. Online access to ECCC is possible using http://WWW.eccc.uni-trier.de/eccc/.Google Scholar
  2. [ALMSS]
    S. Arora, C. Lund, R. Motwani, M. Sudan and M. Szegedy. Proof Verification and Intractability of Approximation Problems. In 33rd FOCS, pages 14–23, 1992.Google Scholar
  3. [AS]
    S. Arora and S. Safra. Probabilistic Checkable Proofs: A New Characterization of NP. In 33rd FOCS, pages 1–13, 1992.Google Scholar
  4. [B94]
    L. Babai. Transparent Proofs and Limits to Approximation. TR-94-07, Dept. of Computer Science, University of Chicago, 1994.Google Scholar
  5. [BFL]
    L. Babai, L. Fortnow, and C. Lund. Non-Deterministic Exponential Time has Two-Prover Interactive Protocols. In 31st FOCS, pages 16–25, 1990.Google Scholar
  6. [BFLS]
    L. Babai, L. Fortnow, L. Levin, and M. Szegedy. Checking Computations in Polylogarithmic Time. In 23rd STOC, pages 21–31, 1991.Google Scholar
  7. [BF]
    D. Beaver and J. Feigenbaum. Hiding Instances in Multioracle Queries. In 7th STACS, Springer Verlag, LNCS Vol. 415, pages 37–48, 1990.Google Scholar
  8. [BGS]
    M. Bellare, O. Goldreich and M. Sudan. Free Bits, PCPs and Non-Approximability — Towards Tight Results. Extended abstract in 36th FOCS, pages 422–431, 1995. Full version appears in ECCC TR95-024. 1995.Google Scholar
  9. [BGLR]
    M. Bellare, S. Goldwasser, C. Lund and A. Russell. Efficient Probabilistically Checkable Proofs and Applications to Approximation. In 25th STOC, pages 294–304, 1993.Google Scholar
  10. [BS]
    M. Bellare and M. Sudan. Improved Non-Approximability Results. In 26th STOC, pages 184–193, 1994.Google Scholar
  11. [BGKW]
    M. Ben-Or, S. Goldwasser, J. Kilian and A. Wigderson. Multi-Prover Interactive Proofs: How to Remove Intractability. In 20th STOC, pages 113–131, 1988.Google Scholar
  12. [BLR]
    M. Blum, M. Luby and R. Rubinfeld. Self-Testing/Correcting with Applications to Numerical Problems. In 22nd STOC, 1990.Google Scholar
  13. [FGLSS]
    U. Feige, S. Goldwasser, L. Lovász, S. Safra, and M. Szegedy. Approximating Clique is almost NP-complete. In 32nd FOCS, pages 2–12, 1991.Google Scholar
  14. [FRS]
    L. Fortnow, J. Rompel and M. Sipser. On the Power of Multi-Prover Interactive Protocols. In Proc. 3rd IEEE Symp. on Structure in Complexity Theory, pages 156–161, 1988.Google Scholar
  15. [FS]
    K. Friedl and M. Sudan. Some Improvement to Total Degree Tests. In Proc. 3rd Israel Symp. on Theory of Computing and Systems, pages 190–198, 1995.Google Scholar
  16. [GLRSW]
    P. Gemmell, R. Lipton, R. Rubinfeld, M. Sudan, and A. Wigderson. Self-Testing/Correcting for Polynomials and for Approximate Functions. In 23th STOC, pages 32–42, 1991.Google Scholar
  17. [G96]
    O. Goldreich. A Taxonomy of Proof Systems. To appear in Complexity Theory Retrospective II, L.A. Hemaspaandra and A. Selman (eds.), Springer-Verlag, 1996. A copy is available from url http://theory.lcs.mit.edu/oded/pps.html.Google Scholar
  18. [GMW]
    O. Goldreich, S. Micali and A. Wigderson. Proofs that Yield Nothing but their Validity or All Languages in NP Have Zero-Knowledge Proof Systems. Extended abstract in 27th FOCS, 1986.Google Scholar
  19. [GS96]
    O. Goldreich and M. Safra. A Combinatorial Consistency Lemma with application to proving the PCP Theorem. In ECCC TR96-047. Revised October 1996.Google Scholar
  20. [GMR]
    S. Goldwasser, S. Micali and C. Rackoff. The Knowledge Complexity of Interactive Proof Systems. SIAM Journal on Computing, Vol. 18, pages 186–208, 1989.Google Scholar
  21. [H96]
    J. Hastad. Clique is Hard to Approximate within n 1−. In 37th FOCS, pages 627–636, 1996.Google Scholar
  22. [LS]
    D. Lapidot and A. Shamir. Fully Parallelized Multi Prover Protocols for NEXP-time. In 32nd FOCS, pages 13–18, 1991.Google Scholar
  23. [LFKN]
    C. Lund, L. Fortnow, H. Karloff, and N. Nisan. Algebraic Methods for Interactive Proof Systems. In 31st FOCS, pages 2–10, 1990.Google Scholar
  24. [RaSa]
    R. Raz and S. Safra. A Sub-Constant Error-Probability Low-Degree Test and a Sub-Constant Error-Probability PCP Characterization of NP. In 29th STOC, pages 475–484, 1997.Google Scholar
  25. [RS92]
    R. Rubinfeld and M. Sudan. Testing Polynomial Functions Efficiently and over Rational Domains. In 3rd SODA, pages 23–32, 1992.Google Scholar
  26. [RS96]
    R. Rubinfeld and M. Sudan. Robust Characterization of Polynomials with Application to Program Testing. SIAM J. of Computing, Vol. 25, No. 2, pages 252–271, 1996. This paper is considered the journal version of [GLRSW, RS92].Google Scholar
  27. [S90]
    A. Shamir. IP=PSPACE. In 31st FOCS, pages 11–15, 1990.Google Scholar
  28. [S95]
    M. Sudan. Efficient Checking of Polynomials and Proofs and the Hardness of Approximation Problems. ACM Distinguished Theses, Springer-Verlag, LNCS Vol. 1001, 1995.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1997

Authors and Affiliations

  • Oded Goldreich
    • 1
  • Shmuel Safra
    • 2
  1. 1.Department of Computer Science and Applied MathematicsWeizmann Institute of ScienceRehovotIsrael
  2. 2.Computer Science Department, Sackler Faculty of Exact SciencesTel-Aviv UniversityRamat-AvivIsrael

Personalised recommendations