基于遗传算法的3-SAT问题判定

• 作者: 王晓峰
• 来源期刊: 宁夏工程技术
• 学科: 工学
• 关键词: 3-SAT问题 遗传算法 CNF公式
• 年，卷（期）: 2009,（2）
• 所属期刊栏目: 应用技术基础理论研究
• 页码范围: 109-111
• 页数: 3页
• 分类号: TP301.5
• 字数: 2801字
• 语种: 中文
• DOI: 10.3969/j.issn.1671-7244.2009.02.004

摘要

通过对遗传算法的改进,引入了聚类排序选择算子,将一个3-SAT的判定性问题转换成一个3-SAT的验证性问题,同时加快了算法的收敛程度,最后给出了基本的求解算法,并分析了该算法的复杂性.实验数据表明,该算法的可靠性有较大地提高,性能明显优于其他同类算法.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	王晓峰	北方民族大学计算机科学与工程学院	26	122	6.0	9.0