版权所有：内蒙古大学图书馆 技术提供：维普资讯• 智图
内蒙古自治区呼和浩特市赛罕区大学西街235号 邮编: 010021
求解SAT问题的拟人退火算法
Personification Annealing Algorithm for Solving SAT Problem作者机构：华中科技大学计算机学院武汉430074
出 版 物：《计算机学报》 (Chinese Journal of Computers)
年 卷 期：2002年第25卷第2期
页 面：148-152页
核心收录：
学科分类：07[理学] 08[工学] 070102[理学-计算数学] 0701[理学-数学] 081202[工学-计算机软件与理论] 0812[工学-计算机科学与技术（可授工学、理学学位）]
基 金：国家"九七三"重点基础研究发展规划项目 (G19980 3 0 60 0 )资助
主 题：SAT问题 模拟退火算法 拟人退火算法 目标函数 计算机 可满足性
摘 要：该文利用一个简单的变换 ,将可满足性 (SAT)问题转换为一个求相应目标函数最小值的优化问题 ,提出了一种用于跳出局部陷阱的拟人策略 .基于模拟退火算法和拟人策略 ,为 SAT问题的高效近似求解得出了拟人退火算法 (PA) ,该方法不仅具有模拟退火算法的全局收敛性质 ,而且具有一定的并行性、继承性 .数值实验表明 ,对于本文随机产生的测试问题例 ,采用拟人策略的模拟退火算法的结果优于局部搜索算法、模拟退火算法以及近来国际上流行的 WAL KSAT算法 。
