一种求解SAT问题的人工蜂群算法

• 作者: 张斌 张长胜 郭莹
• 来源期刊: 东北大学学报（自然科学版）
• 学科: 工学
• 关键词: 可满足性问题 人工蜂群算法 遗传算法 群体智能 启发式策略
• 年，卷（期）: 2014,（1）
• 所属期刊栏目: 信息与控制
• 页码范围: 29-32,42
• 页数: 5页
• 分类号: TP301
• 字数: 3389字
• 语种: 中文
• DOI: 10.3969/j.issn.1005-3026.2014.01.007

摘要

针对SAT问题,提出一种求解该问题的离散人工蜂群算法——ABCSAT算法,建立了相应的优化算法模型,解决了问题编码和转化、适应度函数、蜜蜂觅食策略、离散操作等关键问题.不同于处理连续优化问题,ABCSAT将适应度函数定义为当前不可满足子句数.根据问题的特点设计了多种觅食策略,并利用各子句和变量之间约束关系的启发式信息对各阶段的候选解进行离散操作.最后在标准SATLIB测试集上对提出的算法进行了测试并与相关算法进行了比较,结果验证了ABCSAT算法在中小规模SAT问题上的有效性,表明算法能更加有效地解决该问题.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	张斌	东北大学信息科学与工程学院	203	1801	20.0	33.0
2	郭莹	东北大学信息科学与工程学院	8	60	4.0	7.0
3	张长胜	东北大学信息科学与工程学院	23	161	6.0	12.0