Abstract
We introduce the logarithmic time counting hierarchy (LCH) as a tool to classify certain combinatorial problems connected to the idea of counting, and consider the model of boolean circuits as a tool to encode in a succinct way instances of these problems. We observe that many natural problems, like “majority” are complete for the different classes of LCH; using this and the fact that as a general rule, the complexity of a problem increases exponentially when its succinct representation is considered, we obtain complete problems for the classes in the polynomial time counting hierarchy. With the help of the succinct encodings, we give sufficient conditions for a problem to be hard for the classes NP and PP. Finally we show another use of the succinct representations, proving translational results for the classes in the counting hierarchy.
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
R.V. Book: Translational lemmas, polynomial time, and (log n)j space. Theoret. Comput. Sci. 1 (1976), 215–226.
A.K. Chandra, D.C. Kozen, L.J. Stockmeyer: Alternation. Journal ACM 28 (1981), 114–133.
B.S. Chlebus: Domino-Tiling games. Journal Comput. Syst. Sci. 32 (1986), 374–392.
H. Galperin, A. Wigderson: succinct representations of graphs. Information and Control 56 (1983), 183–198.
E. Grädel: Domino Games and complexity. Manuscript Università di Pisa (1988).
O. Ibarra: A note concerning nondeterministic tape complexities. Journal ACM 19 (1972), 608–612.
C.H. Papadimitriou, M. Yannakakis: A note on succinct representations of graphs. Information and Control 71 (1986), 181–185.
J. Simon: On some central problems in computational complexity. Ph.D. Thesis, Cornell University (1975).
M. Sipser: Borel sets and circuit complexity. Proc. 15th STOC (1983), 61–69.
S. Skium, L.G. Valiant: A complexity theory based on boolean algebra. Journal ACM 32 (1985), 484–502.
J. Torán: Structural properties of the counting hierarchies. Ph. D. Thesis. Facultat d'Informàtica de Barcelona. (1988).
J. Torán: An oracle characterization of the counting hierarchy. Proceedings 3rd Structure in Complexity Theory Conference (1988), 213–224.
K. Wagner: The complexity of combinatorial problems with succinct input representation. Acta Informatica 23 (1986), 325–356.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1989 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Torán, J. (1989). Succinct representations of counting problems. In: Mora, T. (eds) Applied Algebra, Algebraic Algorithms and Error-Correcting Codes. AAECC 1988. Lecture Notes in Computer Science, vol 357. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-51083-4_77
Download citation
DOI: https://doi.org/10.1007/3-540-51083-4_77
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-51083-3
Online ISBN: 978-3-540-46152-4
eBook Packages: Springer Book Archive