Ich folge dem Vorschlag von Josh Grochow und wandle meinen Kommentar von einer vorherigen Frage in eine neue Frage um.
Welche Beweise haben wir für ?
Hier ist die Klasse von Sprachen, die durch nicht deterministische Polynomzeit-Turing-Maschinen erkennbar sind, die einen eindeutigen Akzeptanzpfad für "yes" -Instanzen und einen eindeutigen Akzeptanzpfad für "no" -Instanzen haben.
Offensichtlich , aber warum sollten wir glauben , dass die Eindämmung streng ist? Die Beweise , die ich finden kann , ist Oracle Trennung : nach einem zufälligen Orakel, . Der Complexity Zoo legt außerdem nahe, dass es bei vermutlich keine vollständigen Probleme gibt.P ⊊ U P ⊊ N P U P