Complements and coNP
The complements of problems in NP are not necessarily in NP. Therefore, we define the class coNP, which by definition contains exactly the complements of problems from NP.
The complements of problems in NP are not necessarily in NP. Therefore, we define the class coNP, which by definition contains exactly the complements of problems from NP.