我看到很多有关此问题的信息。有些人认为网站是NP完全的，有些人说它是完全NP完全的。我能找到的唯一真正一致的信息是，这绝对是NP难的。这是什么？为什么？
答案 0 :(得分：1)
我认为这取决于你如何定义MAX-3SAT。
如果将MAX-3SAT定义为函数问题＆＃34;给定3CNF公式，则生成一个变量赋值，最大化满足子句的数量，＆＃34;那么它既不是NP完全也不是NP-complete。 NP和co-NP是决策问题的类别，因此没有功能问题属于它们。因此，MAX-3SAT不能属于NP或co-NP，因此它不是任何一个类的完整问题。这个函数问题是NP-hard通过从vanilla 3SAT减少 - 如果你能找到最大满意的赋值，你可以通过查看是否满足所有条款来检查原始公式是否可满足。
您还可以将MAX-3SAT定义为决策问题＆＃34;给定3CNF公式和数字n，确定是否存在对至少n个子句为真的公式的变量赋值。＆＃34 ;这绝对是NP和NP-complete通过从3SAT减少。
另一方面，如果您将MAX-3SAT定义为决策问题＆＃34;给定3CNF公式和该公式的变量赋值，该赋值是否是最大化满足子句数的那个？，＆＃ 34;然后它将属于co-NP（如果答案是否定的，你可以通过展示更令人满意的任务来证实这一点）。我不确定它是否会是NP难的，而且我也不确定它是否也是NP-hard。
希望这有帮助！