Theory of Computing Systems

, Volume 43, Issue 2, pp 159–184 | Cite as

Incremental Branching Programs

Article

Abstract

We propose a new model of restricted branching programs specific to solving GEN problems, which we call incremental branching programs. We show that syntactic incremental branching programs capture previously studied models of computation for the problem GEN, namely marking machines (Cook, S.A. in J. Comput. Syst. Sci. 9(3):308–316, 1974) and Poon’s extension (Proc. of the 34th IEEE Symp. on the Foundations of Computer Science, pp. 218–227, 1993) of jumping automata on graphs (Cook, S.A., Rackoff, C.W. in SIAM J. Comput. 9:636–652, 1980). We then prove exponential size lower bounds for our syntactic incremental model, and for some other variants of branching program computation for GEN. We further show that nondeterministic syntactic incremental branching programs are provably stronger than their deterministic counterpart when solving a natural NL-complete GEN sub-problem. It remains open if syntactic incremental branching programs are as powerful as unrestricted branching programs for GEN problems.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Barrington, D., McKenzie, P.: Oracle branching programs and logspace versus P. Inf. Comput. 95, 96–115 (1991) MATHCrossRefMathSciNetGoogle Scholar
  2. 2.
    Beame, P., Jayram, T.S., Saks, M.E.: Time–space tradeoffs for branching programs. J. Comput. Syst. Sci. 63(4), 542–572 (2001) MATHCrossRefMathSciNetGoogle Scholar
  3. 3.
    Berkowitz, S.J.: On some relationships between monotone and non-monotone circuit complexity. Manuscript, Computer Science Department, University of Toronto (1981) Google Scholar
  4. 4.
    Borodin, A., Cook, S.A.: A time-space trade-off for sorting on a general sequential model of computation. SIAM J. Comput. 11(2), 287–297 (1982) MATHCrossRefMathSciNetGoogle Scholar
  5. 5.
    Borodin, A., Razborov, A., Smolensky, R.: On lower bounds for read-k-times branching programs. Comput. Complex. 3, 1–18 (1993) MATHCrossRefMathSciNetGoogle Scholar
  6. 6.
    Cook, S.A.: Characterizations of pushdown machines in terms of time-bounded computers. J. Assoc. Comput. Mach. 18(1), 4–18 (1971) MATHMathSciNetGoogle Scholar
  7. 7.
    Cook, S.A.: An observation on time-storage trade-off. J. Comput. Syst. Sci. 9(3), 308–316 (1974) MATHGoogle Scholar
  8. 8.
    Cook, S.A., Rackoff, C.W.: Space lower bounds for maze threadability on restricted machines. SIAM J. Comput. 9, 636–652 (1980) MATHCrossRefMathSciNetGoogle Scholar
  9. 9.
    Edmonds, J., Poon, C.K., Achlioptas, D.: Tight lower bounds for st-connectivity on the NNJAG model. SIAM J. Comput. 28(6), 2257–2284 (1999) MATHCrossRefMathSciNetGoogle Scholar
  10. 10.
    Gál, A., Koucký, M., McKenzie, P.: Incremental branching programs. In: Proc. of the 2006 Computer Science in Russia Conference (CSR06). Lecture Notes in Computer Science, vol. 3967, pp. 178–190. Springer, Berlin (2006). See also ECCC TR05-136 (2005), pp. 1–18 Google Scholar
  11. 11.
    Jones, N.D., Laaser, W.T.: Complete problems for deterministic polynomial time. Theor. Comput. Sci. 3, 105–117 (1977) MATHCrossRefMathSciNetGoogle Scholar
  12. 12.
    Jukna, S.: A note on read-k-times branching programs RAIRO Theor. Inform. Appl. 29, 75–83 (1995) MATHMathSciNetGoogle Scholar
  13. 13.
    Paul, W.J., Tarjan, R.E., Celoni, J.R.: Space bounds for a game on graphs. Math. Syst. Theory 10, 239–251 (1977) MATHCrossRefMathSciNetGoogle Scholar
  14. 14.
    Paterson, M.S., Hewitt, C.E.: Comparative schematology. In: Record of Project MAC Conference on Concurrent Systems and Parallel Computations, June 1970, pp. 119–128. ACM, New Jersey (1970) Google Scholar
  15. 15.
    Poon, C.K.: Space bounds for graph connectivity problems on node-named JAGs and node-ordered JAGs. In: Proc. of the 34th IEEE Symp. on the Foundations of Computer Science, pp. 218–227 (1993) Google Scholar
  16. 16.
    Razborov, A.: Lower bounds for deterministic and nondeterministic branching programs. In: Proceedings of the 8th FCT. Lecture Notes in Computer Science, vol. 529, pp. 47–60. Springer, Berlin (1991) Google Scholar
  17. 17.
    Raz, R., McKenzie, P.: Separation of the monotone NC hierarchy. Combinatorica 19(3), 403–435 (1999) MATHCrossRefMathSciNetGoogle Scholar
  18. 18.
    Savitch, W.J.: Relationships between nondeterministic and deterministic tape complexities. J. Comput. Syst. Sci. 4(2), 177–192 (1970) MATHMathSciNetGoogle Scholar
  19. 19.
    Wegener, I.: The Complexity of Boolean Functions. Wiley–Teubner, New York (1987) MATHGoogle Scholar
  20. 20.
    Wegener, I.: Branching Programs and Binary Decision Diagrams. SIAM Monographs on Discrete Mathematics and Applications (2000) Google Scholar

Copyright information

© Springer Science+Business Media, LLC 2007

Authors and Affiliations

  1. 1.Dept. of Computer ScienceUniversity of Texas at AustinAustinUSA
  2. 2.Institute of MathematicsAcademy of Sciences of the Czech RepublicPragueCzech Republic
  3. 3.Dept. d’Informatique et recherche opérationnelleUniversité de MontréalMontréalCanada

Personalised recommendations