3-Coloring-Problem kann NP-Complete unter Verwendung der Reduktion von 3SAT Graph Coloring (von 3SAT) bewiesen werden . Infolgedessen ist das 4-Farben-Problem NP-vollständig, wenn die Reduktion von 3-Farben verwendet wird: Reduktion von einer 3-Farben-Instanz: Hinzufügen eines zusätzlichen...
Ich habe dieses Papier gelesen , in dem die Autoren Satz 1 erklären, in dem es heißt, dass "erreichbares Objekt" (wie im Papier definiert) NP-vollständig ist. Sie beweisen jedoch die Reduktion nur in eine Richtung, dh von 2P1N SAT zu erreichbarem Objekt. Dies beweist nur, dass das Problem NP-schwer...
Sudoku ist ein bekanntes Puzzle, von dem bekannt ist, dass es NP-vollständig ist, und es ist ein Sonderfall eines allgemeineren Problems, das als lateinische Quadrate bekannt ist. Eine korrekte Lösung des Quadrats besteht darin, jede Zeile und jede Spalte mit Zahlen von 1 bis N zu füllen , unter...
Das Partitionsproblem ist ein bekanntes NP-vollständiges Problem. In den Definitionen, die ich gesehen habe, wird angenommen, dass die Eingabe eine Mehrfachmenge von Ganzzahlen ist, und wir möchten die Existenz einer Partition in zwei Mengen mit derselben Summe entscheiden. Meine Frage ist: Ist das...
Kürzlich lese ich Artikel über Dichotomie . Ich verstehe nicht, welche Bedingung als Dichotomie bezeichnet werden kann ? Was bedeutet "eine Frage ist entweder in P oder in NP - vollständig "? (nehme P ≠≠\neq NP an ) Ich kenne zum Beispiel den Schäfer-Dichotomie-Satz, in dem eine Dichotomie darüber...
Ich habe versucht, online zu suchen, konnte aber keine endgültigen Aussagen finden. Es würde für mich Sinn machen, dass die Vereinigung und Kreuzung zweier NPC-Sprachen eine Sprache hervorbringen würde, die nicht unbedingt im NPC enthalten ist. Stimmt es auch, dass NPC-Sprachen nicht unter den...
Ich bin mir sicher, dass mit den folgenden Überlegungen etwas nicht stimmt, da sonst viele P- gegen NP-Untersuchungen eingeschränkt würden, aber ich kann meinen Fehler nicht feststellen: Für jede feste ganze Zahl definieren SieB k : = { ⟨ & phgr; ⟩ |k>0k>0k>0Bk:={⟨φ⟩|φis a wff of ZF and...
Meine Frage lautet wie folgt. Angenommen, ist ein NP-hartes Problem. Ist es bei einer beliebigen Instanz I von Π und der Annahme, dass ein Gegner weiß, dass diese Instanz leicht zu lösen ist, möglich, einen deterministischen Polynom-Zeit-Algorithmus zu finden, um diese bestimmte Instanz I zu lösen...
In einem Diagramm ist eine kantendominierende Menge eine Teilmenge D der Kanten, sodass sich jede Kante im Diagramm entweder in D befindet oder einen Endpunkt mit einer Kante in D teilt. Das Problem der minimalen kantendominierenden Menge besteht darin, eine kantendominierende Menge zu finden der...
Ich definiere einen langen CNF , der mindestens enthält2n22n22^\frac{n}{2}Klauseln, wobei die Anzahl seiner Variablen ist. Es sei eine erfüllbare lange CNF-Formel .nnnLong-SAT = { ϕ : ϕLong-SAT={ϕ:ϕ\text{Long-SAT}=\{\phi: \phi}}}\} Ich würde gerne wissen , warum . Zuerst dachte ich, es sei da ich...
Sagen wir, wir sind gegeben nnn Sätze und die Größe ihrer Vereinigung ist mmm. Wir möchten eine kleine Menge konstruieren, die mindestens enthältkkk des nnn gegebene Sätze. Nehmen wir das an mmm ist weniger als ein Polynom in nnndh: m<P(n)m<P(n)m < P(n). In diesem Fall gibt es einen...
Was sagt uns ein Pseudo-Polynom-Algorithmus über das Problem, das er löst? Ich sehe nicht, wie sich die Laufzeit verbessert, wenn der Algorithmus in der Eingabelänge exponentiell und im Eingabewert polynomisch ist. Wie erklären wir diese Verschiebung vom Exponential zum
Ich habe einige Probleme gesehen, die NP-hart, aber in fester Dimension polynomiell lösbar sind. Beispiele, denke ich, sind Knapsack, das polynomial lösbar ist, wenn die Anzahl der Elemente fest ist, und Integer Linear Programming mit fester Anzahl von Variablen oder Einschränkungen durch Lenstras....
3-PARTITION ist stark NP-vollständig , dh es bleibt NP-vollständig, selbst wenn die Eingabe unär ist . Ich suche zwei oder drei Beispiele für (möglicherweise bekannte) nicht numerische Probleme , die sich mit einer Reduktion von 3-PARTITION als NP-vollständig erwiesen haben (und die Reduktion...
Um diesen Beitrag fortzusetzen , definieren wir das monotone -SAT-Problem:(+,2−)(+,2−)(+, 2^-) Gegeben eine monotone CNF-Formel , bei der jede Variable genau einmal erscheint (als positives Literal), und eine monotone 2-CNF-Formel definiert für dieselben Variablen wie , wobei alle Variablen negiert...
Zeigen Sie, dass das Teilmengen-Summenproblem (Gegeben eine Folge von ganzen Zahlen S=i1,i2,…,inS=i1,i2,…,inS=i_1, i_2, \dots , i_n und eine ganze Zahl kkkGibt es eine Folge von SSS das summiert sich genau kkk?) ist NP-vollständig. Hinweis: Verwenden Sie das genaue Deckungsproblem. Das genaue...
Problem: Um die des Problems "Packen von Quadraten (mit unterschiedlicher Seitenlänge) in ein Rechteck" zu beweisen , wird reduziert, wie in der folgenden Abbildung gezeigt.NP-CompletenessNP-Completeness\textsf{NP-Completeness}3-Partition3-Partition\textsf{3-Partition} In der Instanz gibt es...
In diesem Artikel http://www.mountainvistasoft.com/docs/BattleshipsAsDecidabilityProblem.pdf heißt es, dass das Entscheidungsproblem "Gibt es bei einem bestimmten Rätsel eine Lösung?" ist NP-vollständig. Ich verstehe nicht, warum dies nicht in Polynomzeit möglich ist. Angesichts der...
In Lance Fortnows Buch The Golden Ticket erwähnt er, dass Sie einen Polynom-Zeit-Algorithmus für ein NP-vollständiges Problem verwenden können, um einen schnelleren Algorithmus zu finden. Können Sie mir sagen, wie das gemacht wird? Und wenn dies erledigt ist, können Sie den neuen Algorithmus...
Auf der Wikipedia-Seite zum P vs. NP-Problem gibt es einen Algorithmus, der SUBSET-SUM "löst", falls P = NP in Polynomzeit ist. (Es ist eine Idee, ein TM zu finden, das ein Zertifikat gibt). Aber es gibt "Ja" in Polynomzeit und läuft für immer, wenn die Antwort "Nein" ist. Es kann offensichtlich...