<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?]
(27 Apr 1995)