Das "zweite " -Problem ist das Problem, die Existenz einer anderen Lösung zu entscheiden, die sich von einer gegebenen Lösung für eine Probleminstanz unterscheidet.
Für einige vollständige Probleme ist die zweite Lösungsversion N P- vollständig (Entscheidung über die Existenz einer anderen Lösung für das partielle lateinische Quadrat-Vervollständigungsproblem), während sie für andere entweder trivial ist (zweites NAE SAT) oder nicht N sein kann P- vollständig (Zweiter Hamilton-Zyklus in kubischen Graphen) unter weit verbreiteter Komplexitätsvermutung. Ich interessiere mich für die entgegengesetzte Richtung.
Wir nehmen ein natürliches -Problem X an, bei dem es einen natürlichen effizienten Verifizierer gibt, der eine natürliche interessante Beziehung ( x , c ) verifiziert , wobei x eine Eingabeinstanz ist und c ein kurzer Zeuge der Zugehörigkeit von x zu X ist . Alle Zeugen sind für den Prüfer nicht zu unterscheiden. Die Gültigkeit von Zeugen muss durch Ausführen des natürlichen Prüfers entschieden werden, und es gibt keine Kenntnis von korrekten Zeugen (beide Beispiele in den Kommentaren sind per Definition Lösungen).
Bedeutet "Zweites ist NP-vollständig" " X ist NP-vollständig" für alle "natürlichen" Probleme X ?
Mit anderen Worten, gibt es ein "natürliches" Problem bei dem diese Implikation fehlschlägt? . Oder äquivalent,
Gibt es ein "natürliches" Problem in N P, von dem nicht bekannt ist, dass es N P- vollständig ist, aber sein zweites X- Problem ist N P- vollständig?
EDIT : Dank Marzios Kommentaren bin ich nicht an erfundenen Gegenbeispielen interessiert. Ich interessiere mich nur für natürliche und interessante Gegenbeispiele für NP-vollständige Probleme ähnlich den oben genannten. Eine akzeptable Antwort ist entweder ein Beweis für die obige Implikation oder ein Gegenbeispiel "Zweites X-Problem", das für das natürliche, interessante und bekannte N P- Problem X definiert ist .
EDIT 2 : Dank der fruchtbaren Diskussion mit David Richerby habe ich die Frage bearbeitet, um zu betonen, dass mein Interesse nur an natürlichen Problemen .
EDIT 3 : Motivation: Erstens kann das Vorhandensein einer solchen Implikation die Vollständigkeitsnachweise vieler N P -Probleme vereinfachen . Zweitens verbindet die Existenz der Implikation die Komplexität der Entscheidung über die Eindeutigkeit der Lösung mit dem Problem der Entscheidung über die Existenz einer Lösung für N P -Probleme.