《表1 随机SAT用例实验结果 (互补因子<0.5)》

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

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

《两种新的基于扩展规则#SAT问题求解算法》

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

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

通过图1可以看出，对表1的测试用例而言，#ER递归调用次数非常高，而NCER优先选取最长子句减小极大项空间的启发式策略，最大程度地减少了计算过程，使得递归调用次数锐减，从而加快了求解速率.图1中NCER的递归调用次数全部小于#ER的递归调用次数，其中最大差值为24 569 456次，最小差值为644 969次.