Research output per year
Research output per year
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
The PCP theorem asserts the existence of proofs that can be verified by a verifier that reads only a very small part of the proof. The theorem was originally proved by Arora and Safra (J. ACM 45(1)) and Arora et al. (J. ACM 45(3)) using sophisticated algebraic tools. More than a decade later, Dinur (J. ACM 54(3)) gave a simpler and arguably more intuitive proof using alternative combinatorial techniques. One disadvantage of Dinur's proof compared to the previous algebraic proof is that it yields less efficient verifiers. In this work, we provide a combinatorial construction of PCPs with verifiers that are as efficient as the ones obtained by the algebraic methods. The result is the first combinatorial proof of the PCP theorem for NEXP (originally proved by Babai et al., STOC 1991), and a combinatorial construction of super-fast PCPs of Proximity for NP (first constructed by Ben-Sasson et al., CCC 2005).
Original language | English |
---|---|
Title of host publication | Proceedings - 50th Annual Symposium on Foundations of Computer Science, FOCS 2009 |
Pages | 463-471 |
Number of pages | 9 |
DOIs | |
State | Published - 2009 |
Externally published | Yes |
Event | 50th Annual Symposium on Foundations of Computer Science, FOCS 2009 - Atlanta, GA, United States Duration: 25 Oct 2009 → 27 Oct 2009 |
Name | Proceedings - Annual IEEE Symposium on Foundations of Computer Science, FOCS |
---|---|
ISSN (Print) | 0272-5428 |
Conference | 50th Annual Symposium on Foundations of Computer Science, FOCS 2009 |
---|---|
Country/Territory | United States |
City | Atlanta, GA |
Period | 25/10/09 → 27/10/09 |
Research output: Contribution to journal › Article › peer-review