loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
18th Annual IEEE Conference on Computational Complexity (CCC'03)
Three-Query PCPs with Perfect Completeness over non-Boolean Domains
Aarhus, Denmark
July 07-July 10
ISBN: 0-7695-1879-6
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.