Title :
Pseudorandomness and average-case complexity via uniform reductions
Author :
Trevisan, Luca ; Vadhan, Salil
Author_Institution :
Div. Comput. Sci., California Univ., Berkeley, CA, USA
fDate :
6/24/1905 12:00:00 AM
Abstract :
Impagliazzo and Wigderson (1998) gave the first construction of pseudorandom generators from a uniform complexity assumption on EXP (namely EXP = BPP). Unlike results in the nonuniform setting, their result does not provide a continuous trade-off between worst-case hardness and pseudorandomness, nor does it explicitly establish an average-case hardness result. We obtain an optimal worst-case to average-case connection for EXP: if EXP BPTIME(( )), EXP has problems that are cannot be solved on a fraction 1/2 1/\´( ) of the inputs by BPTIME (\´( )) algorithms, for \´ = 1. We exhibit a PSPACE -complete downward self-reducible and random self-reducible problem. This slightly simplifies and strengthens the proof of Impagliazzo and Wigderson (1998), which used a a P-complete problem with these properties. We argue that the results in Impagliazzo and Wigderson (1998) and in this paper cannot be proved via "black-box" uniform reductions
Keywords :
computational complexity; BTIME algorithms; PSPACE complete problem; average-case complexity; black-box uniform reductions; pseudorandom generators; pseudorandomness; random self-reducible problem; uniform complexity assumption; worst-case hardness; Circuit simulation; Complexity theory; Computational complexity; Computational modeling; Computer science; Engineering profession; Polynomials;
Conference_Titel :
Computational Complexity, 2002. Proceedings. 17th IEEE Annual Conference on
Conference_Location :
Montreal, Que.
Print_ISBN :
0-7695-1468-5
DOI :
10.1109/CCC.2002.1004348