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 Vazirani sowie Anthony und Biggs scheint der …
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 …
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 Problem?CCCnnn
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 …
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 Exponent dort aufO(d)reduziert werden kann(logmϵ)O(d2)(logmϵ)O(d2)(log \frac{m}{\epsilon})^{O(d^2)}ϵϵ\epsilonddd AC0AC0AC^0mmmAC0AC0AC^0O(d)O(d)O(d)und ich bin neugierig, ob diesbezüglich Fortschritte erzielt wurden, da ich mir vorstellen würde, dass …
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 ?Prf(Aut(f)≠1)Prf(Aut(f)≠1)Pr_f(Aut(f) \neq 1)Prf(G≤Aut(f))Prf(G≤Aut(f))Pr_f(G \leq Aut(f))GGG
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}f:{−1,1}n→{−1,1}f:\{-1,1\}^n\rightarrow \{-1,1\}δδ\deltafffTTTfffO(1)O(1)O(1)fff
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}, \ldots, \frac{2^n}{2^n} \right\},fff∑x∈Zn2f(x)=1∑x∈Z2nf(x)=1\sum_{x\in \mathbb{Z}_2^n} …
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 ist, könnte die Antwort offensichtlich sein. Ich habe das …
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 bezeichneten Größe an ΓΓ\Gamma: Satz ( Paturi ): Sei fff eine …
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)
Die Sprache Critical SAT ist definiert als die Menge der -Booleschen Formeln f, so dass f ∈ U N S A T, aber das Entfernen einer Klausel aus f es erfüllbar macht. Es ist bekannt, dass Critical SAT D P -vollständig ist. Frage ich mich um die folgende Variante: Bei …
Wie in der Arbeit "Monotone Schaltungen für die Mehrheitsfunktion" gezeigt, ist es möglich, eine monotone boolesche Schaltung für die Mehrheitsfunktion auf n Variablen mit der Größe O (n ^ 3) und der Tiefe 5,3 log (n) + O (1) zu konstruieren. http://link.springer.com/chapter/10.1007/11830924_38 Meine Frage ist, wie zeitlich komplex eine solche …
Laut dem XOR Satisfiability Solver-Modul für die DPLL-Integration von Tero Laitinen benötigen wir CNF-Klauseln, um eine Literal-XOR-SAT-Klausel zu konvertieren , wenn wir die Anzahl der Literale nicht erhöhen möchten. Ich verstehe also, dass der Rechenaufwand für die Umwandlung eines XOR-SAT-Ausdrucks in einen streng CNF -SAT exponentiell ist.2n−12n−12^{n-1}nnnkkk Meine Frage: Was …
We use cookies and other tracking technologies to improve your browsing experience on our website,
to show you personalized content and targeted ads, to analyze our website traffic,
and to understand where our visitors are coming from.
By continuing, you consent to our use of cookies and other tracking technologies and
affirm you're at least 16 years old or have consent from a parent or guardian.