Incremental Branching Programs

Anna Gál, Michal Koucký, Pierre McKenzie
2007 Theory of Computing Systems  
In this paper we propose the study of a new model of restricted branching programs which we call incremental branching programs. This is in line with the program proposed by Cook in [Co74] as an approach for separating the class of problems solvable in logarithmic space from problems solvable in polynomial time, focusing on the P-complete problem GEN. We show that our model captures and possibly supersedes previously studied structured models of computation for GEN, namely marking machines
more » ... ] and Poon's extension [Po93] of jumping automata on graphs [CoRa80]. We show several exponential lower bounds for variants of our model although we are unable to prove any strong lower bounds for the most general variant of incremental branching programs. Some of our techniques also yield exponential lower bounds without the incrementality restriction, under some other conditions. It remains open if incremental branching programs are as powerful as unrestricted branching programs for
doi:10.1007/s00224-007-9049-y fatcat:iz3ywtc64rbrjbfnmlr5qu7efu