• DocumentCode
    3450065
  • 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
  • fYear
    1999
  • fDate
    1999
  • Firstpage
    181
  • Lastpage
    190
  • 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;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Foundations of Computer Science, 1999. 40th Annual Symposium on
  • Conference_Location
    New York City, NY
  • ISSN
    0272-5428
  • Print_ISBN
    0-7695-0409-4
  • Type

    conf

  • DOI
    10.1109/SFFCS.1999.814590
  • Filename
    814590