Research output: Contribution to journal › Article › peer-review
Khrapchenko's classical lower bound n2 on the formula size of the parity function f can be interpreted as designing a suitable measure of sub-rectangles of the combinatorial rectangle f- 1 (0) × f- 1 (1). Trying to generalize this approach we arrived at the concept of convex measures. We prove the negative result that convex measures are bounded by O (n2) and show that several measures considered for proving lower bounds on the formula size are convex. We also prove quadratic upper bounds on a class of measures that are not necessarily convex.
Original language | English |
---|---|
Pages (from-to) | 1842-1854 |
Number of pages | 13 |
Journal | Theoretical Computer Science |
Volume | 411 |
Issue number | 16-18 |
DOIs | |
State | Published - 28 Mar 2010 |
ID: 49825643