Title :
Near-optimal conversion of hardness into pseudo-randomness
Author :
Impagliazzo, Russell ; Shaltiel, Ronen ; Wigderson, Avi
Author_Institution :
Dept. of Comput. Sci. & Eng., California Univ., San Diego, La Jolla, CA, USA
Abstract :
Various efforts have been made to derandomize probabilistic algorithms using the assumption that there exists a problem in E=dtime(2 O(n)) that requires circuits of size s(n) (for some function s). These results are based on the NW (Nisan & Wigderson, 1997) generator. For the strong lower bound s(n)=2εn, the optimal derandomization is P=BPP. However, for weaker lower bound functions s(n), these constructions fall short of the natural conjecture for optimal derandomization that bptime(t)⊆ dtime(2↑O[s-1 (t)]). The gap is due to an inherent efficiency limitation in NW-style pseudorandom generators. We are able to obtain derandomization in almost optimal time using any lower bound s(n). We do this by using the NW-generator in a more sophisticated way. We view any failure of the generator as a reduction from the given hard function to its restrictions on smaller input sizes. Thus, either the original construction works optimally or one of the restricted functions is as hard as the original. Any such restriction can then be plugged into the NW-generator recursively. This process generates many candidate generators, and at least one is guaranteed to be good. To perform the approximation of the acceptance probability of the given circuit, we run a tournament between the candidate generators which yields an accurate estimate. We explore information theoretic analogs of our new construction. The inherent limitation of the NW-generator makes the extra randomness required by that extractor suboptimal. However, applying our construction, we get an almost optimal disperser
Keywords :
computational complexity; information theory; randomised algorithms; NW-generator; almost optimal disperser; candidate generator tournament; circuit acceptance probability; circuit size; complexity theory; efficiency limitation; hard function; information theory; input size; lower bound; near-optimal conversion; optimal derandomization; probabilistic algorithm derandomization; pseudorandom generators; Artificial intelligence; Circuit simulation; Complexity theory; Computational modeling; Computer science; Drives; Network address translation; Reactive power; Read only memory;
Conference_Titel :
Foundations of Computer Science, 1999. 40th Annual Symposium on
Conference_Location :
New York City, NY
Print_ISBN :
0-7695-0409-4
DOI :
10.1109/SFFCS.1999.814590