《表2 CBS类问题测试计算时间》

  提示：宽带有限、当前游客访问压缩模式

本系列图表出处文件名：随高清版一同展现

《基于格局检测的并行模型计数方法》

1. 获取 高清版本忘记账户？点击这里登录

1. 下载图表忘记账户？点击这里登录

s

为了验证本文算法对求解规模更大的测试用例更具优势，选择了CBS类问题做了实验，如表2所示，该类测试用例为随机3‐SAT包含“back‐bone”的测试用例，n代表变量数为100，m代表子句数为411，b代表每个测试用例包含“backbone”数为90。从表2中可以看出，PSWcc迭代法的求解效率基本领先于SWcc迭代法，最好的测试用例效率提高了2.6倍；而PSWcc优化增量法与SWcc优化增量法从时间上相比，几乎相差无几。仅有一个测试用例优于后者。作者发现：也许对于模型数较少的一类测试用例，可能会有更好的效果。