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)
Uniform hardness vs. randomness tradeoffs for Arthur-Merlin games
Aarhus, Denmark
July 07-July 10
ISBN: 0-7695-1879-6
Dan Gutfreund, The Hebrew University of Jerusalem, Israel, 91904
Impagliazzo and Wigderson proved a uniform hardness vs. randomness "gap result" for BPP. We show an analogous result for AM: Either Arthur-Merlin protocols are very strong and everything in E = DTIME (2O(n)) can be proved to a sub-exponential time verifier, or else Arthur-Merlin protocols are weak and every language in AM has a polynomial time nondeter- ministic algorithm in the uniform average-case setting (i.e., it is infeasible to come up with inputs on which the algorithm fails). For the class AM n coAM we can re- move the average-case clause and show under the same assumption that AM n coAM = NPncoNP. A new ingredient in our proof is identifying a novel resiliency property of hardness vs. randomness trade- offs. We observe that the Miltersen-Vinodchandran generator has this property.
Citation:
Dan Gutfreund, "Uniform hardness vs. randomness tradeoffs for Arthur-Merlin games," ccc, pp.33, 18th Annual IEEE Conference on Computational Complexity (CCC'03), 2003
Usage of this product signifies your acceptance of the Terms of Use.