Subscribe

New York, New York

Oct. 17, 1999 to Oct. 18, 1999

ISBN: 0-7695-0409-4

pp: 60

Miklos Ajtai , IBM Almaden Research Center

ABSTRACT

We prove that for all positive integer k and for all sufficiently small \math if n is sufficiently large then there is no Boolean (or 2-way) branching program of size less than \math which for all inputs \math computes in time kn the parity of the number of elements of the set of all pairs x,y with the property \math. For the proof of this fact we show that if \mathn is a random n by n matrix over the field with 2 elements with the condition that "\math, \math implies \math" then with a high probability the rank of each \math by \math submatrix of A is at least \math, where \math is an absolute constant and n is sufficiently large with respect to \math.

INDEX TERMS

branching program, lower bound, Hankel matrix

CITATION

Miklos Ajtai,
"A Non-Linear Time Lower Bound for Boolean Branching Programs",

*FOCS*, 1999, 2013 IEEE 54th Annual Symposium on Foundations of Computer Science, 2013 IEEE 54th Annual Symposium on Foundations of Computer Science 1999, pp. 60, doi:10.1109/SFFCS.1999.814578