3 SAT算法的复杂性？

Question

我有一个有趣的3SAT算法，我想要实现，但无法编写相同的代码，因此无法查看它是否真的有效。 该算法在Microsoft Word文件中定义： DropBox Link for 3SAT algorithm 我不知道这个算法是否真的有效，如果它做了它的复杂性。我真的很想知道它的复杂性。请帮助我，就好像它是在多项式时间，然后我会证明P = NP！

Answer 1

正如您的算法描述所述，

  

这种方法可能需要相当长的时间，因为每次行数可能会乘以2（这就是2 ^m ，其中m是子句数）

因此算法的最坏情况运行时间是指数的， 不是多项式。您希望在许多情况下运行时间 由于输入中的快乐巧合而缩短，但最坏情况下的运行时间 是如何评估P对NP问题。

Answer 2

我建议您阅读我的论文http://arxiv.org/ftp/arxiv/papers/1411/1411.2901.pdf 在那里，你会发现一个共同的分裂机制来确定可满足性，这显然与你的程序相似。该过程在每个步骤中都是多项式（实际上是线性的），但问题是公式长度在每个步骤中都会爆炸。 （正如你问题的一个答案所指出的那样）。在论文中，我已经讨论了是否以及在何种情况下系统地防止这种爆炸的问题。