Vielen ist der Gedanke gekommen, dass es in allen von mir gelesenen -Vollständigkeitsnachweisen (an die ich mich erinnern kann) immer trivial ist, zu zeigen, dass ein Problem in liegt und dass es sich um -hard ist der ... schwierige Teil. Was für -vollständige Probleme sind das, deren Polynomzeitprüfer höchst untrivial sind?NP NP NP
complexity-theory
np-complete
np
Gartenkopf
quelle
quelle
Antworten:
Es gibt mindestens vier solcher vollständigen Probleme, die im Anhang von Garey und Johnsons COMPUTER UND INTEGRIERBARKEIT aufgeführt sind: Ein Leitfaden zur Theorie der NP-Vollständigkeit .NP
Die anderen drei, die ich im Anhang gefunden habe, sind:
quelle
Hier ist ein Problem aus der Datenbanktheorie, genauer aus der Serialisierbarkeitstheorie.
In Serialisierbarkeit durch Sperren (Seite 249) heißt es:
Das sichere Problem ist in der Veröffentlichung "Some Computational Problems Related to Database Concurrency Control" von Papadimitriou et al. Leider habe ich keinen Zugang dazu.SSR
quelle
Für mich gehört die ganzzahlige lineare Programmierung (und die zugehörige quantifierfreie Presburger-Arithmetik) zu dieser Klasse.
Ein naiver Ansatz für ein dimensionales ILP-Problem ist die Iteration durch alle Längen- Vektoren von ganzen Zahlen. Dies ist jedoch ein unbegrenzter Prozess.nn n
Sie müssen eine Zahlentheorie anwenden, um zu beweisen, dass es eine polynomische Obergrenze für die Größe von Lösungen gibt. Wenn also eine Lösung vorhanden ist, gibt es immer eine polynomisch große Lösung, die als Zertifikat fungiert.
Weitere Informationen finden Sie in der Antwort auf eine Frage, die ich vor einiger Zeit gestellt habe.
quelle