Sudoku ist ein bekanntes Puzzle, das NP-vollständig ist. Binary Sudoku ist eine Variante, die nur die Zahlen und 1 zulässt . Die Regeln sind wie folgt.000111 Jede Zeile und jede Spalte muss eine gleiche Anzahl von Nullen und Einsen enthalten. Jede Zeile und jede Spalte ist einzigartig. Keine Zeile...
Diese Frage wird durch diesen Beitrag motiviert: Können Sie die Summe von zwei Permutationen in der Polynomzeit identifizieren? und mein Interesse an rechnerischen Eigenschaften von Permutationen. Eine Differenzsequenz ein1, ein2, … Anein1,ein2,…einna_1, a_2, \ldots a_n einer Permutation ππ\pi der...
In einem gerichteten Graphen ist , , wenn eine DAG (gerichteter azyklischer Graph) ist, wird als Rückkopplungsbogenmenge bezeichnet. F ⊂ E G ∖ F F.G = ( V., E.)G=(V,E)G=(V,E)F.⊂ E.F⊂EF\subset EG ∖ F.G∖FG\setminus FF.FF Wenn jede Kante einem Gewicht , besteht das Problem des Rückkopplungsbogens für...
Ich frage mich, ob NPC-Klassen, die durch Ein-Eins-Reduktionen und Turing-Reduktionen definiert sind, gleich sind. Bearbeiten: Eine andere Frage, sind Turing-Reduktionen nur kollabierende C- und Co-C-Klassen für einige C oder gibt es eine Klasse wie es ein Problem gibt, das nicht in unter...
In einem Diagramm ist eine unabhängige Menge eine Scheitelpunktuntermenge, die keine Kante als induzierten Untergraphen enthält. Das Problem, die größten unabhängigen Mengen in einem Graphen zu finden, ist eine grundlegende algorithmische Frage, und zwar eine schwierige. Betrachten wir die...
In parametrisierter Komplexität verwenden Menschen die FPT-Reduktion (Fixed-Parameter-Tractable), um die W [t] -Härte zu beweisen. Theoretisch ist eine FPT-Reduktion keine Polynomzeitreduktion, da sie im Parameter k exponentiell ablaufen kann. In der Praxis sind alle FPT-Reduktionen, die ich...
Diese Frage wurde durch eine Frage zum Stapelüberlauf motiviert . Angenommen, Sie erhalten einen Wurzelbaum (dh es gibt eine Wurzel und Knoten haben Kinder usw.) auf n Knoten (mit 1 , 2 , … , n bezeichnet ).TTTnnn1,2,…,n1,2,…,n1, 2, \dots, n Jedem Scheitelpunkt ist ein nicht negatives ganzzahliges...
Nurikabe ist ein auf Einschränkungen basierendes Puzzle, das Minesweeper / Nonograms sehr ähnlich ist. Zahlen werden in einem Raster platziert, das mit Ein / Aus-Werten für jede Zelle gefüllt werden soll, wobei jede Zahl einen Bereich verbundener "Ein" -Zellen dieser Größe und einige geringfügige...
Ich interessiere mich für eine SAT-Variante, bei der die CNF-Formel monoton ist (keine Variablen werden negiert). Eine solche Formel ist offensichtlich erfüllbar. Angenommen, die Anzahl der wahren Variablen ist ein Maß dafür, wie gut unsere Lösung ist. Wir haben also folgendes Problem: MINIMUM TRUE...
Diese Frage ist möglicherweise nicht technisch. Als Nicht-Muttersprachler und TA für die Algorithmusklasse habe ich mich immer gefragt, was Gadget in "Klausel-Gadget" oder "Variablen-Gadget" bedeutet. Das Wörterbuch besagt, dass ein Gadget eine Maschine oder ein Gerät ist, aber ich bin mir nicht...
Das 3-Clique-Partitionsproblem ist das Problem der Bestimmung, ob die Eckpunkte eines Graphen, beispielsweise , in 3 Cliquen aufgeteilt werden können. Dieses Problem ist NP-hart durch eine einfache Reduzierung des 3-Färbbarkeitsproblems. Es ist nicht schwer zu erkennen, dass die Antwort auf dieses...
Dies ist ähnlich wie bei SAT, außer dass wir die Zuordnung jeder Variablen kennen, aber die Zuweisung eines booleschen Operators nicht kennen. Ist es in diesem Fall ein NPC-Problem, die Zuordnung jedes Operators so zu finden, dass der Ausdruck einen bestimmten booleschen Wert ergibt? Eigentlich...
Das N-Queen-Problem ist folgendes: Eingabe: N. Ausgabe: Eine Platzierung von N "Königinnen" auf einem NXN-Schachbrett, so dass keine zwei Königinnen in derselben Zeile, Spalte oder Diagonale liegen. Bei einer Google-Suche stellte ich fest, dass viele Folien von vielen Professoren behaupten, dies...
Ich dachte darüber , welche Klasse diese Sprache gehört: ein Graph ist, k ist eine natürliche Zahl und k ist die chromatische Zahl von G }L = { ⟨ G , k ⟩ | GL={⟨G,k⟩∣GL =\{ \langle G,k \rangle \mid G kkkkkkG}G}G\} Ich dachte an als (1) "es gibt keine Färbung von k-1 Farben" und (2) "es gibt eine...
Gibt es mit folgenden Eigenschaften:L ∈ N P.L∈NPL\in {\bf NP} Es ist bekannt, dass P = N P impliziert .L ∈ P.L∈PL\in {\bf P}P = N P.P=NP{\bf P}={\bf NP} Es gibt keine (bekannte) Polynomzeit Turing Reduktion von (oder ein anderen N P -komplette Problem) zu L .S.A T.SATSATN P.NP{\bf NP}L.LL Mit...
Ich suche stark NP-harte Probleme für eine Reduktion. Bisher habe ich folgende Probleme festgestellt: 3-Partitions-Problem Müllverpackungsproblem Numerische dreidimensionale Übereinstimmung TSP Jedes NP-vollständige Problem ohne numerische Daten, z. B. ZUFRIEDENHEIT, HAMILTONISCHER ZYKLUS,...
Wurde dieses Problem schon einmal untersucht? Wenn ein metrischer ungerichteter Graph G gegeben ist (Kantenlängen erfüllen Dreiecksungleichung), finden Sie eine Menge S von Eckpunkten, so dass MST (G [S]) maximiert wird, wobei MST (G [S]) der minimale Spannbaum des Subgraphen ist, der durch...
Erstens ist mein Verständnis des Unvollständigkeitssatzes von Gödel (und der formalen Logik im Allgemeinen) sehr naiv, ebenso wie mein Wissen über theoretische Informatik (dh nur ein Abschlusskurs, der bereits während meines Studiums belegt wurde), so dass diese Frage möglicherweise gestellt wird...
Was ist die Standarddefinition von Planar 3-SAT? Ich habe verschiedene Definitionen gesehen. Was war das Originalpapier, das es definierte und als NP-vollständig
Gibt es bekannte Algorithmen für das folgende Problem, die den naiven Algorithmus übertreffen? Eingabe: Ein System von m linearen Ungleichungen.Ax≤bAx≤bAx \le bmmm Output: eine realisierbare Lösung , falls vorhanden.x∗∈{0,1}nx∗∈{0,1}nx^*\in \{0,1 \}^n Angenommen, und b haben ganzzahlige Einträge....