找到了3-CNF-SAT的求解方法

姜咏江

费了若干天时间，终于找到了快速求解3-CNF-SAT函数的方法。先将一个例题的解奉献给网友，至于解法还要暂时保密。因为解决的方法还需要进行数学证明。下面给个例子，希望网友感兴趣。如果网友愿意提出任意的n-CNF-SAT函数，要我来帮你求解（n不要太大呀），我将十分高兴为您服务。

例1，f(x₁,..., x_n)= (x₁+x₁'+x₂')(x₂+x₃+x₄)(x₁'+x₃'+x₄')(x₁'+x₂+x₅')(x₂+x₃+x₆)

这个函数的解是（x₁,..., x₆）=（0,0,1,1,0,1）。

对与不对，大家可以验证。

例2，求解f(x₁,..., x_n)= (x₁+x₁'+x₂')(x₂+x₃+x₄)(x₁'+x₃'+x₄')(x₁'+x₂+x₅')(x₂+x₃+x₆) (x₁+x₅+x₆')

这个函数的有(100101)是f(x₁,..., x_n)=1的解。

2015-6-28