A PCP characterization of NP with optimal amortized query complexity

Alex Samorodnitsky, Luca Trevisan

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

134 Scopus citations

Abstract

For every ε > 0 and integers k and q (with k ≤ q ≤ k+k 2/4), we present a PCP characterization of NP, where the verifier queries q bits (of which only k are free bits), accepts a correct proof with probability ≥ 1 - ε and accepts a "proof" of a wrong statement with probability ≤ 2-(q-k). In particular, for every δ > 0 we have a PCP characterization of NP, where the verifier has, simultaneously, 1 + δ amortized query complexity and δ amortized free bit complexity. Both results are tight, unless P = NP. The optimal amortized query complexity of our verifier implies essentially tight non-approximability results for constraint satisfaction problems. Specifically, we can show that k-CSP, the problem of finding an assignment satisfying the maximum number of given constraints (where each constraint involves at most k variables) is NP-hard to approximate to within a factor 2-k+O(√k). The problem can be approximated to within a factor 2-k+1, and was known to be NP-hard to approximate to within a factor about 2-2k/3. We can also prove some new separation results between different PCP models. A PCP characterization of NP with optimal amortized free bit complexity implies that for every δ > 0 it is hard to approximate the maximum clique problem to within a n 1-δ factor. Such a characterization had already been proved by Håstad [13], in a celebrated recent breakthrough. Our construction gives an alternative, simpler, proof of this result. Our techniques also give a tight analysis of linearity testing algorithms with low amortized query complexity. As in the case of PCP, we show that it is possible to have a linearity testing algorithm that makes q queries and has error bounded from above by 2 -q+O(√/q). We also prove a lower bound showing that, for a certain, fairly general, class of testing algorithms, our analysis is tight even in the lower order term. That is, we show that the error of a q-query testing algorithm in this class has to be at least 2-q+Ω(√q).

Original languageAmerican English
Title of host publicationProceedings of the 32nd Annual ACM Symposium on Theory of Computing, STOC 2000
Pages191-199
Number of pages9
DOIs
StatePublished - 2000
Externally publishedYes
Event32nd Annual ACM Symposium on Theory of Computing, STOC 2000 - Portland, OR, United States
Duration: 21 May 200023 May 2000

Publication series

NameProceedings of the Annual ACM Symposium on Theory of Computing
ISSN (Print)0737-8017

Conference

Conference32nd Annual ACM Symposium on Theory of Computing, STOC 2000
Country/TerritoryUnited States
CityPortland, OR
Period21/05/0023/05/00

Fingerprint

Dive into the research topics of 'A PCP characterization of NP with optimal amortized query complexity'. Together they form a unique fingerprint.

Cite this