Ich lese den Anhang über ACC-Untergrenzen für NEXP in Aroras und Baraks Computational Complexity- Buch. http://www.cs.princeton.edu/theory/uploads/Compbook/accnexp.pdf Eines der Schlüsselmotive ist eine Transformation von -Kreisen zu mehrlinearen Polynomen über die ganzen Zahlen mit...
Sei die Majoritätsfunktion, dh genau dann, wenn . Ich habe mich gefragt, ob es einen einfachen Beweis für die folgende Tatsache gibt (mit "einfach" meine ich, dass ich mich nicht auf die probabilistische Methode wie Valiant 84 oder auf das Sortieren von Netzwerken verlasse; am besten eine...
Hintergrund: Beim maschinellen Lernen arbeiten wir häufig mit grafischen Modellen , um Funktionen mit hoher dimensionaler Wahrscheinlichkeitsdichte darzustellen. Wenn wir die Einschränkung, dass eine Dichte zu 1 integriert (summiert), verwerfen, erhalten wir eine nicht normalisierte...
f:{−1,1}n→{−1,1}f:{−1,1}n→{−1,1}f\colon\{-1,1\}^n \to \{-1,1\}iiix ⊕ i i x f MinInf [ f ] d e f = min i ∈ [ n ] Inf i [ f ] .Infi[f]=defPrx∼{−1,1}n[f(x)≠f(x⊕i)]Infi[f]=defPrx∼{−1,1}n[f(x)≠f(x⊕i)] \operatorname{Inf}_i[f] \stackrel{\rm def}{=} \Pr_{x\sim\{-1,1\}^n}[ f(x) \neq f(x^{\oplus i})]...
Sei fff eine Boolesche Funktion von nnn Booleschen Variablen. Lassen g(x)=Tϵ(f)(x)g(x)=Tϵ(f)(x)g(x)=T_\epsilon (f) (x) ist der Erwartungswert von f(y)f(y)f(y) , wenn yyy gewonnen wird aus xxx durch jeweils mit einer Wahrscheinlichkeit von Koordinaten Flipping ϵ/2ϵ/2\epsilon/2 . Ich interessiere...
Es gibt mehrere bekannte -Schaltungsgrößen-Untergrenzen-Ergebnisse, die auf Zufallsbeschränkungen und dem Umschalt-Lemma basieren .AC0AC0\mathsf{AC^0} Können wir ein Switching-Lemma-Ergebnis entwickeln, um eine Größenuntergrenze für -Schaltungen zu beweisen (ähnlich zu den Untergrenzenbeweisen für...
Angenommen, wir haben eine Funktion , so dass ( Wir können uns also als Distribution vorstellen. Es ist natürlich, die Entropie einer solchen Funktion wie folgt zu definieren: Σ x ∈ Z n 2 f ( x ) 2 = 1 { f ( x ) 2 } x ∈ Z N 2 H ( f ) = - Σ x ∈ Z n 2 f ( x ) 2 log ( f ( x ) 2 ) .f: Zn2→...
Sei eine Boolesche Funktion mit der Empfindlichkeit s ( f ) und der Blockempfindlichkeit b s ( f ) .fffs(f)s(f)s(f)bs(f)bs(f)bs(f) Die Empfindlichkeit-Block - Empfindlichkeit Vermutung Vermutung besagt , dass es a , so dass ∀ f , b s ( f ) ≤ s ( f ) c
Hier ist ein Problem mit einem ähnlichen Geschmack wie beim Lernen von Juntas: Eingabe: Eine Funktion f: { 0 , 1 }n→ { - 1 , 1 }f:{0,1}n→{−1,1}f: \{0,1\}^n \rightarrow \{-1,1\} , dargestellt durch ein Mitgliedschaftsorakel, dh ein Orakel, das xxx , gibt f( x )f(x)f(x) . Ziel: Finden Sie einen...
Es ist bekannt, dass für eine Konzeptklasse mit der VC-Dimension d ausreicht, um O ( d) zu erhaltenC.C\mathcal{C}dddmarkierte Beispiele lernen PACC. Mir ist nicht klar, ob der PAC-Lernalgorithmus (der diese vielen Beispiele verwendet) richtig oder unpassend ist. In den Lehrbüchern von Kearns und...
Angenommen, wir haben eine boolesche Funktion aus . Es ist klar, dass ein reales multivariates Polynom p ( x ), so dass f ( x ) = p ( x ) auf x ∈ { 0 , 1 } n ist, multilinear sein kann. Was sind einige interessante Klassen von Booleschen Funktionen, für die der minimale Grad von p ( x...
Was ist bei einer booleschen Schaltung für Variablen (die nur die Gatter NOT, AND und OR verwendet) der effizienteste Weg, um die durch die Schaltung dargestellte boolesche Formel zu extrahieren? Gibt es einen Polytime-Algorithmus für dieses
Angenommen, ich habe eine boolesche Schaltung , die eine Funktion berechnet . Angenommen, die Schaltung besteht aus UND-, ODER- und NICHT-Gattern mit höchstens Fan-In und Fan-Out 2.f : { 0 , 1 } n → { 0 , 1 }C.C.Cf: { 0 , 1 }n→ { 0 , 1 }f:{0,1}n→{0,1}}f:\{0,1\}^n \to \{0,1\} Sei eine gegebene...
Braverman zeigte, dass Verteilungen, die -weise unabhängigeϵ-NarrentiefedAC0-Schaltungender Größemdurch "Zusammenkleben" der Smolensky-Näherung und der Fourier-Näherung vonAC0-berechnbaren Booleschen Funktionen. Der Autor und diejenigen, die diese ursprüngliche Vermutung vermutet hatten, dass der...
Bei gegebener Boolescher Funktion haben wir die Automorphismusgruppe .fffAut(f)={σ∈Sn ∣∀x,f(σ(x))=f(x)}Aut(f)={σ∈Sn ∣∀x,f(σ(x))=f(x)}Aut(f) = \{\sigma \in S_n\ \mid \forall x, f(\sigma(x)) = f(x) \} Gibt es bekannte Grenzen für ? Ist für Mengen der Form für eine Gruppe...
In der Entscheidungsbaumkomplexität einer Booleschen Funktion besteht eine sehr bekannte Methode der unteren Grenze darin, ein (ungefähres) Polynom zu finden, das die Funktion darstellt. Paturi gab eine Charakterisierung für symmetrische boolesche (Teil- und Gesamt-) Funktionen in Form einer mit...
Was ist das Stand der Technik über die Abfragekomplexität von richtigen PAC-Lern-2-DNF-Formeln mit Beispielabfragen und unter gleichmäßiger Verteilung ? Oder eine nicht triviale Bindung daran? Da ich mit Lerntheorie überhaupt nicht vertraut bin und diese Frage von einem anderen Bereich motiviert...
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 )...
Angenommen, wir haben eine Funktion so dass und ist eine Verteilung, dh . ∀ x ∈ Z n 2f: Z.n2→ R.f:Z2n→Rf:\mathbb{Z}_2^n \to \mathbb{R}f≤x≤Z n 2 f(x)=1∀ x ∈ Z.n2f( x ) ∈ { 12n, 22n, … , 2n2n} ,∀x∈Z2nf(x)∈{12n,22n,…,2n2n},\forall x\in \mathbb{Z}_2^n \quad f(x) \in \left\{\frac{1}{2^n}, \frac{2}{2^n},...
Die jüngste Herstellung der Beziehungbs(f)=O(s(f)4)bs(f)=O(s(f)4)bs(f)=O(s(f)^4) geht durch Gotsman, Linial . Kann der gleiche Ansatz zu oder gibt es eine wesentliche Einschränkung des Ansatzes?O(s(f)2)O(s(f)2)O(s(f)^2)