Es sei die Funktion, die eine Gate-Schaltung auf Bits und eine Bit-Zeichenfolge auf abbildet . Es sei angenommen, dass Schaltungen als eine azyklische Folge von Zuweisungen codiert sind, wobei sind. sCnnxC(x)k:=g(i,j)i,j,kC i r c u i t E v a ls , nCichrcuichtEveinls,n\mathsf{CircuitEval}_{s, n}sssCCCnnnnnnxxxC( x )C(x)C(x)k : = g( i …
Verwenden Algorithmen- oder Komplexitätsforscher in Anbetracht der auf einer Konferenz wie STOC behandelten Themen aktiv COQ oder Isabelle? Wenn ja, wie setzen sie es in ihrer Forschung ein? Ich gehe davon aus, dass die meisten Leute solche Tools nicht verwenden würden, da die Proofs zu niedrig wären. Verwendet jemand diese …
Was ist die Komplexität des folgenden Problems? Eingabe : HHH einHamilton-PfadinKnKnK_n eine Teilmenge von KnotenpaarenR⊆[n]2R⊆[n]2R \subseteq [n]^2 eine positive ganze Zahl kkk Abfrage : Gibt es einen passenden derart , daß für jeden ( v , u ) ∈ R , d G ( v , u ) ≤ k …
Wurde daran gearbeitet, die minimale Anzahl elementarer arithmetischer Operationen zu finden, die erforderlich sind, um die Determinante einer nnn × nnn Matrix für kleines und festes zu berechnen nnn? Zum Beispiel ist n = 5n=5n=5 .
Kann Nichtdeterminismus die deterministische Berechnung beschleunigen? Wenn ja, wie viel? Mit Beschleunigung der deterministischen Berechnung durch Nichtdeterminismus meine ich Ergebnisse der Form: DTime(f(n))⊆NTime(n)DTime(f(n))⊆NTime(n)\mathsf{DTime}(f(n)) \subseteq \mathsf{NTime}(n) ZB sowas DTime(n2)⊆NTime(n)DTime(n2)⊆NTime(n)\mathsf{DTime}(n^2) \subseteq \mathsf{NTime}(n) Was ist das bekannteste Beschleunigungsergebnis der deterministischen Berechnung durch Nichtdeterminismus? Was ist mit oder sogar A T i m e …
Die kkk - te elementare symmetrische Polynom Snk(x1,…,xn)Skn(x1,…,xn)S_k^n(x_1,\ldots,x_n) ist die Summe aller Produkte von unterschiedlichen Variablen. Ich interessiere mich für die monotone arithmetische Schaltungskomplexität dieses Polynoms. Ein einfacher dynamischer Programmieralgorithmus (wie auch in Abb. 1 unten) ergibt eine Schaltung mit Gattern. k(+,×)(+,×)O(kn)(nk)(nk)\binom{n}{k}kkk(+,×)(+,×)(+,\times)(+,×)(+,×)(+,\times)O(kn)O(kn)O(kn) Frage: Ist eine Untergrenze von bekannt? Ω(kn)Ω(kn)\Omega(kn) Eine …
Reg⊆NC1Reg⊆NC1\mathsf{Reg} \subseteq \mathsf{NC^1}RegReg\mathsf{Reg}R e g ≤ T C 0 N C 1 ≤ T C 0TC0⊈RegTC0⊈Reg\mathsf{TC^0} \not\subseteq \mathsf{Reg}Reg⊆TC0Reg⊆TC0\mathsf{Reg} \subseteq \mathsf{TC^0}NC1⊈TC0NC1⊈TC0\mathsf{NC^1}\not\subseteq\mathsf{TC^0} nicht kennen, kennen wir auch .Reg⊈TC0Reg⊈TC0\mathsf{Reg} \not\subseteq \mathsf{TC^0} Gibt es einen Kandidaten für ein Problem in RegReg\mathsf{Reg} , das sich nicht in ?TC0TC0\mathsf{TC^0} Gibt es ein bedingtes Ergebnis, das impliziert, …
Gibt es für jede beliebige NP-vollständige Sprache immer eine Polyzeit-Obermenge, deren Komplement ebenfalls unendlich ist? Unter /cs//q/50123/42961 wurde eine triviale Version angefragt, die keine unendliche Ergänzung der Obermenge vorsieht Für die Zwecke dieser Frage, können Sie davon ausgehen , dass . Wie Vor erklärte, ist die Antwort "Nein" , wenn …
Konstante Zeit ist die absolut niedrige Komplexität der Endzeit. Man mag sich fragen: Gibt es etwas Nichttriviales, das in konstanter Zeit berechnet werden kann? Wenn wir uns an das Modell der Turingmaschine halten, kann nicht viel getan werden, da die Antwort nur von einem Anfangssegment konstanter Länge der Eingabe abhängen …
Betrachten Sie einen Vektor von Variablen und eine Reihe linearer Bedingungen, die durch A → x ≤ b spezifiziert sind .x⃗ x→\vec{x}Ax⃗ ≤bAx→≤bA\vec{x}\leq b Betrachten Sie außerdem zwei Polytope P1P2={(f1(x⃗ ),⋯,fm(x⃗ ))∣Ax⃗ ≤b}={(g1(x⃗ ),⋯,gm(x⃗ ))∣Ax⃗ ≤b}P1={(f1(x→),⋯,fm(x→))∣Ax→≤b}P2={(g1(x→),⋯,gm(x→))∣Ax→≤b}\begin{align*} P_1&=\{(f_1(\vec{x}), \cdots, f_m(\vec{x}))\mid A\vec{x}\leq b\}\\ P_2&=\{(g_1(\vec{x}), \cdots, g_m(\vec{x}))\mid A\vec{x}\leq b\} \end{align*} wo 's und …
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 Kompromiss zwischen der Anzahl der Negationen und der Größe für …
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 …
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 ⊕⊕P⊕P\mathsf{\oplus{}P} , das wir fanden, war dasPapier vonBeigel-Buhrman-Fortnow von1998, das …
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 diesem Artikel wird ein Problem beschrieben, …
Ich möchte etwas über algebraische Algorithmen und Komplexität lernen. Insbesondere interessiere ich mich für PIT. Gibt es eine Reihe von Vorlesungsskripten, Büchern, Artikeln und Umfragen für Studenten, die ein Standardlehrbuch über Theorie wie Sipsers Buch oder das Komplexitätslehrbuch von Arora-Barak gelesen haben? Die Referenzliste enthält die neuesten erweiterten Ergebnisse.
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.