MAX-SAT问题一种改进的局部搜索算法

• 作者: 朱文兴 赵同昇
• 来源期刊: 计算机工程与科学
• 学科: 工学
• 关键词: MAX-SAT问题 局部搜索 单纯形法
• 年，卷（期）: 2008,（11）
• 所属期刊栏目: 算法研究
• 页码范围: 50-52,79
• 页数: 4页
• 分类号: TP301.6
• 字数: 4145字
• 语种: 中文
• DOI: 10.3969/j.issn.1007-130X.2008.11.016

摘要

局部搜索算法是求解大规模SAT问题的高效算法.经典的局部搜索算法有GSAT、WSAT、TSAT、NSAT等,但这些算法的初始解都是随机产生的.本文提出了用单纯形法产生"初始概率"(每个变量取1的概率),用"初始概率"对局部搜索算法中变量的初始随机指派进行适当的约束,使在局部搜索的开始阶段,满足的子句数大大增加,加快了收敛的速度.通过对不同规模的随机STA问题实例的实验表明,这些改进有效地提高了局部搜索算法求解SAT问题的效率.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	朱文兴	福州大学离散数学与理论计算机科学研究中心	44	465	10.0	21.0
2	赵同昇	福州大学数学与计算机科学学院	1	5	1.0	1.0