OPTIMAL VERSUS STABLE IN BOOLEAN-FORMULAS

We present some initial ideas of a new lower bound technique which captures, in a strong way, the structure of optimal circuits. The key observation is that optimal circuits are unstable not only w.r.t. deletion of gates but also w.r.t. renaming gates. Such an unstability allows one to extract some useful information about the inner structure of optimal cirucits. We demonstrate the technique by new exponential lower bounds on the size of null-chain-free formulae over the basis {LAMBDA, V, inverted left perpendicular} approximating subsets of the Boolean n - cube, and in particular, for formulae computing "semi-slice" functions, i.e. functions f such that, for some K < l less-than-or-equal-to m, f = f LAMBDA T(k)n LAMBDA inverted left perpendicular T(l)n V T(m)n, where T(k)n is the k - th threshold function.