《表2 3-SAT实例〈20,m〉、〈25,m〉和〈30,m〉上的实验结果》

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

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

《基于相邻子句规约的求差知识编译算法》

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

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

虽然在有些实例上，imp-DKCHER算法并未提升DKCHER算法的编译效率，然而相差并不大，例如，对于〈25，107〉类型的实例，imp-DKCHER算法的编译效率相比于DKCHER算法仅相差2 ms，这主要得益于RACE算法的高效率。这也进一步说明了，RACE算法能够始终提升DKCHER算法的编译质量，且在大部分实例上，RACE算法能够同时提升DKCHER算法的编译效率，而在小部分实例上，RACE算法能够在保证DKCHER算法编译效率基本不变的同时提高其编译质量。