Abstract
Yao showed how to use a sufficiently secure cryptographic permutation to construct pseudo-random generators to de-randomize arbitrary randomized algorithms. To do this, he used the fact that the XOR of independent random instances of a somewhat hard Boolean problem becomes almost completely unpredictable, a “direct product lemma”. In this survey, we try to sketch various connections between hard problems, direct product results, and de-randomization of algorithms.
Research supported by NSF YI Award CCR-92-570979, Sloan Research Fellowship BR-3311, grant #93025 of the joint US-Czechoslovak Science and Technology Program, and USA-Israel BSF Grant 92-00043
Preview
Unable to display preview. Download preview PDF.
References
A. Andreev, A. Clementi and J. Rolim, “Hitting Sets Derandomize BPP”, in XXIII International Colloquium on Algorithms, Logic and Programming (ICALP'96), 1996.
A. Andreev, A. Clementi, and J. Rolim, “Hitting Properties of Hard Boolean Operators and its Consequences on BPP”, manuscript, 1996.
L. Babai, L. Fortnow, N. Nisan and A. Wigderson, “BPP has Subexponential Time Simulations unless EXPTIME has Publishable Proofs”, Complexity Theory, Vol 3, pp. 307–318, 1993.
M. Blum and S. Micali. “How to Generate Cryptographically Strong Sequences of Pseudo-Random Bits”, SIAM J. Comput., Vol. 13, pages 850–864, 1984.
J. Feigenbaum and L. Fortnow, “Random self-reducibility of complete sets”, SIAM J. of Computing, vol. 22, no. 5 (Oct. 1993). pp. 995–1005.
O. Goldreich and L.A. Levin. “A Hard-Core Predicate for all One-Way Functions”, in ACM Symp. on Theory of Computing, pp. 25–32, 1989.
[GNW] O. Goldreich, N. Nisan and A. Wigderson. “On Yao's XOR-Lemma”, available via www at ECCC TR95-050, 1995.
J. Hastad, R. Impagliazzo, L.A. Levin and M. Luby, “Construction of Pseudorandom Generator from any One-Way Function”, to appear in SICOMP. (See preliminary versions by Impagliazzo et. al. in 21st STOC and Hastad in 22nd STOC).
R. Impagliazzo, “Hard-core Distributions for Somewhat Hard Problems”, in 36th FOCS, pages 538–545, 1995.
R. Impagliazzo and A. Wigderson, “P=BPP Unless E has Sub-exponential circuits: De-randomizing the XOR Lemma”, STOC '97, pp. 220–229.
L.A. Levin, “One-Way Functions and Pseudorandom Generators”, Combinatorica, Vol. 7, No. 4, pp. 357–363, 1987.
N. Nisan, “Pseudo-random bits for constant depth circuits”, Combinatorica 11 (1), pp. 63–70, 1991.
N. Nisan, and A. Wigderson, “Hardness vs Randomness”, J. Comput. System Sci. 49, 149–167, 1994
S. Rudich, “WP-Natural Proofs”, this conference, to appear.
M. Sipser, “A complexity-theoretic approach to randomness”. STOC '83, pp. 330–335.
A.C. Yao, “Theory and Application of Trapdoor Functions”, in 23st FOCS, pages 80–91, 1982.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1997 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Impagliazzo, R. (1997). Using hard problems to derandomize algorithms: An incomplete survey. In: Rolim, J. (eds) Randomization and Approximation Techniques in Computer Science. RANDOM 1997. Lecture Notes in Computer Science, vol 1269. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-63248-4_14
Download citation
DOI: https://doi.org/10.1007/3-540-63248-4_14
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-63248-1
Online ISBN: 978-3-540-69247-8
eBook Packages: Springer Book Archive