Three-query PCPs with perfect completeness over non-Boolean domains

Abstract

We study nonBoolean PCPs that have perfect completeness and read three positions from the proof. For the case when the proof consists of values from a domain of size d for some integer constant d/spl ges/2, we construct a nonadaptive PCP with perfect completeness and soundness d/sup -1/+d/sup -2/+/spl epsiv/, for any constant /spl epsiv/>0, and an adaptive PCP with perfect completeness and soundness d/sup -1/+/spl epsiv/, for any constant /spl epsiv/>0. The latter PCP can be converted into a nonadaptive PCP with perfect completeness and soundness d/sup -1/+/spl epsiv/, for any constant /spl epsiv/>0, where four positions are read from the proof. These results match the best known constructions for the case d=2 and our proofs also show that the particular predicates we use in our PCPs are nonapproximable beyond the random assignment threshold.