We study the average-case hardness of the class NP against deterministic polynomial time algorithms. We prove that there exists some constant μ > 0 such that if there is some language in NP for which no deterministic polynomial time algorithm can decide L correctly on a 1 − (log n)−μ fraction of inputs of length n, then there is a language L' in NP for which no deterministic polynomial time algorithm can decide L' correctly on a 3/4 + (log n)−μ fraction of inputs of length n. In coding theoretic terms, we give a construction of a monotone code that can be uniquely decoded up to error rate 1/4 by a deterministic local decoder.
Index Terms:
NP, Hardness Amplication, Derandomization, Error-Correcting Codes
Citation:
Parikshit Gopalan, Venkatesan Guruswami, "Hardness Amplification within NP against Deterministic Algorithms," ccc, pp.19-30, 2008 IEEE 23rd Annual Conference on Computational Complexity, 2008