Das Entscheidungsproblem Bei einer Booleschen Formel , tut φ genau eine erfüllende Belegung haben?ϕϕ\phiϕϕ\phi kann gesehen werden, in , U P -hard und c o N P -hard zu sein. Ist etwas mehr über seine Komplexität
Ich arbeite an String-Suchalgorithmen, die die Suche nach mehreren Mustern unterstützen. Ich habe zwei Algorithmen gefunden, die hinsichtlich der Laufzeit als die stärksten Kandidaten erscheinen, nämlich Aho-Corasick und Rabin-Karp . Ich konnte jedoch keinen umfassenden Vergleich zwischen den...
Ich lese Sipser und finde es schwierig zu verstehen, wie der Prozess abläuft. Wenn Sie mir k Turing-Maschinen mit k Bändern geben, kann ich eine äquivalente Turing-Maschine mit nur einem Band ausspucken. Ein Beispiel wäre schön. Eigentlich ein ausgearbeitetes Beispiel, das zeigt, wie man von TM...
Ich habe gerade angefangen, künstliche Intelligenz zu studieren und frage mich, warum der erreichbare Zustandsraum eines 8-Puzzles . Ich sehe, dass die Anzahl der Permutationen der Kacheln 9 beträgt ! Es ist jedoch nicht sofort ersichtlich, warum die Hälfte der möglichen Zustände des Puzzles in...
Gibt es einen Algorithmus / ein systematisches Verfahren, um zu testen, ob eine Sprache regulär ist? Mit anderen Worten, wenn eine Sprache in algebraischer Form angegeben ist (denken Sie an etwas wie L={anbn:n∈N}L={anbn:n∈N}L=\{a^n b^n : n \in \mathbb{N}\}), testen Sie, ob die Sprache regulär ist...
Ich habe diese Frage in StackOverflow gestellt. Ich wurde gebeten, hier einzuziehen. hier ist es also: Ich brauche einige Klarstellungen und Eingaben bezüglich des Dijkstra-Algorithmus im Vergleich zur Breitensuche in gerichteten Graphen, wenn diese korrekt sind. Der Dijkstra-Algorithmus findet den...
Wie würden Sie das Rucksackproblem in einer dynamischen Programmiersituation angehen, wenn Sie jetzt die Anzahl der Elemente im Rucksack durch eine Konstante begrenzen müssten ? Dies ist das gleiche Problem (maximales Gewicht von , jeder Gegenstand hat einen Wert und ein Gewicht ), aber Sie können...
Sei nnn eine ganze Zahl und sei ZZ\mathbb{Z} die Menge aller ganzen Zahlen. Es sei [a,b][a,b][a,b] das Intervall der ganzen Zahlen {a,a+1,a+2,…,b}{a,a+1,a+2,…,b}\{a,a+1,a+2,\dots,b\} . Ich suche eine Datenstruktur , die eine Karte darstellen f:[1,n]→Zf:[1,n]→Zf:[1,n] \to \mathbb{Z} . Ich möchte,...
Ich interessiere mich für die Eigenschaften einer Klasse von zweigeteilten Graphen denen alle Knoten in X 3-regulär sind, alle Knoten in Y 2-regulär sind und | X | = | 2 Y / 3 | . Erstens: Ist dies eine bekannte Klasse von Graphen? Zweitens,G(X∪Y,E)G(X∪Y,E)G(X \cup Y,
Ich habe ein Problem und ich denke, es ist NP-schwer, aber ich kann es nicht beweisen. Hier ist ein Ebenendiagramm, wobei Schicht 0 die höchste Schicht und Schicht L die niedrigste ist. Es gibt einige gerichtete Kanten zwischen Schichten, wobei eine Kante (A, B) anzeigt, dass Knoten A Knoten B...
Kontextfreie Sprachen werden nicht unter Ergänzung geschlossen. In den Vorlesungen wurde uns das gleiche Argument wie hier auf Wikipedia gegeben : Für sowohl als auch sind kontextfrei, ihr Schnittpunkt jedoch nicht. Da kontextfreie Sprachen unter Gewerkschaften geschlossen werden, können sie auch...
Können wir bei zwei Mengen von Strings über dem Alphabet Σ den kleinsten deterministischen Finite-State-Automaten (DFA) M so berechnen, dass A ⊆ L ( M ) und L ( M ) ⊆ Σ ∗ ∗ B ?A,BA,BA,BΣΣ\SigmaMMMA⊆L(M)A⊆L(M)A \subseteq L(M)L(M)⊆Σ∗∖BL(M)⊆Σ∗∖BL(M) \subseteq \Sigma^*\setminus B Mit anderen Worten,...
Ich bin an einem Programmier- und Algorithmuskurs im ersten Jahr beteiligt. In einem kürzlich gehaltenen Vortrag habe ich beschlossen, das Material mithilfe von Live-Codierung zu präsentieren. Dies bedeutet im Wesentlichen, dass ich mich hinter die Tastatur setze, Code schreibe und ihn mit Emacs...
Ich habe mehrmals gelesen, dass es nicht möglich ist, die Antwort eines NDTM effizient umzudrehen. Ich verstehe jedoch nicht warum. Bei einem NDTM , das in O ( n ) ausgeführt wird , heißt es in diesem Text (Abschnitt 3.3) beispielsweise, dass unklar ist, wie ein anderes NDTM T in Zeit bestimmen...
In der Klasse wurde uns ein Algorithmus vorgestellt, mit dem das Maximum in einem Array parallel zur -Zeitkomplexität mit Computern ermittelt werden kann.O ( 1 )Ö(1)O(1)n2n2n^2 Der Algorithmus war: Bei einem Array A der Länge n: Erstellen Sie ein Flag-Array B der Länge n und initialisieren Sie es...
Das Minimieren deterministischer endlicher Automaten (DFAs) ist ein Problem, das in der Literatur gründlich untersucht wurde, und es wurden verschiedene Algorithmen vorgeschlagen, um das folgende Problem zu lösen: Berechnen Sie bei gegebenem DFA einen entsprechenden minimalen DFA, der dieselbe...
Ich habe gesehen, wie Turingmaschinen mit unendlichen Bändern in einer und in zwei Richtungen dargestellt wurden. Gibt es einen Unterschied in der Leistung solcher Turingmaschinen oder sind sie grundsätzlich gleichwertig? In meinem Kopf denke ich, dass sie gleichwertig sind, da ich denke, dass es...
Wie viele arithmetische Operationen sind erforderlich, um eine Moore-Penrose-Pseudoinverse-Matrix eines beliebigen Feldes zu finden? Wenn die Matrix invertierbar und komplex bewertet ist, ist sie nur umgekehrt. Das Finden der Umkehrung dauert , wobei die Matrixmultiplikationskonstante ist. Es ist...
Dies ist eine Art Frage zur Bearbeitungsentfernung und sehr einfach. Ich bin in diesem Bereich einfach ziemlich hirntot und kann es bisher nicht herausfinden. Bei einer Reihe von Zahlen, z [3, 1, 1, 1] Wie würde man am effizientesten alle Zahlen in dieselbe Zahl verwandeln, mit der minimalen Anzahl...
Können Sie mir einige Vorschläge für ein gutes einführendes (aber umfassendes) Buch über Logik und Berechnung geben? Einige unscharfe Themen, an die ich denke, sind: Presburger Artihm., PA, ZF, ZFC, HOL Mengenlehre, Typentheorie Modellierungsberechnung (Turingmaschinen) in verschiedenen Theorien...