Lower Bounds for Nondeterministic Semantic Read-Once Branching Programs

We prove exponential lower bounds on the size of semantic read-once 3-ary nondeterministic branching programs. Prior to our result the best that was known was for D-ary branching programs with |D| >= 2^{13}