A complexity theory based on Boolean algebra
Journal of the ACM (JACM)
Explicit construction of exponential sized families of K-independent sets
Discrete Mathematics
The monotone circuit complexity of Boolean functions
Combinatorica
On the method of approximations
STOC '89 Proceedings of the twenty-first annual ACM symposium on Theory of computing
A simple lower bound for monotone clique using a communication game
Information Processing Letters
Monotone circuits for matching require linear depth
Journal of the ACM (JACM)
Small-bias probability spaces: efficient constructions and applications
SIAM Journal on Computing
Poceedings of the London Mathematical Society symposium on Boolean function complexity
On submodular complexity measures
Poceedings of the London Mathematical Society symposium on Boolean function complexity
Extremal bipartite graphs and superpolynomial lower bounds for monotone span programs
STOC '96 Proceedings of the twenty-eighth annual ACM symposium on Theory of computing
Lower bounds for monotone span programs
Computational Complexity
Communication complexity
The Shrinkage Exponent of de Morgan Formulas is 2
SIAM Journal on Computing
The complexity of matrix rank and feasible systems of linear equations
Computational Complexity
On arithmetic branching programs
Journal of Computer and System Sciences
Some new bounds for cover-free families
Journal of Combinatorial Theory Series A
Counting bottlenecks to show monotone P ? NP
FOCS '95 Proceedings of the 36th Annual Symposium on Foundations of Computer Science
Splitters and near-optimal derandomization
FOCS '95 Proceedings of the 36th Annual Symposium on Foundations of Computer Science
Las Vegas is better than determinism in VLSI and distributed computing (Extended Abstract)
STOC '82 Proceedings of the fourteenth annual ACM symposium on Theory of computing
STOC '81 Proceedings of the thirteenth annual ACM symposium on Theory of computing
Some complexity questions related to distributive computing(Preliminary Report)
STOC '79 Proceedings of the eleventh annual ACM symposium on Theory of computing
Communication in the presence of replication
STOC '08 Proceedings of the fortieth annual ACM symposium on Theory of computing
On Linear Secret Sharing for Connectivity in Directed Graphs
SCN '08 Proceedings of the 6th international conference on Security and Cryptography for Networks
Secret Sharing and Non-Shannon Information Inequalities
TCC '09 Proceedings of the 6th Theory of Cryptography Conference on Theory of Cryptography
Binary Covering Arrays and Existentially Closed Graphs
IWCC '09 Proceedings of the 2nd International Workshop on Coding and Cryptology
On the Readability of Monotone Boolean Formulae
COCOON '09 Proceedings of the 15th Annual International Conference on Computing and Combinatorics
Complexity Lower Bounds using Linear Algebra
Foundations and Trends® in Theoretical Computer Science
Secret-sharing schemes: a survey
IWCC'11 Proceedings of the Third international conference on Coding and cryptology
On the readability of monotone Boolean formulae
Journal of Combinatorial Optimization
On the size of monotone span programs
SCN'04 Proceedings of the 4th international conference on Security in Communication Networks
On the incompressibility of monotone DNFs
FCT'05 Proceedings of the 15th international conference on Fundamentals of Computation Theory
Hi-index | 0.00 |
We give a characterization of span program size by a combinatorial-algebraic measure. The measure we consider is a generalization of a measure on covers which has been used to prove lower bounds on formula size and has also been studied with respect to communication complexity.In the monotone case our new methods yield nΩ(log n) lower bounds for the monotone span program complexity of explicit Boolean functions in n variables over arbitrary fields, improving the previous lower bounds on monotone span program size. Our characterization of span program size implies that any matrix with superpolynomial separation between its rank and cover number can be used to obtain superpolynomial lower bounds on monotone span program size. We also identify a property of bipartite graphs that is sufficient for constructing Boolean functions with large monotone span program complexity.