Abstract
Levin introduced an average-case complexity measure among randomized decision problems. We generalize his notion of Average-P into Aver〈C, F〉, a set of randomized decision problems (L, μ) such that the density function μ is in F and L is computed by a type-C machine in time t (or space t) on μ-average. Mainly studied are two sorts of reductions between randomized problems, average-case many-one and Turing reductions, and structural properties of average-case complexity classes. We give average-case analogs of concepts of classical complexity theory, e.g., the polynomial time hierarchy and self-reducibility.
Supported by the Deutsche Forschungsgemeinschaft, grant No. Scho 302–1.
This work was done while the author was a guest at the University of Ulm in 1991.
The authors would like to thank José Balcázar and Uwe Schöning for organizing workshops in Barcelona and Ulm where many discussions on average-case complexity took place.
Preview
Unable to display preview. Download preview PDF.
References
S. Ben-David, B. Chor, O. Goldreich, and M. Luby. On the theory of average case complexity. Proc. 21th ACM Symposium on Theory of Computing, pp. 204–216, 1989.
R. Book, D.Z. Du, and D. Russo. On polynomial and generalized complexity cores. Proc. 3rd Conference on Structure in Complexity Theory, pp. 236–250, 1988.
O. Goldreich. Towards a theory of average case complexity (a survey). Technical Report No.507, Israel Institute of Technology, 1988.
Y. Gurevich. Average case complexity. Journal of Computer and System Sciences, 42:346–398, 1991.
R. Impagliazzo and L.A. Levin. No better ways to generate hard NP-instances than picking uniformly at random. Proc. 31th IEEE Symposium on Foundations of Computer Science, pp. 812–821, 1990.
K.I. Ko and H. Friedman. Computational complexity of real functions. Theoretical Computer Science, 20:323–352, 1982.
L. Levin. Problems, complete in “average” instance. Proc. 16th ACM Symposium on Theory of Computing, pp. 465, 1984.
L. Levin. Average case complete problems. SIAM Journal on Computing, 15:285–286, 1986.
P.B. Milterson. The complexity of malign ensembles. Proc. 6th Conference on Structure in Complexity Theory, pp. 164–171, 1991.
M. Mundhenk and R. Schuler. Random languages for non-uniform complexity classes. Journal of Complexity, 7:296–310, 1991.
R.E. Schapire. The emerging theory of average-case complexity. Technical report, Massachusetts Institute of Technology, 1990.
R. Venkatesan and L. Levin. Random instances of a graph coloring problem are hard. Proc. 20th ACM Symposium on Theory of Computing, pp. 217–222, 1988.
R.E. Wilber. Randomness and the density of hard problems. Proc. 24th IEEE Symposium on Foundations of Computer Science, pp. 335–342, 1983.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1992 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Schuler, R., Yamakami, T. (1992). Structural average case complexity. In: Shyamasundar, R. (eds) Foundations of Software Technology and Theoretical Computer Science. FSTTCS 1992. Lecture Notes in Computer Science, vol 652. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-56287-7_100
Download citation
DOI: https://doi.org/10.1007/3-540-56287-7_100
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-56287-0
Online ISBN: 978-3-540-47507-1
eBook Packages: Springer Book Archive