In the PCP model, a verifier is supposed to probabilistically decide if a given input belongs to some language by posing queries to a purported proof of this fact. The probability that the verifier accepts an input in the language given a correct proof is called thecompletenessc; the probability that the verifier rejects an input not in the language given any proof is called the soundness. For a verifier posing q queries to the proof, the amortized query complexity is defined byq/ log2(c/s) if the proof is coded in binary. It is a measure of the average “e ffici ncy” of the queries in the following sense: An ideal query should preserve the completeness and halve the soundness. If this were the case for all queries, the amortized query complexity would be exactly one. Samorodnitsky and Trevisan [STOC 2000] gave a q-query PCP forNP with amortized query complexity 1 +2/ √ q+ε for any constant ε > 0. In this paper, we examine to what extent their result can be sharpened. Using the layered label cover problem recently introduced by Dinur et al.[STOC 2003], we devise a new “outer verifier” that allows us to construct an “inner verifier” that uses the query bits more e fficiently than earlier verifiers. This enables us to construct a PCP for NP that queriesq positions in the proof and has amortized query complexity 1 + √ 2/q+ ε. As an immediate corollary, we also obtain an improved hardness of approximation result for the Maximum q-CSP problem. Since the improvement compared to previous work is moderate, we then examine if there is an underlying reason for this. Our construction in this paper follows a paradigm for query e fficient PCPs forNP outlined by many previous researchers and it combines a state-of-the-art “outer verifier” with a natural candidate for a query efficient “inner verifier”. We prove in this paper that all natural attempts to construct more query e fficient versions of our verifier are doomed to fail. This implies that significantly new ideas regarding proof composition and encoding of PCP proofs are required to construct PCPs for NP that are more query e fficient than the one we propose in his paper.
[1]
Subhash Khot,et al.
Query efficient PCPs with perfect completeness
,
2001,
Proceedings 2001 IEEE International Conference on Cluster Computing.
[2]
Ran Raz,et al.
A parallel repetition theorem
,
1995,
STOC '95.
[3]
Luca Trevisan,et al.
Recycling queries in PCPs and in linearity tests (extended abstract)
,
1998,
STOC '98.
[4]
Mihir Bellare,et al.
Improved non-approximability results
,
1994,
STOC '94.
[5]
Manuel Blum,et al.
Self-testing/correcting with applications to numerical problems
,
1990,
STOC '90.
[6]
Mihir Bellare,et al.
Free bits, PCPs and non-approximability-towards tight results
,
1995,
Proceedings of IEEE 36th Annual Foundations of Computer Science.
[7]
Sanjeev Arora,et al.
Probabilistic checking of proofs: a new characterization of NP
,
1998,
JACM.
[8]
Johan Håstad,et al.
Some optimal inapproximability results
,
2001,
JACM.
[9]
Jonas Holmerin,et al.
Three-query PCPs with perfect completeness over non-Boolean domains
,
2003,
18th IEEE Annual Conference on Computational Complexity, 2003. Proceedings..
[10]
Luca Trevisan,et al.
A PCP characterization of NP with optimal amortized query complexity
,
2000,
STOC '00.
[11]
Carsten Lund,et al.
Proof verification and the hardness of approximation problems
,
1998,
JACM.
[12]
Luca Trevisan.
Parallel Approximation Algorithms by Positive Linear Programming
,
1998,
Algorithmica.
[13]
Avi Wigderson,et al.
Simple analysis of graph tests for linearity and PCP
,
2003,
Random Struct. Algorithms.
[14]
Venkatesan Guruswami,et al.
A New Multilayered PCP and the Hardness of Hypergraph Vertex Cover
,
2005,
SIAM J. Comput..
[15]
Luca Trevisan,et al.
Probabilistically checkable proofs with low amortized query complexity
,
1998,
Proceedings 39th Annual Symposium on Foundations of Computer Science (Cat. No.98CB36280).