Zufällige Einschränkungen und die Verbindung zum vollständigen Einfluss von Booleschen Funktionen

9

Angenommen, wir haben eine Boolesche Funktion und wenden die zufällige Einschränkung auf . Angenommen, der Entscheidungsbaum , der berechnet, schrumpft aufgrund der zufälligen Einschränkung auf die Größe . Bedeutet dies, dass einen sehr geringen Gesamteinfluss hat?δ f T f O ( 1 ) ff:{1,1}n{1,1}δfTfO(1)f

Amit Levi
quelle
δ ist eine Konstante zwischen 0 und 1 und hängt nicht von n ab?
Kaveh
1
Ja. In der Tat ist δ[0,1]] .
Amit Levi
1
Ich bin mir nicht sicher, ob Sie danach suchen, aber nach dem Schalt-Lemma, wenn eine Funktion durch eine DNF mit kleiner Breite dargestellt werden kann, würde sie auf einen Entscheidungsbaum konstanter Größe schrumpfen. DNFs mit geringer Breite haben einen geringen Gesamteinfluss, und man kann Entscheidungsbäume über DNFs ausdrücken, so dass es moralisch so scheint, als ob dies der Fall ist.

Antworten:

4

Claim: Wenn -random Beschränkung f hat Entscheidungsbaum der Größe O ( 1 ) (in Erwartung), dann ist die gesamte Einfluß solcher f ist O ( δ - 1 ) .δfÖ(1)fÖ(δ- -1)

Pr x , i [ f ( x ) f ( x + e i ) ]Inf(f)=nPrx,i[f(x)f(x+ei)]Prx,i[f(x)f(x+ei)]i [ n ] x iδi[n]xi

Wenn nun die Beschränkung den Entscheidungsbaum von auf die Größe reduziert , dann hängt insbesondere die Beschränkung von von koordiniert ist. Lassen Sie uns nun eine zufällige nicht fixierte Koordinate (unter ) auswählen und alle anderen zufällig fixieren. Da die Beschränkung von von höchstens Koordinaten abhängt , erhalten wir eine Funktion (auf einem Bit), die mit der Wahrscheinlichkeit höchstens nicht konstant ist . Daher ist nach Bedarf.f O ( 1 ) δ f r = O ( 1 ) δδfO(1)δfr=O(1)δnδfrrδnInf(f)=nPrx,i[f(x)f(x+ei)]rδ

Bemerkung: Die obige Behauptung ist eng, indem eine Paritätsfunktion für -Bits verwendet wird.O(1/δ)

Igor Shinkar
quelle