标签： complexity-theory np
有人能告诉我如何证明特定问题/语言不属于coNP吗？
直观地说，我们应该表明问题的补充不在NP中，但我不确定这是否是这样做的。
感谢。
答案 0 :(得分：0)
一般来说，这很难。例如，现在我们知道
P ⊆ NP ⊆ PSPACE ⊆ EXPTIME
但不知道这些“子集”关系中的任何一个是否严格。这意味着没有人知道 EXPTIME 或 PSPACE 中的问题，例如，不在 NP 中。因此，即使现在我们强烈怀疑的问题不是 NP ，例如TBQF，也不能证明不在 NP