Arithmetizing Classes Around NC1 and L

  • Nutan Limaye
  • Meena Mahajan
  • B. V. Raghavendra Rao
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4393)

Abstract

The parallel complexity class NC1 has many equivalent models such as bounded width branching programs. Caussinus et.al [10] considered arithmetizations of two of these classes, #NC1 and #BWBP. We further this study to include arithmetization of other classes. In particular, we show that counting paths in branching programs over visibly pushdown automata has the same power as #BWBP, while counting proof-trees in logarithmic width formulae has the same power as #NC1. We also consider polynomial-degree restrictions of \({\sf SC}^{i}\), denoted \({\sf sSC}^{i}\), and show that the Boolean class \({\sf sSC}{^1}\) lies between NC1 and L, whereas \({\sf sSC}^0\) equals \({\sf NC}^1\). On the other hand, \({\sf \#}{\sf sSC}^0\) contains #BWBP and is contained in FL, and #sSC1 contains #NC1 and is in \({\sf SC}^{2}\). We also investigate some closure properties of the newly defined arithmetic classes.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Agrawal, M., Allender, E., Datta, S.: On TC0, AC0, and arithmetic circuits. Journal of Computer and System Sciences 60(2), 395–421 (2000)MATHCrossRefMathSciNetGoogle Scholar
  2. 2.
    Allender, E.: The division breakthroughs. BEATCS: Bulletin of the European Association for Theoretical Computer Science 74 (2001)Google Scholar
  3. 3.
    Allender, E.: Arithmetic circuits and counting complexity classes. In: Complexity of Computations and Proofs. Quaderni di Matematica, vol. 13, pp. 33–72 (2004)Google Scholar
  4. 4.
    Allender, E., et al.: Non-commutative arithmetic circuits: depth reduction and size lower bounds. Theoretical Computer Science 209, 47–86 (1998)MATHCrossRefMathSciNetGoogle Scholar
  5. 5.
    Alur, R., Madhusudan, P.: Visibly pushdown languages. In: STOC, pp. 202–211 (2004)Google Scholar
  6. 6.
    Barrington, D.: Bounded-width polynomial-size branching programs recognize exactly those languages in NC1. JCSS 38(1), 150–164 (1989)MATHMathSciNetGoogle Scholar
  7. 7.
    Borodin, A., et al.: Two applications of inductive counting for complementation problems. SIAM Journal of Computation 18(3), 559–578 (1989)MATHCrossRefMathSciNetGoogle Scholar
  8. 8.
    Braunmuhl, B.V., Verbeek, R.: Input-driven languages are recognized in log n space. In: Karpinski, M. (ed.) FCT 1983. LNCS, vol. 158, pp. 40–51. Springer, Heidelberg (1983)Google Scholar
  9. 9.
    Buss, S., et al.: An optimal parallel algorithm for formula evaluation. SIAM J. Comput. 21(4), 755–780 (1992)MATHCrossRefMathSciNetGoogle Scholar
  10. 10.
    Caussinus, H., et al.: Nondeterministic NC1 computation. JCSS 57, 200–212 (1998)MATHGoogle Scholar
  11. 11.
    Chiu, A., Davida, G., Litow, B.: Division in logspace-uniform NC1. RAIRO Theoretical Informatics and Applications 35, 259–276 (2001)MATHCrossRefMathSciNetGoogle Scholar
  12. 12.
    Cook, S.A.: Deterministic CFL’s are accepted simultaneously in polynomial time and log squared space. In: STOC, pp. 338–345 (1979)Google Scholar
  13. 13.
    Dymond, P., Cook, S.: Complexity theory of parallel time and hardware. Information and Computation 80, 205–226 (1989)MATHCrossRefMathSciNetGoogle Scholar
  14. 14.
    Dymond, P.W.: Input-driven languages are in logn depth. Information Processing Letters 26, 247–250 (1988)CrossRefMathSciNetGoogle Scholar
  15. 15.
    Fernau, H., Lange, K.-J., Reinhardt, K.: Advocating ownership. In: Chandru, V., Vinay, V. (eds.) FSTTCS 1996. LNCS, vol. 1180, pp. 286–297. Springer, Heidelberg (1996)Google Scholar
  16. 16.
    Istrail, S., Zivkovic, D.: Bounded width polynomial size Boolean formulas compute exactly those functions in AC0 . Infor. Proc. Letters 50, 211–216 (1994)MATHCrossRefMathSciNetGoogle Scholar
  17. 17.
    Johnson, D.S.: A catalog of complexity classes. In: van Leeuwen, J. (ed.) Handbook of Theoretical Computer Science, vol. A, pp. 67–161 (1990)Google Scholar
  18. 18.
    Mehlhorn, K.: Pebbling mountain ranges and its application to DCFL-recognition. In: de Bakker, J.W., van Leeuwen, J. (eds.) ICALP 1980. LNCS, vol. 85, pp. 422–432. Springer, Heidelberg (1980)Google Scholar
  19. 19.
    Niedermeier, R., Rossmanith, P.: Unambiguous auxiliary pushdown automata and semi-unbounded fan-in circuits. Inform. and Comp. 118(2), 227–245 (1995)MATHCrossRefMathSciNetGoogle Scholar
  20. 20.
    Nisan, N.: RL ⊆ SC. Computational Complexity 4(11), 1–11 (1994)MATHCrossRefMathSciNetGoogle Scholar
  21. 21.
    Ruzzo, W.: Tree-size bounded alternation. Journal of Computer and System Sciences 21, 218–235 (1980)MATHCrossRefMathSciNetGoogle Scholar
  22. 22.
    Cook, S.: Characterizations of pushdown machines in terms of time-bounded computers. Journal of Assoc. Comput. Mach. 18, 4–18 (1971)MATHGoogle Scholar
  23. 23.
    Sudborough, I.: On the tape complexity of deterministic context-free language. Journal of Association of Computing Machinery 25(3), 405–414 (1978)MATHMathSciNetGoogle Scholar
  24. 24.
    Venkateswaran, H.: Properties that characterize LogCFL. Journal of Computer and System Sciences 42, 380–404 (1991)CrossRefMathSciNetGoogle Scholar
  25. 25.
    Vinay, V.: Counting auxiliary pushdown automata and semi-unbounded arithmetic circuits. In: Proc. Structure in Complexity Theory Conference, pp. 270–284 (1991)Google Scholar
  26. 26.
    Vinay, V.: Hierarchies of circuit classes that are closed under complement. In: Proc. 11th Annual IEEE Conference on Computational Complexity, pp. 108–117. IEEE Computer Society Press, Los Alamitos (1996)Google Scholar
  27. 27.
    Vollmer, H.: Introduction to Circuit Complexity: A Uniform Approach. Springer, New York (1999)Google Scholar
  28. 28.
    von zur Gathen, J., Seroussi, G.: Boolean circuits versus arithmetic circuits. Information and Computation 91(1), 142–154 (1991)MATHCrossRefMathSciNetGoogle Scholar

Copyright information

© Springer Berlin Heidelberg 2007

Authors and Affiliations

  • Nutan Limaye
    • 1
  • Meena Mahajan
    • 1
  • B. V. Raghavendra Rao
    • 1
  1. 1.The Institute of Mathematical Sciences, Chennai 600 113India

Personalised recommendations