Branching programs are a well established computation mo-del for Boolean functions, especially read-once branching programs have been studied intensively. In this paper the expressive power of nondeterministic read-once branching programs, i.e., the class of functions representable in polynomial size, is investigated. For that reason two restricted models of nondeterministic read-once branching programs are defined and a lower bound method is presented. Furthermore, the first exponential lower bound for integer multiplication on the size of a nonde- terministic nonoblivious read-once branching program model is proven.
CITATION STYLE
Bollig, B. (2000). Restricted nondeterministic read-once branching programs and an exponential lower bound for integer multiplication. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 1893, pp. 222–231). Springer Verlag. https://doi.org/10.1007/3-540-44612-5_18
Mendeley helps you to discover research relevant for your work.