博文
3-SAT-CNF 一次性确定解！库克的P/NPC到头了！
|||
3－SAT-CNF一次性确定解！
姜咏江
经过n次为逻辑变量赋值，就可以找到n个变量的3-SAT-CNF的解，有人做得到吗？本人用我的论文http://blog.sciencenet.cn/blog-340399-902729.html中介绍的子句消去法，就可以在n次子句消去之后，确定出n个变量的3-SAT-CNF的解。这大概不会有人相信！
等着，我会告诉大家这一切是如何做到的。
如果你有兴趣，就写几个3元合取范式给我解。不过现在还是手工操作，变量不要超过5个行吗？
2015-7-11
https://blog.sciencenet.cn/blog-340399-904643.html
上一篇：公布一个3－CNF-SAT函数的所有解
下一篇：我若发表K-CNF-SAT多项式时间求出全部解方法，谁敢给我做评判？
