《表6 PARITY类问题实例的实验结果》

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

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

《基于格局检测的模型计数方法》

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

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

（s）

本文方法求解效率提升的原因可以概括为:传统完备方法的求解效率对给定问题的模型数并不敏感，即对于同类问题，模型数的大小对于求解效率的影响并不大；而本文提出的利用局部搜索的模型计数求解方法，在每次的迭代过程中求出一个不重复的可满足指派.给定问题的模型越少，所需的迭代计算过程就越少，求解时间自然也会更短.因此在这种情况下，不完备方法具备超越完备方法的可能.