Abstract
Recently Lutz [14,15] introduced a polynomial time bounded version of Lebesgue measure. He and others (see e.g. [11,13,14,15,16,17,18,20]) used this concept to investigate the quantitative structure of Exponential Time (E=DTIME(2lin)). Previously, Ambos-Spies, Fleischhack and Huwig [2,3] introduced polynomial time bounded genericity concepts and used them for the investigation of structural properties of NP (under appropriate assumptions) and E. Here we relate these concepts to each other. We show that, for any c≥1 the class of nc-generic sets has p-measure 1. This allows us to simplify and extend certain p-measure 1-results. To illustrate the power of generic sets we take the Small Span Theorem of Juedes and Lutz [11] as an example and prove a generalization for bounded query reductions.
The first author was supported in part by the Human Capital and Mobility program of the European Community under grant CHRX-CT93-0415; the third author was supported by the Dutch VSB foundation during the time of this research.
Preview
Unable to display preview. Download preview PDF.
References
K. Ambos-Spies, Randomness, relativizations, and polynomial reducibilities, in: Proc. First Structure in Complexity Theory Conference 1986, Lect. Notes Comput. Sci. 223 (1986) 23–34, Springer Verlag.
K. Ambos-Spies, H. Fleischhack, and H. Huwig, Diagonalizations over polynomial time computable sets, Theor. Comput. Sci. 51 (1987) 177–204.
K. Ambos-Spies, H. Fleischhack, and H. Huwig, Diagonalizing over deterministic polynomial time, in: Proc. CSL '87, Lect. Notes Comput. Sci. 329 (1988) 1–16, Springer Verlag.
K. Ambos-Spies, S. A. Terwijn, X. Zheng, Resource bounded randomness and weakly complete problems (in preparation; a preliminary report is submitted)
J. L. Balcazar and U. Schöning. Bi-immune sets for complexity classes, Math. Systems Theory 18 (1985) 1–10.
C. H. Bennett and J. Gill, relative to a random oracle A, PA≠NPA≠co-NPA with probability 1, SIAM J. Comput. 10 (1981) 96–113.
H. Fleischhack, On Diagonalizations over Complexity Classes, Dissertation, Universität Dortmund, Dept. Comput. Sci. Tech. Rep. 210, 1985.
H. Fleischhack, P-genericity and strong P-genericity, in: Proc. MFCS 1986, Lect. Notes Comput. Sci. 233 (1986) 341–349, Springer Verlag.
H. Heller, On relativized exponential and probabilistic complexity classes, Information and Control 71 (1986) 231–243.
C. Jockusch, Degrees of generic sets, in: Recursion Theory: its Generalisations and Applications, London Math. Soc. Lect. Notes Series 45 (1980) 110–139, Cambridge University Press.
D. W. Juedes and J. H. Lutz, The complexity and distribution of hard problems, Tech. Rep. 92-23, Dept. Comput. Sci., Iowa State University. 1992 (submitted for publication).
R. E. Ladner, N. A. Lynch and A. L. Selman, A comparison of polynomial time reduciblities, Theor. Comput. Sc. 1 (1975) 103–123.
W. Lindner, On the polynomial time bounded measure of one-truth-table degrees and p-selectivity, Diplomarbeit, Technische Universität Berlin, 1993.
J. H. Lutz, Category and measure in complexity classes, SIAM J. Comput. 19 (1990) 1100–1131.
J. H. Lutz, Almost everywhere high nonuniform complexity, J. Comput. System Sci. 44 (1992) 220–258.
J. H. Lutz, The quantitative structure of exponential time, in: Proc. 8th Structure in Complexity Theory Conference, 1993, 158–175, IEEE Coput. Sci. Press.
J. H. Lutz and E. Mayordomo, Measure, stochasticity, and the density of hard languages, SIAM J. Comput. (to appear).
J. H. Lutz and E. Mayordomo, Cook versus Karp-Levin: Separating completeness notions if NP is not small. Tech. Rep. 92-24, Dept. Comput. Sci., Iowa State University. 1992. [Extended Abstract in: Proc. STACS 94, Lect. Notes Comput. Sci. 775 (1994) 415–426, Springer Verlag.]
P. Martin-Löf, The definition of random sequences, Information and Control 9 (1966) 602–619.
E. Mayordomo, Almost every set in exponential time is P-bi-immune, in: Proc. MFCS 1992, Lect. Notes Comput. Sci. 629 (1992) 392–400, Springer Verlag.
C. P. Schnorr, Zufälligkeit und Wahrscheinlichkeit, Lect. Notes Mathematics 218, 1971, Springer Verlag.
S. Tang and R. Book, Polynomial-time reducibilities and “almost all” oracle sets, Theor. Comput. Sci 81 (1991) 35–47.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1994 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Ambos-Spies, K., Neis, HC., Terwijn, S.A. (1994). Genericity and measure for exponential time. In: Prívara, I., Rovan, B., Ruzička, P. (eds) Mathematical Foundations of Computer Science 1994. MFCS 1994. Lecture Notes in Computer Science, vol 841. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-58338-6_69
Download citation
DOI: https://doi.org/10.1007/3-540-58338-6_69
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-58338-7
Online ISBN: 978-3-540-48663-3
eBook Packages: Springer Book Archive