Теорема LMN показує, що якщо f булева функція обчислюється ланцюгом змінного струму 0 розміром M,(f:{−1,1}n→{−1,1})AC0
∑S:|S|>kf^(S)2≤2−Ω(k/(logM)d−1)
⇒f^([n])2≤2−Ω(n/(logM)d−1)
⇒|f^([n])|≤2−Ω(n/(logM)d−1)
є не що інше, як кореляція f з функцією паритету ( ∏ n i = 1 x i ) . Нехай δ бути частка входівде F відрізняється від Р R I T Y .|f^([n])|(∏ni=1xi)δfPARITY
1−2δ≤|1−2δ|⇒δ=|f^([n])|≤2−Ω(n/(logM)d−1)≥1−2−Ω(n/(logM)d−1)
Отже, якщо M є , при f дорівнює P A R I T Y ,poly(n)fPARITY
δ⇒2n⇒(logM)d−1⇒M≤12n≥2(cn/(logM)d−1)≥(c−1)n≥2Ω(n1/d−1)
So, LMN theorem not only proves that PARITY cannot be computed by AC0 circuits, it also shows that PARITY has low correlation with AC0 circuits.