Als «np-complete» getaggte Fragen

Fragen zu den schwierigsten Problemen in NP, dh zu denen, die in polynomialer Zeit von nichtdeterministischen Turing-Maschinen gelöst werden können.

3
Kann es in NP-Complete ein endliches Problem geben?
Mein Dozent gab die Erklärung ab Jedes endliche Problem kann nicht NP-vollständig sein Er sprach zu der Zeit über Sudokus und sagte etwas in der Art, dass es für ein 8x8-Sudoku eine endliche Menge von Lösungen gibt, aber ich kann mich nicht genau erinnern, was er gesagt hat. Ich habe …
13 np-complete  np 



2
Der DOUBLE-SAT-Nachweis ist NP-vollständig
Das bekannte SAT-Problem wird hier als Referenz definiert . Das DOUBLE-SAT-Problem ist definiert als DOUBLE-SAT={⟨ϕ⟩∣ϕ has at least two satisfying assignments}DOUBLE-SAT={⟨ϕ⟩∣ϕ has at least two satisfying assignments}\qquad \mathsf{DOUBLE\text{-}SAT} = \{\langle\phi\rangle \mid \phi \text{ has at least two satisfying assignments}\} Wie beweisen wir, dass es NP-vollständig ist? Es wird mehr als …

2
Kann jedes NP-Complete-Problem mit höchstens polynomialem Raum gelöst werden (aber mit exponentieller Zeit?)
Ich habe etwas über NPC und seine Beziehung zu PSPACE gelesen und möchte wissen, ob NPC-Probleme mit einem Algorithmus deterministisch gelöst werden können, der den ungünstigsten polynomiellen Platz benötigt, aber möglicherweise exponentielle Zeit benötigt (2 ^ P (n), wobei P polynomiell ist). Kann man es auch allgemein auf EXPTIME verallgemeinern? …




2
Beweisen Sie die NP-Vollständigkeit der Entscheidung über die Erfüllbarkeit der monotonen Booleschen Formel
Ich versuche, dieses Problem zu lösen, und ich kämpfe wirklich. Eine monotone Boolesche Formel ist eine Formel in der Aussagenlogik, in der alle Literale positiv sind. Beispielsweise, (x1∨x2)∧(x1∨x3)∧(x3∨x4∨x5)(x1∨x2)∧(x1∨x3)∧(x3∨x4∨x5)\qquad (x_1 \lor x_2) \land (x_1 \lor x_3) \land (x_3 \lor x_4 \lor x_5) ist eine monotone Boolesche Funktion. Auf der anderen Seite …

4
Ändert sich die Komplexität stark NP-harter oder -vollständiger Probleme, wenn ihre Eingabe unärkodiert ist?
Ändert sich die Schwierigkeit eines stark NP-harten oder NP-vollständigen Problems (wie hier definiert ), wenn seine Eingabe unär anstatt binär codiert ist? Welchen Unterschied macht es, wenn die Eingabe eines stark NP-harten Problems unärkodiert ist? Ich meine, wenn ich zum Beispiel das schwach NP-vollständige Knapsack-Problem nehme, ist es NP-vollständig, wenn …




2
Längster Zyklus in zwei Zyklen
Ist das folgende Problem NP-vollständig? (Ich nehme ja an). Eingabe: ein ungerichteter Graph, bei dem der Kantensatz in zwei kantendisjunkte einfache Zyklen zerlegt werden kann (diese sind nicht Teil der Eingabe).k∈N,G=(V,E)k∈N.,G=(V.,E.)k \in \mathbb{N},G=(V,E) Frage: Gibt es in einen einfachen Zyklus mit einer Länge größer als k ?GGGkkk Offensichtlich liegt das …

1
Unabhängiger Satz für kubische dreieckfreie Diagramme
Ich weiß, dass die maximale unabhängige Menge in kubischen dreieckfreien Graphen NP-vollständig ist. Ist es immer noch NP-vollständig, falls die unabhängige Menge genau die Größe haben muss ? V | / 2 ?|V|/2|V|/2|V|/2 Grundsätzlich muss die YES-Instanz des Problems der unabhängigen Menge bei kubischen dreieckfreien Graphen genau Knoten. KEINE Instanz …

Durch die Nutzung unserer Website bestätigen Sie, dass Sie unsere Cookie-Richtlinie und Datenschutzrichtlinie gelesen und verstanden haben.
Licensed under cc by-sa 3.0 with attribution required.