Die Komplexitätsklasse besteht aus denjenigen N P -Problemen, die von einer polynomiell zeitlich nicht deterministischen Turing-Maschine entschieden werden können, die höchstens einen akzeptierenden Rechenweg hat. Das heißt, die Lösung ist, wenn überhaupt, in diesem Sinne einzigartig . Es ist höchst unwahrscheinlich, dass alle U P -Probleme in P sind , da dies nach dem Valiant-Vazirani-Theorem den Zusammenbruch N P = R P implizieren würde .
Auf der anderen Seite, keine ist -Problem bekannt ist, dass N P -komplette, die diese Anforderung die eindeutige Lösung schlägt vor , noch irgendwie macht sie leichter.
Ich suche nach Beispielen, bei denen die Annahme der Eindeutigkeit zu einem schnelleren Algorithmus führt.
Wenn Sie sich zum Beispiel Diagrammprobleme ansehen, kann eine maximale Clique in einem Diagramm schneller gefunden werden (obwohl möglicherweise immer noch in exponentieller Zeit), wenn wir wissen, dass das Diagramm eine eindeutige maximale Clique hat? Wie wäre es mit einer einzigartigen Färbbarkeit, einem einzigartigen Hamilton-Pfad, einer einzigartigen minimalen dominierenden Menge usw.?
Im Allgemeinen können wir für jedes -komplette Problem eine eindeutige Lösungsversion definieren und diese auf U P verkleinern . Ist bekannt, dass das Hinzufügen der Eindeutigkeitsannahme zu einem schnelleren Algorithmus führt? (Erlaubt, dass es immer noch exponentiell bleibt.)