登录 | 注册 | 退出 | 公司首页 | 繁体中文 | 满意度调查
综合馆
求解SAT问题的拟人退火算法
  • 摘要

    该文利用一个简单的变换,将可满足性(SAT)问题转换为一个求相应目标函数最小值的优化问题,提出了一种用于跳出局部陷阱的拟人策略.基于模拟退火算法和拟人策略,为SAT问题的高效近似求解得出了拟人退火算法(PA),该方法不仅具有模拟退火算法的全局收敛性质,而且具有一定的并行性、继承性.数值实验表明,对于本文随机产生的测试问题例,采用拟人策略的模拟退火算法的结果优于局部搜索算法、模拟退火算法以及近来国际上流行的WALKSAT算法,因此拟人退火算法是可行的和有效的.

  • 作者

    张德富  黄文奇  汪厚祥 

  • 作者单位

    华中科技大学计算机学院,武汉,430074

  • 刊期

    2002年2期 ISTIC EI PKU

  • 关键词

    SAT问题  模拟退火算法  拟人 

相似文献 查看更多>>
3.233.215.231