博文
3SAT多关联段求解训练例题
|||
3SAT多关联段求解训练例题
配合我介绍的3-SAT解法博文《子句消去法如何避免进入无解分支求解》（见http://blog.sciencenet.cn/blog-340399-945926.html）这里上传一个多关联段求解练习的例子，有100逻辑变量，296个子句。由于用的是Excel文件，操作十分方便，设值之后可用编辑-删除菜单项将满足条件的子句删去，需要求解的子句会迅速减少，操作起来更为方便。
例题中用不同颜色标注关联段，还留有多解子句块，练习中可以根据需要设定解。
希望这个练习能够帮助需要计算k－SAT的朋友迅速掌握子句消去法这个实用的方法。
姜咏江
2015-12-26
https://blog.sciencenet.cn/blog-340399-945931.html
上一篇：子句消去法如何避免进入无解分支求解
下一篇：要建科技创新强国必须建立本国的科技原创评价体系
