博文
一个简单的3-SAT求解例题
|||
一个简单的3-SAT求解例题
姜咏江
这里给出一个最简单有唯一解的3-SAT例题，其解法如下图。
本例选择x1x2x3为起始块，则因子句110和001互反，所以块值只有000、100、010。图中所示是起始块解除法的计算，出现黄色块表示无解，只有x1x2x3=010时才可能得到该3-SAT的解。
此题3-SAT的解为 x1x2x3x4x5x6=010100。
2015-9-22
https://blog.sciencenet.cn/blog-340399-922576.html
上一篇：象做多位数除法一样求出3-SAT的解
下一篇：3-SAT关联段子句消去法（详细解法）
