Branching programs are a well-established computation model for boolean functions, especially read-once branching programs have been studied intensively. Exponential lower bounds for deterministic and nondeterministic read-once branching programs are known for a long time. On the other hand, the problem of proving superpolynomial lower bounds for parity read-once branching programs is still open. In this paper restricted parity read-once branching programs are considered and an exponential lower bound on the size of well-structured parity graph-driven read-once branching programs for integer multiplication is proven. This is the first strongly exponential lower bound on the size of a nonoblivious parity read-once branching program model for an explicitly defined boolean function. In addition, more insight into the structure of integer multiplication is yielded.
CITATION STYLE
Bollig, B., Waack, S., & Woelfel, P. (2002). Parity graph-driven read-once branching programs and an exponential lower bound for integer multiplication. IFIP Advances in Information and Communication Technology, 96, 83–94. https://doi.org/10.1007/978-0-387-35608-2_8
Mendeley helps you to discover research relevant for your work.