| 《计算机学报》文章摘要 全文下载 | |
| 文章题目 | 求解SAT问题的拟人退火算法 |
| 作者 | 张德富 黄文奇 汪厚祥 |
| 作者单位 | (华中科技大学计算机学院 武汉 430074) |
| 发表年份 | 2002 |
| 发表月份 | 2期 （页码：148—152) |
| 文章摘要 | 该文利用一个简单的变换，将可满足性（SAT）问题转换为一个求相应目标函数最小值的优化问题，提出了一种用于跳出局部陷阱的拟人策略.基于模拟退火算法和拟人策略，为SAT问题的高效近似求解得出了拟人退火算法(PA)，该方法不仅具有模拟退火算法的全局收敛性质，而且具有一定的并行性、继承性.数值实验表明，对于本文随机产生的测试问题例，采用拟人策略的模拟退火算法的结果优于局部搜索算法、模拟退火算法以及近来国际上流行的WALKSAT算法，因此拟人退火算法是可行的和有效的. 关键词 SAT问题，模拟退火算法，拟人 中图法分类号：TP18 |