博文
分段子句消去法求解3-SAT的练习
|||
分段子句消去法求解3-SAT的练习
姜咏江
这里给出用excel的表练习求解3-SAT的例子。有兴趣的读者可以自己练习一下。为了全面观查，消去的子句块用颜色覆盖就可以。遵循每行一个子句，变量相同的子句写到一起，形成子句块的形式，可以添加子句，当然也可以自己设计3-SAT。记住，子句块要有解，先选二元关联段消去。
解法请看 http://blog.sciencenet.cn/blog-340399-922267.html
2015-9-22
https://blog.sciencenet.cn/blog-340399-922491.html
上一篇：再请杜立智详细解析姜咏江解决了3SAT难题如何？
下一篇：象做多位数除法一样求出3-SAT的解
