Kolmogorov Characterizations of Complexity Classes

Abstract This paper completely characterizes the Θ k p levels of the polynomial hierarchy in terms of Kolmogorov complexity. From the characterization, it follows that the Θ k p and Δ k p levels of the polynomial hierarchy are equal if and only if every Δ k p language is accepted by some Δ k p machine whose pronouncements (query answers) are Kolmogorov simple. Analogous results are obtained for the exponential hierarchy.

[1]  Samuel R. Buss,et al.  On truth-table reducibility to SAT and the difference hierarchy over NP , 1988, [1988] Proceedings. Structure in Complexity Theory Third Annual Conference.

[2]  Lane A. Hemaspaandra,et al.  Probabilistic Polynomial Time is Closed under Parity Reductions , 1991, Inf. Process. Lett..

[3]  Jim Kadin,et al.  P^(NP[O(log n)]) and Sparse Turing-Complete Sets for NP , 1989, J. Comput. Syst. Sci..

[4]  Timothy J. Long,et al.  A Note on Sparse Oracles for NP , 1982, J. Comput. Syst. Sci..

[5]  Michael Sipser,et al.  A complexity theoretic approach to randomness , 1983, STOC.

[6]  Uwe Schöning,et al.  Complexity and Structure , 1986, Lecture Notes in Computer Science.

[7]  Lane A. Hemachandra,et al.  Structure of Complexity Classes: Separations, Collapses, and Completeness , 1988 .

[8]  Stephen R. Mahaney Sparse Complete Sets of NP: Solution of a Conjecture of Berman and Hartmanis , 1982, J. Comput. Syst. Sci..

[9]  Uwe Schöning The power of counting , 1988, [1988] Proceedings. Structure in Complexity Theory Third Annual Conference.

[10]  Neil Immerman,et al.  Sparse Sets in NP-P: EXPTIME versus NEXPTIME , 1985, Inf. Control..

[11]  Mark W. Krentel The Complexity of Optimization Problems , 1988, J. Comput. Syst. Sci..

[12]  Boris A. Trakhtenbrot,et al.  A Survey of Russian Approaches to Perebor (Brute-Force Searches) Algorithms , 1984, Annals of the History of Computing.

[13]  Juris Hartmanis,et al.  Generalized Kolmogorov complexity and the structure of feasible computations , 1983, 24th Annual Symposium on Foundations of Computer Science (sfcs 1983).

[14]  Juris Hartmanis,et al.  Complexity Classes without Machines: On Complete Languages for UP , 1988, Theor. Comput. Sci..

[15]  C. Papadimitriou,et al.  Two remarks on the power of counting , 1983 .

[16]  Klaus W. Wagner,et al.  Bounded query computations , 1988, [1988] Proceedings. Structure in Complexity Theory Third Annual Conference.

[17]  David S. Johnson,et al.  Computers and Intractability: A Guide to the Theory of NP-Completeness , 1978 .

[18]  Lane A. Hemachandra,et al.  The strong exponential hierarchy collapses , 1989 .

[19]  Russell Impagliazzo,et al.  Decision versus search problems in super-polynomial time , 1989, 30th Annual Symposium on Foundations of Computer Science.

[20]  Leslie G. Valiant,et al.  Relative Complexity of Checking and Evaluating , 1976, Inf. Process. Lett..

[21]  John Gill,et al.  Computational Complexity of Probabilistic Turing Machines , 1977, SIAM J. Comput..

[22]  Eric Allender,et al.  P-Printable Sets , 1988, SIAM J. Comput..