Monotone complexity and the rank of matrices

We shall give simpler proofs of some lower bounds on monotone computations. We describe a simple condition on combinatorial structures, such that the rank of the matrix associated with these structures gives lower bounds on monotone span program size and monotone formula size. We also prove an upper bound on the rank of the corresponding matrices, and show that such structures can be constructed from self-avoiding families. As a corollary, we obtain an upper bound on the size of self-avoiding families, which solves a problem posed by Babai and G

• Type: Journal
• Year: 2002
• Where: ECCC
• Authors: Pavel Pudlák
• Keywords: ECCC 2002, Lower Bounds, Monotone Formula Size, Upper Bound