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

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

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

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

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

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

通过图2可以看出，首先#ER和NCER的递归调用次数相比于图1中的调用次数有了大幅度减小，这是因为表2的测试用例互补因子较高，利用了扩展规则的优势，且NCER使用的启发式策略在每次调用时优先选择最长子句，最大程度地减小了极大项空间，从而使得递归调用的次数较少.图2中NCER的递归调用次数均小于#ER的递归调用次数，其中最大差值为542 518次.