Co-NP

from The Free On-line Dictionary of Computing (8 July 2008)

complementary nondeterministic polynomial
Co-NP

   <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?]

   (1995-04-27)