Co-NP

Co-NP 表示 NP 类的补集。这意味着如果一个 Co-NP 问题中的答案是 No，那么存在一个可以在多项式时间内验证的证明。