《表5 不同阈值的求解结果》

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

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

《一种基于识别重复路径的动态决策策略》

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

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

同样的，若算法2中阈值threshold设置过大，也不利于较早的改变搜索路径；若较小，则导致搜索树层次较浅，也难得到解.我们同样采用实验的方法，来确定阈值threshold.threshold值即为图2中x轴的某一区间范围内所对应的y轴的值大于min以及小于max的“点”的个数.根据观察测试实例中数据的变化情况，这里设置threshold=10，20，30，40.我们仍然使用Glucose3.0版本求解器，其中min和max随着比率而动态变化.测试实例来源于2015年SAT竞赛Application类型Main Track组，共300个.限定测试时间为3600s.表5表示求解器中使用不同threshold时，求解器所求解的实例个数.由表5可知，当threshold=10时，求解个数最多.