Linial-Mansour-Nisan theorem (source code)

= Linial-Mansour-Nisan theorem
{c}

The Linial-Mansour-Nisan theorem bounds the high-degree Fourier weight of a Boolean function computed by a small bounded-depth circuit.