3SAT解决DNF简化问题?

时间:2015-09-13 14:00:02

标签: algorithm runtime time-complexity sat p-np

我想到了一种通过以下方法解决3SAT问题的算法:

1)取cnf方程中至少有一个共同变量的所有子句。找到所有这些组合并将它们放入名为“Intersection”的列表中。 “交集”列表现在包含交叉子句组。

2)接下来,我们将特定“交叉点”组中的所有子句转换为DNF。由于至少有一个共同的变量,我认为它不会处于指数时间。

3)接下来,我们将获得的所有获得的DNF转换为单个DNF,因为它们全部用原始方程中的AND门分开。

4)如果获得的DNF中只有一个子句,则该等式是可满足的,否则该等式是不可满足的。这是因为不相交的子句(没有任何共同变量的子句)不会影响整体方程,最后如果我们用获得的DNF“和”它们,它只会将变量相加并添加到现有的条款(如果有的话)。

我的问题是:

这个算法的运行时间是什么,这证明了与P = NP相关的任何事情,因为我认为这个算法非常有效。我以前的算法让其他人失望,所以这次请花时间分析算法,因为这是我的辛勤工作。

0 个答案:

没有答案