《表9 不同算法求解不同类型实例的决策数》

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

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

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

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

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

为了进一步观察算法DDIDT算法对决策次数的影响，表9列举了Glucose3.0和Glucose3.0＿DDIDT在相同环境下求解实例的决策次数及其下降比.下降比=（Glucose3.0决策数-Glucose3.0＿DDIDT决策数）/（Glucose3.0决策数）.实例来自于2015年SAT竞赛Application类型Main Track组的部分实例.Glucose3.0和Glucose3.0＿DDIDT采用相同的动态重启策略.表9中，“-”表示在实验测试的规定求解时间3600s内未被求解.