如何知道语言是 conp 还是 np？

Question

几天前我进行了一次测试并没有通过，我有一个我不明白的问题。

这是问题：

让我们看一下FALSE语言：以 CNF 的形式收集所有的诗句P ，以便变量P上的任何放置都不会满足P 。 我们将标记N 中的变量数和M 中的节数。 判断下列说法正确的是：

1. 语言是P。你可以构建一个在时间O (max{N^5, M*N}^2) 内运行的算法
2. 语言是NP。
3. 语言是CONP。

我怎么知道问题的正确答案是什么？ 我怎么知道 FALSE 语言是属于 np 还是 conp 我不明白。

Answer 1

让我们回想一下，决策问题 CNF-SAT，即决定 CNF 句子 P 是否可满足的问题，是 NP 完全的。 因此，它的互补问题是co-NP完全的。 补充问题是假的。

这是根据 NP 和 co-NP 的定义得出的。

当然，如果 P = NP，则三者都可能为真。 如果 NP = coNP，那么问题将是 NP- 和 co-NP 完全的。