我一直在阅读this文章,该文章试图解释最大2坐标问题本质上是一个3坐问题并且是NP难的。
但是,如果你看到这篇文章,我无法理解为什么,在ci
满意后,满足10个条款中的7个,如果不满意,10个条款中的6个满足。
有人可以用简单的语言向我解释,并揭开文章究竟要传达的内容吗?基本上,我已经知道max-2-sat问题与3 sat问题相同。问题是我无法理解为什么。
更正式的是,我希望解决这个问题:
考虑MAX2SAT问题如下所述。
给定2-CNF(Conjunctive Normal Form)布尔表达式(m 子句,n个变量)和一个整数k,决定是否存在 任务至少满足总条款的“k”?计算 MAX2SAT的复杂度等级(P或NP或NP完整) 理由。
答案 0 :(得分:0)
嗯,我们首先要讨论的一个关键误区是,这并没有像你的标题所说的那样将Max-2-sat减少到3-sat。为了证明某些东西(在这种情况下是Max-2-sat)是np-hard,我们必须相反并减少3-sat(或任何其他已知的np-hard问题)。
如果我们这样做,那么我们证明如果我们减少到(max-2-sat)的东西不是np-hard那么3-sat不是因为我们可以只做减少并解决3 -sat有效通过max-2-sat。我们知道这是不可能的(3-sat已知np-complete,其他人做过努力)所以max-2-sat不是np-hard的想法是矛盾的。
减少TO 3-sat并没有告诉我们多少。在这种情况下,Max-2-sat仍然很容易。在这种情况下,也许减少到3-sat只是一个坏主意,直接解决它更容易。只是反过来证明你要展示的是什么