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 |