complementary non-deterministic polynomialcomputing dictionary

<complexity> (Co-NP) The set (or property) of problems with a yes/no answer where the complementary no/yes problem is in the set NP.

[Example?]

(01 Mar 1995)