In der Kompliziertheitstheorie, ("Eindeutig Nichtdeterministisch Polynomisch-malig") ist die Kompliziertheitsklasse von Entscheidungsproblemen, die in der polynomischen Zeit auf einer nichtdeterministischen Maschine von Turing mit höchstens einem akzeptierendem Pfad für jeden Eingang lösbar sind. Enthält P und wird in NP enthalten.

Eine allgemeine neue Darlegung von NP stellt fest, dass eine Sprache in NP ist, wenn, und nur wenn eine gegebene Antwort durch eine deterministische Maschine in der polynomischen Zeit nachgeprüft werden kann. Ähnlich ist eine Sprache in, wenn eine gegebene Antwort in der polynomischen Zeit nachgeprüft werden kann, und die verifier Maschine nur höchstens eine Antwort für jedes Problem-Beispiel akzeptiert. Mehr formell gehört eine Sprache L, wenn dort ein zwei Eingangspolynom-Zeitalgorithmus A und ein unveränderlicher solcher c dass besteht

:if x in L, dann dort besteht ein einzigartiges Zertifikat y mit |y | = O (|x |) solch dass (x, y) = 1

:if x ist nicht in L, es gibt kein Zertifikat y mit |y | = O (|x |) solch dass (x, y) = 1

Algorithmus A prüft L in der polynomischen Zeit nach.

(Und sein Ergänzungsstaatsstreich) enthalten sowohl die ganze Zahl factorization Problem als auch das Paritätsspielproblem; weil entschlossene Anstrengung noch eine polynomisch-malige Lösung einigen dieser Probleme finden muss, wie man verdächtigt, ist es schwierig, P=UP, oder sogar P = ( Staatsstreich) zu zeigen.

Der Tapfere-Vazirani Lehrsatz stellt fest, dass NP in RP enthalten wird, was bedeutet, dass es die randomized Verminderung von jedem Problem in NP zu einem Problem in der Versprechung gibt.

Ist nicht bekannt, irgendwelche ganzen Probleme zu haben.