Abstract
Branching programs have been studied as a fundamental model for space bounded computations and, in particular, as a model in which to try to establish nontrivial space lower bounds and time-space trade-offs. At present, there still do not exist any results for single output functions. We consider a class of severely constrained programs (those having width 2) and establish characterizations as well as lower bounds for some Boolean functions computable within this model.
Original language | English |
---|---|
Pages (from-to) | 549-560 |
Number of pages | 12 |
Journal | SIAM Journal on Computing |
Volume | 15 |
Issue number | 2 |
DOIs | |
State | Published - 1986 |
Externally published | Yes |