SAT+MiniSAT三元可满足性问题的研究与实现(7)
时间:2017-01-06 13:21 来源:毕业论文 作者:毕业论文 点击:次
为了方便辨认，把cnf文件取名为k.v.c.cnf,例如，一个合取范式里有20个元素，40个子句，所以子句和元素的比例为2，这个文件名就为2.20.40.cnf。这些数据作为初步测试，测试结果的截图放在“第一步测试”文件夹中，测试结果表明，当k=2和3的时候，3SAT基本可解，但当k=4,5的时候，3SAT部分可解，当k=6的时候，3SAT基本不可解：结果如下： (责任编辑：qin) |