loading...
Three-Query PCPs with Perfect Completeness over non-Boolean Domains
Aarhus, Denmark July 07-July 10
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/CCC.2003.121442818th Annual IEEE Conference on Comput ...
 This Article 
 
PDF
HTML
 
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Lars Engebretsen, Royal Institute of Technology
Jonas Holmerin, Royal Institute of Technology
We study non-Boolean 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 = 2, we construct a non-adaptive PCP with perfect completeness and soundness d_{}^{ - i} + d_{}^2 + E, for any constant e > 0, and an adaptive PCP with perfect completeness and soundness d_{}^{ - i} + Ee, for any constant e > 0. The latter PCP can be converted into a non-adaptive PCP with perfect completeness and soundness d_{}^{ - i} + E, for any constant e > 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 non-approximable beyond the random assignment threshold.
Citation:
Lars Engebretsen, Jonas Holmerin, "Three-Query PCPs with Perfect Completeness over non-Boolean Domains," ccc, pp.284, 18th Annual IEEE Conference on Computational Complexity (CCC'03), 2003
Usage of this product signifies your acceptance of the Terms of Use.