共 4 条
求解SAT问题的拟人退火算法
被引：24
作者：
张德富
黄文奇
汪厚祥
机构：
[1] 华中科技大学计算机学院
来源：
关键词：
SAT问题;
模拟退火算法;
拟人;
D O I：
暂无
中图分类号：
TP181 [自动推理、机器学习];
学科分类号：
摘要：
该文利用一个简单的变换 ,将可满足性 (SAT)问题转换为一个求相应目标函数最小值的优化问题 ,提出了一种用于跳出局部陷阱的拟人策略 .基于模拟退火算法和拟人策略 ,为 SAT问题的高效近似求解得出了拟人退火算法 (PA) ,该方法不仅具有模拟退火算法的全局收敛性质 ,而且具有一定的并行性、继承性 .数值实验表明 ,对于本文随机产生的测试问题例 ,采用拟人策略的模拟退火算法的结果优于局部搜索算法、模拟退火算法以及近来国际上流行的 WAL KSAT算法 ,因此拟人退火算法是可行的和有效的
引用
收藏
页码：148 / 152
页数：5
相关论文