博文
子句消去法求解SAT问题思想方法如此简单
|||
子句消去法能够快速求出SAT问题满足解，基本思想方法是：先找子句块中无解变量和唯一解变量，唯一解取值消子句；后找关联变量无解和唯一解，唯一解取值消去子句；剩下全多选解变量部分，任选变量施行子句消去法都可得解。
如果SAT问题有满足解，子句消去法就能让你不重复计算，一次求出满足解。
2016•12•8
https://blog.sciencenet.cn/blog-340399-1019383.html
上一篇：限位数揭开了机器数值运算的全部秘密
下一篇：基于3SAT问题说明子句消去法的多项式时间复杂度
