クラスco-NP
補問題がクラスNPに属す問題のクラス
以下のような関係がある
$ \mathrm{P}\subseteq\mathrm{coNP}
$ \mathrm{P}=\mathrm{NP}ならば、$ \mathrm{NP}=\mathrm{coNP}になる
逆に$ \mathrm{NP}\neq \mathrm{coNP}ならば、$ P\neq\mathrm{NP}
定義
ある決定問題$ Sの補問題がクラスNPに属するとき、$ Sはクラスco-NPに属する
参考
co-NP - Wikipedia