Abstract
The PCP (i.e., Probabilistically Checkable Proofs) Theorem [8, 7, 22, 5, 4] states that any mathematical proof can be converted to a format that can be checked by a veri er making only a constant number of queries to the proof. The veri er picks the queries in a randomized way and might err with low probability.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have