私はNPクラスとスライドの1つについて勉強しています：
It seems that verifying that something is not present is more difficult than verifying that it is present.
______ _________
Hence, CLIQUE (complement) and SubsetSUM (complement) are not obviously members of NP.
CLIQUE の補数が NP の要素であるかどうか、証明されたことはありますか?
また、その証拠はありますか？