Abstract
A very recent paper by Caussinus, McKenzie, Thérien, and Vollmer [CMTV95] shows that ACC0 is properly contained in ModPH, and TC0 is properly contained in the counting hierarchy. Thus, [CMTV95] shows that there are problems in ModPH that require superpolynomialsize uniform ACC0 circuits, and problems in the counting hierarchy that require superpolynomial-size uniform TC0 circuits. The proof in [CMTV95] uses “leaf languages” as a tool in obtaining their separations, and their proof does not immediately yield larger lower bounds for the complexity of these problems. In this paper, we give a simple direct proof of these same separations, and use it to provide “sub-subexponential” size lower bounds on the size of uniform circuits for these problems.
Supported in part by NSF grant CCR-9509603.
Preview
Unable to display preview. Download preview PDF.
References
E. Allendet, Richard Beigel, Ulrich Hertrampf, and Steven Homer, Almost-everywhere complexity hierarchies for nondeterministic time, Theoretical Computer Science 115 (1993) 225–242.
E. Allender and Vivek Dore, A uniform circuit lower bound for the permanent, SIAM Journal on Computing 23 (1994) 1026–1049.
D. A. Barrington, Bounded-width polynomial-size branching programs recognize exactly those languages in NC 1, J. Comput. and System Sci. 38, 150–164.
D. A. Mix Barrington, N. Immerman, and H. Straubing, On uniformity within NC1, Journal of Computer and System Sciences 41, 274–306.
D. Barrington and D. Thérien, Finite monoids and the fine structure of NC 1, J. Assoc. Comput. Mach., 35 (1988), pp. 941–952.
R. Book and S. Greibach, Quasi-realtime languages, Mathematical Systems Theory 4 (1970) 97–111.
H. Caussinus, P. McKenzie, D. Thérien, H. Vollmer, Nondeterministic NC 1 computation, to appear in Proc. 11th Annual IEEE Conference on Computational Complexity, 1996.
M. Furst, J. Saxe, and M. Sipser, Parity, circuits, and the polynomial-time hierarchy, Mathematical Systems Theory 17 (1984) 13–27.
J. Håstad, Computational Limitations for Small Depth Circuits, MIT Press, Cambridge, MA, 1987.
I. Parberry and G. Schnitger, Parallel computation with threshold functions, J. Computer and System Science 36, 278–302.
A. A. Razborov, Lower bounds on the size of bounded depth networks over a complete basis with logical addition, Mathematicheskie Zametki 41(4), 598–607. English translation in Mathematical Notes of the Academy of Sciences of the USSR 41:4, 333–338.
A. Razborov and S. Rudich, Natural proofs, in Proc. 26th Annual Symposium on Theory of Computing, 1994, pp. 204–213.
J. Seiferas, M. Fischer, and A. Meyer, Separating nondeterministic time complexity classes, J. ACM 25 (1978) 146–167.
R. Smolensky, Algebraic methods in the theory of lower bounds for Boolean circuit complexity, Proc. 19th ACM Symposium on Theory of Computing, pp. 77–82.
K. W. Wagner, The complexity of combinatorial problems with succinct input representation, Acta Informatica 23, 325–356.
A. C. Yao, Separating the polynomial-time hierarchy by oracles, Proc. 26th IEEE Symposium on Foundations of Computer Science, pp. 1–10.
S. Žák, A Turing machine hierarchy, Theoretical Computer Science 26 (1983) 327–333.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1996 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Allender, E. (1996). A note on uniform circuit lower bounds for the counting hierarchy (extended abstract). In: Cai, JY., Wong, C.K. (eds) Computing and Combinatorics. COCOON 1996. Lecture Notes in Computer Science, vol 1090. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-61332-3_145
Download citation
DOI: https://doi.org/10.1007/3-540-61332-3_145
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-61332-9
Online ISBN: 978-3-540-68461-9
eBook Packages: Springer Book Archive