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