《表1 随机3-SAT测试用例计算时间》

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

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

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

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

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

s

首先采用处于相变区的Uniform Random‐3‐SAT问题，不论是对于系统的SAT求解器或者是随机的局部搜索算法都是难解问题。分别选择了20个变量、91条子句和50个变量、218条子句两组测试用例，并行算法中α变量个数的选择统一定为2。实验结果如表1所示，串行的SWcc迭代法和SWcc优化增量法以绝对的优势领先于PSWcc迭代法和PSWcc优化增量法。其原因在于：测试用例的规模很小，在预处理的过程占用了大部分时间，而串行算法没有预处理过程。