Abstract
The problem of whether NP has a random hard set (i.e., a set in RAND) is investigated. We show that for all recursive oracle A such that PA ≠ NPA, NPA has no hard set in RAND. On the other hand, we also show that for almost all oracle A, PA ≠ NPA and NPA has a hard set in RAND.
Part of this research was done while the second author was visiting Department of Mathematics, University of California at Santa Barbara. This research is supported in part by NSF grant CCR-9302057.
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
J. Balcázar, J. Díaz, and J. Gabarró. Structural Complexity I, EATCS Monographs on Theoretical Computer Science, Springer-Verlag, 1988.
J. Balcázar, J. Díaz, and J. Gabarró. Structural Complexity II, EATCS Monographs on Theoretical Computer Science, Springer-Verlag, 1991.
C. Bennett and J. Gill, Relative to a random oracle A, PA ≠ NPA ≠ co-NPA with probability 1, SIAM J. Comput. 10 (1981), 96–113.
R. Book, J. Lutz, and K. Wagner, An observation on probability versus randomness with applications to complexity classes, Math. Systems Theory 26 (1994), 201–209.
G. Chaitin, A theory of program size formally identical to information theory, J. Assoc. Comput. Mach. 22 (1975), 329–340.
D. Juedes, J. Lathrop, and J. Lutz, Computational depth and reducibility, Theoret. Comput. Sci. (1995), to appear.
L. Levin, Laws of information conservation (nongrowth) and aspects of the foundations of probability theory, Problems of Information Transmission 10 (1974), 206–210.
M. Li and P. Vitányi, An Introduction to Kolmogorov Complexity and Its Applications, Springer-Verlag, 1993.
P. Martin-Löf, On the definition of random sequences, Info. Control 9 (1966), 602–619.
C. Schnorr, Process complexity and effective random tests, J. Computer System Sci. 7 (1973), 376–388.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1994 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Book, R.V., Watanabe, O. (1994). On random hard sets for NP. In: Du, DZ., Zhang, XS. (eds) Algorithms and Computation. ISAAC 1994. Lecture Notes in Computer Science, vol 834. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-58325-4_165
Download citation
DOI: https://doi.org/10.1007/3-540-58325-4_165
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-58325-7
Online ISBN: 978-3-540-48653-4
eBook Packages: Springer Book Archive