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.)
quelle
Antworten:
3-SAT kann ein solches Problem sein. Derzeit ist die beste Obergrenze für Unique 3-SAT exponentiell schneller als für General 3-SAT. (Die Beschleunigung ist exponentiell, obwohl die Verringerung des Exponenten sehr gering ist.) Der Rekordhalter für den einzigartigen Fall ist dieses Papier von Timon Hertli.
quelle
Kürzestes 2-Vertex-Problem mit disjunktem Pfad in ungerichteten Graphen, das kürzlich von A. Bjorklund und T. Husfeldt gelöst wurde (ICALP14). Die deterministische Lösung ist jedoch für den Fall der Existenz einer eindeutigen Lösung. Für den Fall, dass es mehr als eine Lösung gibt, wurde gezeigt, dass das Problem zu RP gehört . Wie die Autoren des genannten Papiers wissen, ist im allgemeinen Szenario nicht bekannt, ob das Problem bei P liegt .
quelle
Außerhalb der Komplexitätstheorie und der Analyse von Algorithmen bildet die Annahme, dass es nur eine Lösung geben kann, die Grundlage für einige der Standardregeln, die zur Ableitung der Lösung in Sudoku-Rätseln verwendet werden. Diese Regeln beinhalten im Allgemeinen die Suche nach Möglichkeiten, wie Teile des Puzzles zwei oder mehr Lösungen haben können, die nicht mit dem Rest des Puzzles interagieren. Dies kann in der tatsächlichen Lösung nicht passieren. Wenn also ein Muster gefunden wird, das dies zu verursachen droht, muss es beschädigt werden, damit der Löser Einschränkungen für das Erscheinungsbild der tatsächlichen Lösung ableiten kann. Unter http://www.brainbashers.com/sudokuuniquerectangles.asp finden Sie einige Beispiele für Abzugsregeln, die auf der Eindeutigkeit basieren.
quelle
Die Annahme der Einheitlichkeit bedeutet, dass die Parität der Anzahl der Schinken. Pfade ist das Gleiche, als würde man entscheiden, ob es sich bei dem Graphen um ein Hamilton-Diagramm handelt.
quelle