In SAT-Solvern finden Sie häufig Schnittebenenmethoden, variable Propagierung, Branch-and-Bound, Klausellernen, intelligentes Backtracking oder sogar handgewebte menschliche Heuristiken. Doch seit Jahrzehnten verlassen sich die besten SAT-Löser stark auf Auflösungsprüftechniken und verwenden eine...
In dem Black-Box-Modell ist das Problem der Bestimmung der Ausgabe einer BPP-Maschine an der Eingabe x das ungefähre Zählproblem der Bestimmung von E r M ( x , r ) mit additivem Fehler 1/3 (sagen wir). .M(x,r)M(x,r)M(x,r)xxxErM(x,r)ErM(x,r)E_r M(x,r) Gibt es ein ähnliches Problem für BQP? Dieser...
Ich möchte wissen, ob Ungleichmäßigkeit die Rechenfunktionen in der Praxis unterstützt. Es ist leicht zu zeigen, dass es Funktionen in , eine nicht berechenbare Funktion und die Sprache { } zu berücksichtigen , die eindeutig einfache uneinheitliche Schaltungen aufweist , ist aber überhaupt nicht...
Dies mag eine grundlegende Frage sein, aber ich habe Artikel über Themen wie Nash-Gleichgewichtsberechnung und lineare Entartungstests gelesen und zu verstehen versucht und war mir nicht sicher, wie reelle Zahlen als Eingabe angegeben werden. Wenn beispielsweise angegeben wird, dass LDT bestimmte...
Ich habe gerade den Karger-Stein Randomized Mincut-Algorithmus in meiner Abschlussklasse unterrichtet. Dies ist ein echtes Juwel in Sachen Algorithmus , daher kann ich es nicht lehren, aber es macht mich immer frustriert, weil ich keine anderen Anwendungen der Haupttechnik kenne. (Daher ist es...
Wenn ein ungerichteter regelmäßiger Graph ist und eine Teilmenge der Eckpunkte der Kardinalität , nenne die Kantenexpansion von die Menged S ≤ | V | / 2 SG = ( V, E)G=(V,E)G=(V,E)dddSSS≤ | V| / 2≤|V|/2\leq |V|/2SSS ϕ ( S) : = EdGe s ( S, V- S)d⋅ | S| ⋅ | V- S|ϕ(S): =EdGes(S,V-S)d⋅|S|⋅|V-S|\phi(S)...
Peter Shor hat gezeigt, dass zwei der wichtigsten NP-Intermediate-Probleme, Factoring und das diskrete Log-Problem, im BQP liegen. Im Gegensatz dazu liefert der bekannteste Quantenalgorithmus für SAT (Grovers Suche) nur eine quadratische Verbesserung gegenüber dem klassischen Algorithmus, was...
Was sind "einfache Regionen" für die Erfüllbarkeit? Mit anderen Worten, ausreichende Bedingungen, damit ein SAT-Löser eine zufriedenstellende Zuordnung finden kann, sofern diese vorliegt. Ein Beispiel ist, wenn jede Klausel Variablen mit wenigen anderen Klauseln teilt, aufgrund des konstruktiven...
Ich habe eine Zeit lang über das folgende Problem nachgedacht und keine polynomielle Lösung dafür gefunden. Nur rohe Quelle. Ich habe versucht, ein NP-Complete-Problem ohne Erfolg zu reduzieren. Hier ist das Problem : Sie haben eine sortierte Menge positiver ganzzahliger Paare....
Es tut mir leid, wenn diese Frage etwas vage ist, aber ich bin gespannt, wie erfolgreich Forscher ein "Gefühl" für die Ergebnisse in TCS bekommen. Beispielsweise kann die lineare Algebra geometrisch oder hinsichtlich ihrer physikalischen Interpretation (Eigenvektoren können als "stabile Punkte" in...
Es ist bekannt, dass es bei einer Punkt-Teilmenge von ℓ d 2 ( dh bei n Punkten in R d mit euklidischem Abstand) möglich ist, sie isometrisch in ℓ ( n ) einzubettennnnℓd2ℓ2d\ell_2^dnnnRdRd{\mathbb R}^d.ℓ( n2)1ℓ1(n2)\ell^{n\choose 2}_1 Ist die Isometrie in (möglicherweise randomisierter) Polynomzeit...
Ich suche nach fehlerkorrigierenden Codes des folgenden Typs: Binärcodes mit konstanter Rate, decodierbar aus einem konstanten Bruchteil von Fehlern durch einen Decodierer, der als eine Boolesche Schaltung der Größe implementiert werden kann , wobei die Codierungslänge ist.O(N)O(N)O(N)NNN Einige...
Ich habe ein kleines Problem damit, die letzten Schritte von Shors Faktorisierungsalgorithmus vollständig zu verstehen. Wenn wir ein faktorisieren wollen, wählen wir ein zufälliges der Ordnung .x rNNNxxxrrr Der erste Schritt besteht darin, die Register einzurichten und den Hadamard-Operator...
Ich bin ein Informatiker, der einen Kurs über Topologie belegt (eine Prise Punkt-Set-Topologie, die stark von der Kontinuum-Theorie beeinflusst ist). Ich habe mich für Entscheidungsprobleme interessiert, bei denen ich eine Beschreibung eines Raumes (durch Vereinfachungen) auf topologische...
Zu meiner Überraschung konnte ich keine Artikel zu diesem Thema finden - ich habe wahrscheinlich nach den falschen Stichwörtern gesucht. Wir haben also eine Reihe von Dingen und eine Funktion für ihre Indizes. ist eine Permutation.ffffff Wie ordnen wir das Array nach wobei Speicher und Laufzeit so...
Ich habe es nicht geschafft, diese Datenstruktur zu finden, bin aber kein Experte auf diesem Gebiet. Die Struktur implementiert eine Menge und besteht im Wesentlichen aus einer Reihe vergleichbarer Elemente mit einer Invariante. Die Invariante ist die folgende (rekursiv definierte): Ein Array der...
Es wird allgemein als unwahrscheinlich angesehen, dass Quantencomputer NP-vollständige Probleme effizient lösen können. Im klassischen Fall besteht ein Ansatz zur Lösung solcher Probleme in der Verwendung von Approximationsalgorithmen. Wurden Näherungsalgorithmen unter Verwendung von...
Ich interessiere mich für Beispiele von Problemen, bei denen ein Satz, der scheinbar nichts mit Quantenmechanik / Information zu tun hat (zB Aussagen über rein klassische Objekte), dennoch mit Quantenwerkzeugen bewiesen werden kann. Eine Übersicht über Quantensätze für klassische Theoreme (A....
Wie ist die Entscheidung, ob eine Schaltung mit Eingangsbits und Ausgangsbits eine Permutation von berechnet ? mit anderen Worten, ob jede Bitfolge in ein Ausgang der Schaltung für eine Eingabe ist? Es sieht aus wie ein Problem, das untersucht wurde, aber ich kann keine Referenzen finden. nn{0,1 }...
Warum werden reguläre Sprachen (und von diesen regulären Ausdrücken) "regulär" genannt? Es gibt viel Regelmäßigkeit auch in kontextfreien Sprachen anderer Arten von Sprachen. Ich nehme an, dass am Anfang das Adjektiv "regulär" verwendet wurde, um diese Art von Sprachen von anderen "nicht regulären"...