BPPBPP\mathbf{BPP}PP\mathbf{P}polypoly\mathrm{poly} ( min , + )(max,+)(max,+)(\max,+)(min,+)(Mindest,+)(\min,+) Sei ein Semiring. Ein Nullmuster einer Folge von Polynomen in ist eine Teilmenge für die existiert. und , so dass für alle , iff . Das heißt, die Graphen genau jener Polynome mit müssen...
Ich habe den Wikipedia-Artikel über das Acht-Königinnen-Problem gelesen. Es wird angegeben, dass es keine bekannte Formel für die genaue Anzahl der Lösungen gibt. Nach einigem Suchen fand ich eine Arbeit mit dem Titel "Über die Härte des Zählens von Problemen mit vollständigen Zuordnungen". In...
Gibt es größere Konsequenzen, wenn SAT höchstens subexponentielle Beweise für unsat hätte oder noch stärker, wenn SAT Algorithmen für subexponentielle Zeit
Es ist bekannt, dass kein deterministisches Zwei-Parteien-Protokoll das Disjointness-Problem (DISJ) an Bit-Eingängen lösen kann, ohne im schlimmsten Fall Bits zu senden (siehe z. B. das Buch von Kushilevitz und Nisan). Für begrenzte Fehlerprotokoll randomisiert, unterer A gebundenen für eine...
In unserer jüngsten Arbeit, lösen wir ein Rechenproblem , das in der kombinatorischen Kontext entstanden ist , unter der Annahme , dass , wo ⊕EXP≠⊕EXPEXP≠⊕EXP\mathsf{EXP} \ne \mathsf{\oplus{}EXP} ist die E X P -Version von ⊕⊕EXP⊕EXP\mathsf{\oplus{}EXP}EXPEXP\mathsf{EXP} . Das einzige Papier auf...
Alice und Bob haben n-Bit-Zeichenfolgen und möchten herausfinden, ob sie gleich sind, während sie wenig kommunizieren. Die randomisierte Standardlösung besteht darin, die n-Bit-Zeichenfolgen als Polynome des Grades und dann die Polynome über einige zufällig ausgewählte Elemente aus einem Feld mit...
Frage. In ihrer Arbeit Verbesserte Simulation von Stabilisatorschaltungen behaupten Aaronson und Gottesman, dass die Simulation einer CNOT-Schaltung ⊕L- vollständig ist (unter logspace Reductions). Es ist klar, dass es in ⊕L enthalten ist ; Wie hält das Härteergebnis? Äquivalent: Gibt es eine...
In der Arbeit von Ben-Dor / Halevi [1] wird ein weiterer Beweis dafür erbracht, dass die bleibende Karte #P-vollständig ist. Im späteren Teil der Arbeit wird die Reduktionskette während der permanente Wert in der Kette erhalten bleibt. Da sich die Anzahl der zufriedenen Zuordnungen einer...
Wir betrachten DAGs (Directed Acyclic Graphs) mit einem Quellknoten sss und einem Zielknoten ttt ; Es sind parallele Kanten zulässig, die dasselbe Scheitelpunktpaar verbinden. A kkk - Schnitt ist ein Satz von Kanten , deren Entfernung zerstört alle sss - ttt Wege länger als kkk ; kürzere sss - ttt...
Ich suche Informationen über die rechnerische Komplexität der Matrixmultiplikation von Rechteckmatrizen. Wikipedia besagt , dass die Komplexität der Multiplikation von B ∈ R n x p ist (Schulbuch Multiplikation).A∈Rm×nA∈Rm×nA \in \mathbb{R}^{m \times n}B∈Rn×pB∈Rn×pB \in \mathbb{R}^{n \times...
Betrachten Sie das folgende einfache monotone Schaltungsmodell: Jedes Gatter ist nur ein binäres ODER. Was ist die Komplexität einer Funktion wobei eine boolesche Matrix mit 0 ist? Kann es mit ODER-Schaltungen linearer Größe berechnet werden?f ( x ) = A x f(x)=Axf(x)=AxA AAn × n n×nn \times nO ( n...
Razborov hat bewiesen, dass die monotone Funktionsanpassung nicht in mP vorliegt . Aber können wir die Übereinstimmung unter Verwendung einer Polynomgrößenschaltung mit wenigen Negationen berechnen? Gibt es eine P / Poly-Schaltung mit -Negationen, die die Übereinstimmung berechnet? Was ist der...
Ergebnis 1: Das Linial-Mansour-Nisan-Theorem besagt, dass das der von den Schaltkreisen berechneten Funktionen sich mit hoher Wahrscheinlichkeit auf die kleinen Teilmengen konzentriert.A C0EINC0\mathsf{AC}^0 Ergebnis 2: Das konzentriert sich auf den des Grades .P A R I T
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...
Angenommen, wir haben ein einschichtiges neuronales Feed-Forward-Netzwerk mit k Eingängen und einem Ausgang. Es berechnet eine Funktion aus . Es ist ziemlich leicht zu erkennen, dass diese mindestens die gleiche Rechenleistung wie A C 0 hat . Nur zum Spaß nennen wir den Satz von Funktionen, die von...
Angenommen, NP! = CoNP, dann gibt es kein polynomiales Größenzertifikat für das coNP-vollständige Problem. Aber was ist mit subexponentiellen Größenbescheinigungen? Gibt es insbesondere für coSAT einen subexponentiellen Größenbeweis, um zu beweisen, dass eine Formel nicht befriedigend ist? Wenn...
Hintergrund: Entscheidungsbaumkomplexität oder Abfragekomplexität ist ein einfaches Berechnungsmodell, das wie folgt definiert ist. Sei eine Boolesche Funktion. Die deterministische Abfragekomplexität von , bezeichnet mit , ist die minimale Anzahl von Bits der Eingabe , die (im schlimmsten Fall)...
Wenn ein Algorithmus in der Zeit abläuft, können wir ihn für das gleiche Größenproblem in eine "triviale" einheitliche Schaltkreisfamilie umwandeln, höchstens .≈ t ( n ) log t ( n )t ( n )t(n)t(n)≈ t ( n ) logt ( n )≈t(n)Logt(n)\approx t(n)\log t(n) Andererseits könnte es sein, dass wir für dieses...
Was ich als Zählen bezeichne, ist das Problem, das darin besteht, die Anzahl der Lösungen für eine Funktion zu finden. Genauer gesagt, bei gegebener Funktion f:N→{0,1}f:N→{0,1}f:N\to \{0,1\} (nicht unbedingt Blackbox), approximieren Sie #{x∈N∣f(x)=1}=|f−1(1)|#{x∈N∣f(x)=1}=|f−1(1)|\#\{x\in N\mid...
Die Gaußsche Eliminierung macht die Determinante einer Matrixpolynomzeit berechenbar. Die Verringerung der Komplexität bei der Berechnung der Determinante, die ansonsten die Summe der Exponentialausdrücke ist, beruht auf dem Vorhandensein alternativer negativer Vorzeichen (deren Fehlen die...