Sie können das übliche Switching-Lemma-Argument verwenden. Sie haben nicht erklärt, wie Sie Ihre Eingabe in Binärform darstellen, aber unter jeder vernünftigen Codierung ist die folgende Funktion AC 0 - äquivalent zu Ihrer Funktion:
f ( x 1 , … , x n ) = { 0, wenn x 1 - x 2 + x 3 - x 4 + ⋯ - x n = 0 , 1, wenn x 1 - x 2 + x 30
(Wir nehmen an, dassn geradeist.)Nehmenwir an, dass Siediesen Vorlesungsnotizenfolgen
f( x1, … , X.n) = ⎧⎩⎨01?wenn x1- x2+ x3- x4+ ⋯ - xn= 0 ,wenn x1- x2+ x3- x4+ ⋯ - xn= 1 ,Andernfalls.
n durch eine Tiefenschaltung
d der Größe
n b berechnet werden kann. Danneine Zufalls Beschränkung
n - n 1 / 2 d Eingänge Blätter eine Funktion der Entscheidungsbaum Komplexität höchstens
2 d ( b + 1 ) + 1 mitWahrscheinlichkeit von mindestens
1fdnbn - n1 / 2d2d( b + 1 ) + 1 . Eine Berechnung wird wahrscheinlich zeigen, dass dies eine weitere Instanz von
f (bei einer kleineren Eingabegröße) mit der Wahrscheinlichkeit
Θ ( 1 / √) ist1 - 1 / ( 3 n )f, und so gibt es einige zufällige Restriktions die sowohl eine Instanz ergibt
fauf
n 1 / 2 D - Eingänge und eine Funktion mit konstanter Entscheidungsbaum Komplexität, zu einem Widerspruch führt. Das gleiche Argument sollte exponentielle Untergrenzen ergeben.
Θ ( 1 / n- -- -√)fn1 / 2d