Direkt zum Inhalt

Lexikon der Mathematik: co-NP

Komplexitätsklasse aller Entscheidungsprobleme (Entscheidungsproblem) oder Sprachen, deren Komplemente in NP enthalten sind.

Eine Sprache L ist genau dann in co-NP enthalten, wenn es eine Sprache \({L}^{\prime}\) in der Komplexitätsklasse P gibt, so daß x genau dann in L enthalten ist, wenn für alle y mit einer bzgl. x festen polynomiellen Länge (x, y) in \({L}^{\prime}\) enthalten ist. Sprachen in co-NP lassen sich also durch einen universellen Quantor und ein polynomielles Prädikat ausdrücken.

Lesermeinung

Wenn Sie inhaltliche Anmerkungen zu diesem Artikel haben, können Sie die Redaktion per E-Mail informieren. Wir lesen Ihre Zuschrift, bitten jedoch um Verständnis, dass wir nicht jede beantworten können.

  • Die Autoren
- Prof. Dr. Guido Walz

Partnervideos