Max 2 Sat究竟如何减少到3周六?

时间:2016-01-30 10:41:21

标签: algorithm np 2-satisfiability

我一直在阅读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完整)   理由。

1 个答案:

答案 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只是一个坏主意,直接解决它更容易。只是反过来证明你要展示的是什么