Wie kann man beweisen, dass ein Problem NP vollständig ist?

Ich habe Probleme mit der Planung. Ich muss beweisen, dass das Problem NP vollständig ist. Was können die Methoden sein, um zu beweisen, dass NP vollständig ist?

Um zu zeigen, dass ein Problem NP vollständig ist, müssen Sie:

Zeigen Sie, dass es in NP ist

Mit anderen Worten, mit einigen Informationen Ckönnen Sie einen Polynomzeitalgorithmus erstellen V, der für jede mögliche Eingabe überprüft, XobX sich in Ihrer Domäne befindet oder nicht.

Beispiel

Beweisen , dass das Problem des Scheitel Abdeckungen (dass für einige Graph ist G, hat es eine Knotenüberdeckung Satz Größe hat , kso daß jede Kante in Gim Deckel Satz zumindest einen Scheitelpunkt hat ?) Ist in NP:

• Unsere Eingabe Xist eine Grafik Gund eine Zahl k(dies stammt aus der Problemdefinition).

• Nehmen Sie unsere Informationen Cals "jede mögliche Teilmenge von Eckpunkten in einem Diagramm Gmit Größe k".

• Dann können wir einen Algorithmus schreiben V, der gegeben Gist kund in polynomialer ZeitC zurückgibt, ob diese Menge von Eckpunkten eine Eckpunktabdeckung ist Goder nicht .

GWenn dann für jeden Graphen eine "mögliche Teilmenge von Scheitelpunkten in Gder Größe k" existiert, die eine Scheitelpunktabdeckung ist, dann Gist in NP.

Beachten Sie, dass wir nichtC in Polynomzeit finden müssen . Wenn wir könnten, wäre das Problem in `P.

Hinweis , dass Algorithmus Vfür Arbeit sollte jeder G , für einige C. Für jede Eingabe sollte vorhanden sein Informationen , die uns helfen könnten überprüfen , ob die Eingabe im Problembereich ist oder nicht. Das heißt, es sollte keine Eingabe geben, bei der die Informationen nicht vorhanden sind.

Beweisen Sie, dass es NP Hard ist

Dies beinhaltet das Erhalten eines bekannten NP-vollständigen Problems wie SAT , der Menge von Booleschen Ausdrücken in der Form:

(A oder B oder C) und (D oder E oder F) und ...

wo der Ausdruck ist erfüllbar , dh es eine Einstellung für diesen booleans existiert, das der Ausdruck macht wahr .

Dann reduzieren das NP-vollständige Problem für Ihr Problem in Polynomialzeit .

Wenn Sie also eine Eingabe Xfür SAT(oder ein beliebiges NP-vollständiges Problem, das Sie verwenden) eingeben, erstellen Sie eine Eingabe Yfür Ihr Problem, z. XB. in SAT, wenn und nur wenn Yes in Ihrem Problem enthalten ist. Die Funktion f : X -> Ymuss in Polynomzeit ausgeführt werden .

Im obigen Beispiel Ywäre die Eingabe das Diagramm Gund die Größe der Scheitelpunktabdeckung k.

Für einen vollständigen Beweis müssten Sie beides beweisen:

• das Xist in SAT=> Yin deinem Problem

• und Yin deinem Problem => Xin SAT.

Die Antwort von marcog enthält einen Link zu mehreren anderen NP-vollständigen Problemen, die Sie auf Ihr Problem reduzieren könnten.

Fußnote: In Schritt 2 ( Beweisen Sie, dass es NP-hart ist ) reicht es aus, ein anderes NP-hartes (nicht unbedingt NP-vollständiges) Problem auf das aktuelle Problem zu reduzieren, da NP-vollständige Probleme eine Teilmenge von NP-harten Problemen sind (das heißt) auch in NP).

Sie müssen ein NP-Complete-Problem auf das Problem reduzieren, das Sie haben. Wenn die Reduktion in Polynomzeit durchgeführt werden kann, haben Sie bewiesen, dass Ihr Problem NP-vollständig ist, wenn das Problem bereits in NP vorliegt, weil:

Es ist nicht einfacher als das NP-vollständige Problem, da es in Polynomzeit darauf reduziert werden kann, was das Problem NP-schwer macht.

Weitere Informationen finden Sie am Ende von http://www.ics.uci.edu/~eppstein/161/960312.html .

Um zu beweisen, dass ein Problem L NP-vollständig ist, müssen wir die folgenden Schritte ausführen:

1. Beweisen Sie, dass Ihr Problem L zu NP gehört (dh, wenn Sie eine Lösung gefunden haben, können Sie es in Polynomzeit überprüfen).
2. Wählen Sie ein bekanntes NP-vollständiges Problem L '
3. Beschreiben Sie einen Algorithmus f, der L 'in L umwandelt
4. Beweisen Sie, dass Ihr Algorithmus korrekt ist (formal: x ∈ L 'genau dann, wenn f (x) ∈ L)
5. Beweisen Sie, dass algo f in Polynomzeit läuft

Zunächst zeigen Sie, dass es überhaupt in NP liegt.

Dann finden Sie ein weiteres Problem, von dem Sie bereits wissen, dass es NP vollständig ist, und zeigen, wie Sie das NP Hard-Problem polynomiell auf Ihr Problem reduzieren.

1. Machen Sie sich mit einer Untergruppe von NP Complete-Problemen vertraut
2. NP-Härte beweisen: Reduzieren Sie eine beliebige Instanz eines NP-Komplettproblems auf eine Instanz Ihres Problems. Dies ist das größte Stück eines Kuchens, bei dem sich die Vertrautheit mit NP Complete-Problemen auszahlt. Die Reduzierung wird je nach gewähltem NP Complete-Problem mehr oder weniger schwierig sein.
3. Beweisen Sie, dass Ihr Problem in NP liegt: Entwerfen Sie einen Algorithmus, der in Polynomzeit überprüfen kann, ob eine Instanz eine Lösung ist.