《表6 不同参数的对比：一种基于识别重复路径的动态决策策略》

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

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

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

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

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

从表6可以看出，对于重启次数、冲突次数、决策次数和求解时间，使用算法DDIDT的求解器均有所减少.尤其决策次数对于SAT问题的求解效率起着核心作用，只有当搜索树的分支减小，进而搜索空间减少，才会降低运算时间.因此，综上所得，算法DDIDT对于求解实例aaai10-planning-ipc5-pathways-13-step17.cnf有一定的优势，说明算法DDIDT能较好地避免重启之后大量出现重复赋值序列的情况，并且选择越易构造冲突的变量，降低决策次数，自适应地改变搜索路径，减少重启次数，缩短求解时间.