Es gibt eine Vielzahl von Algorithmen, die eine kontextfreie Grammatik in analysieren können.. Mit der Matrixmultiplikation kann man sogar asymptotisch schneller gehen.O(n3)O(n3)O(n^3) Alle Algorithmen zum Parsen beliebiger CFGs, die ich kenne, haben jedoch eine schlechteste Raumnutzung von (obwohl...
Die Mehrheitsabstimmungsoperation tritt relativ häufig in Bezug auf Fehlertoleranz (und zweifellos an anderen Stellen) auf, wo die Funktion ein Bit ausgibt, das dem Wert entspricht, der im Wert der Eingabebits am häufigsten vorkommt. Nehmen wir der Einfachheit halber an, dass der Eingang immer...
XORification ist die Technik, um eine Boolesche Funktion oder Formel zu erschweren, indem jede Variable durch das XOR von k ≥ 2 verschiedenen Variablen x 1 ⊕ … ⊕ x k ersetzt wird . xxxk≥2k≥2k\geq 2x1⊕…⊕xkx1⊕…⊕xkx_1 \oplus \ldots \oplus x_k Ich bin mir bewusst, dass diese Technik bei der Komplexität...
Ist die automatische Beweis- und Beweisrecherche für Theoreme in linearen und anderen aussagenbezogenen substrukturellen Logiken, denen die Kontraktion fehlt, einfacher? Wo kann ich mehr über das automatische Beweisen von Theoremen in diesen Logiken und die Rolle der Kontraktion bei der Beweissuche...
Gibt es Algorithmen für die SAT-Lösung, die nicht auf DPLL basieren? Oder basieren alle von SAT-Lösern verwendeten Algorithmen auf
Es ist bekannt, dass Quantencomputer hinsichtlich der Komplexität von Abfragen strikt leistungsfähiger sind als ihre klassischen Gegenstücke . Gibt es andere (natürliche oder künstliche) Modelle, die in Bezug auf die Komplexität von Abfragen streng zwischen dem Quanten- und dem Klassischen liegen?...
Ich sehe in den neunziger Jahren viel Forschung über Hypercomputing , aber in den letzten Jahren scheint es wenig Arbeit zu diesem Thema zu geben. Stimmt es, dass die Forschung in diesem Bereich zum Erliegen gekommen ist? Wenn ja, woran könnte das liegen? Hat sich dieser Bereich überzeugend als...
Was ist über die genaue Komplexität des kürzesten Superstring-Problems bekannt? Kann es schneller gelöst werden als ? Gibt es bekannte Algorithmen, die den kürzesten Superstring lösen, ohne ihn auf TSP zu reduzieren?O∗( 2n)O∗(2n)O^*(2^n) UPD: unterdrückt Polynomfaktoren.O∗( ⋅ )O∗(⋅)O^*(\cdot) Das...
Ich halte es für eine gute Idee, eine Liste von Theoremen zu erstellen, aus denen hervorgeht, dass P nicht gleich NP ist, wenn und nur wenn ein und derselbe existiert, eine Komplexitätsklasse in einer anderen Komplexitätsklasse enthalten ist und so weiter und so fort.
Sei eine erfüllbare CNF-Formel mit Variablen und Klauseln. Sei der Lösungsraum von . n m S F 1 F 1F1F1F_1nnnmmmSF1SF1S_{F_1}F1F1F_1 Betrachten Sie das Problem, mit andere CNF-Formel mit demselben Satz von Variablen wie bestimmen, mit (demselben Lösungsraum wie ), aber mit möglichst wenigen...
IP = PSPACE wird als kanonisches Beispiel für ein nicht relativierendes Ergebnis aufgeführt, und der Beweis dafür ist, dass es ein Orakel , das während für alle Orakeln O .C O N P O ⊈ I P O C O N P O ⊆ P S P A C E O OOOOcoNPO⊈IPOcoNPO⊈IPO{\sf coNP}^O \not\subseteq {\sf...
Ich arbeite an einer Aufgabenstellung für eine Klasse und überlege mir, woran ich gerade arbeite. Gibt es eine Mindestanzahl von Zuständen, die ein endlicher Automat haben muss, um binäre Zeichenfolgen zu akzeptieren, die Zahlen darstellen, die durch eine ganze Zahl n teilbar sind? In einem...
Ich habe weit und breit nach solchen Anwendungen gesucht und bin größtenteils zu kurz gekommen. Ich kann viele Anwendungen von Topologie und ähnlichen Strukturen auf abzählbaren (oder unzählbaren) Mengen finden, aber selten finde ich tatsächlich unzählbare Mengen als Untersuchungsgegenstand von...
Was die bekannten effiziente Algorithmen zur Berechnung einer Determinante einer Matrix mit ganzzahligen Koeffizienten sind , modulo der Ring aus den Resten m . Die Zahl m ist möglicherweise keine Primzahl, sondern zusammengesetzt (Berechnungen werden also im Ring und nicht in einem Feld...
Wurde daran gearbeitet, wie die Komplexität zufälliger Instanzen von # 2-SAT mit der Klauseldichte variiert? Das heißt: Wie variiert die Schwierigkeit, zufriedenstellende Lösungen für eine zufällig generierte Instanz von 2-SAT zu zählen , wenn sich die Klauseldichte ändert ? Gibt es insbesondere...
Angenommen, ist ein Baum konstanten Grades, dessen Struktur wir nicht kennen. Das Problem besteht darin, den Baum durch Fragen des Formulars auszugeben : "Liegt der Knoten auf dem Pfad von Knoten zu Knoten ?". Angenommen, jede Abfrage kann von einem Orakel in konstanter Zeit beantwortet werden. Wir...
Wie Sie sie wissen viele Anomalien für die einzelne Band sind Turing - Maschinen , wenn die Zeit ist : Mehrband-TM - Simulation, Simulation von größerer Band Alphabet mit nur , Zeit constructability, Nichtdichtheit des Zeithierarchiesatzes, ...{ 0 , 1 , b }o ( n2)o(n2)o(n^2){ 0 , 1 , b...
Der Komplexitätszoo hat nicht viel mit dem S CSC\mathsf{SC} . Ich suche ein nettes † Problem, das in höheren Hierarchieebenen liegt, dh ein Problem in D T i m e S p a c e ( n O ( 1 ) , lg O ( 1 ) n ) aber nicht bekannt ist in D T i m e S p a c e ( n O ( 1 )††^\daggerD T i m e S p a c e ( nO ( 1 ),...
Im Grunde bin ich Physiker, und deshalb finde ich One-Way-Quantum-Computing brillant. Insbesondere das auf Graph State Measurement basierende Quantum Computing (MBQC) ist eine wirklich gute Entwicklung in der Quantum Computing-Forschung, wie sie von Raussendorf & Briegel entwickelt wurde . Man...
Mafia ist ein beliebtes Rollenspiel auf Partys. Eine ausführliche Beschreibung finden Sie auf Wikipedia unter http://en.wikipedia.org/wiki/Mafia_%28game%29 . Grundsätzlich funktioniert es wie folgt: Zu Beginn wird jedem der Spieler heimlich eine Rolle zugewiesen, die entweder mit der Mafia oder mit...