Co-np

Co-NP

In computational complexity theory, co-NP is a complexity class. A problem is a member of co-NP if and only if its complement is in the complexity class NP. In simple terms, co-NP is the class of problems for which efficiently verifiable proofs of no instances, sometimes called counterexamples, exist.

Read more about Co-np.