Algorithm 最高2个Sat如何精确地减少到3个Sat？

我一直在读一篇文章，这篇文章试图解释max 2 sat问题本质上是一个3-sat问题，是NP难问题

然而，如果你看到这篇文章，我不明白为什么在

ci

满足后，10个条款中有7个条款满足，如果不满足，10个条款中有6个条款满足。

有人能简单地向我解释一下，并澄清这篇文章到底想表达什么？从本质上讲，我已经知道max-2-sat问题与3-sat问题是一样的。问题是我不明白为什么。

更正式地说，我希望解决这个问题：

考虑如下所述的MAX2SAT问题。

给定一个2-CNF（合取范式）布尔表达式（带m 子句（n个变量）和整数k决定是否存在 至少满足全部条款“k”的赋值？计算 MAX2SAT的复杂性类（P或NP或NP完全） 理由

---

嗯，我们首先要讨论的一个关键误解是，这并没有像标题所说的那样将最高2-sat降低到3-sat。为了证明某个问题（在本例中为Max-2-sat）是np难问题，我们必须相反，将3-sat（或任何其他已知的np难问题）简化为np难问题

如果我们这样做，那么我们会证明，如果我们简化为（max-2-sat）的东西不是np难的，那么3-sat也不是，因为我们可以通过max-2-sat进行简化并有效地解决3-sat。我们知道这是不可能的（3-sat是np完全的，其他人做了艰苦的工作）因此，认为max-2-sat不是np难的观点是矛盾的

---

减少到3-sat并不能告诉我们太多。在这种情况下，Max-2-sat仍然很容易。在这种情况下，也许减少到3-sat只是一个坏主意，直接解决它更容易。只有做相反的事情才能证明你想展示的东西

这可能更适合计算机科学，而不是StackOverflow好吧，这是在做与你要求相反的事情。从另一方面讲，这有意义吗？