如何知道語言是 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 完全的。