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 ...