基于免疫B-Cell算法求解可满足性问题的性能分析

• 作者: 周育人 夏小云
• 来源期刊: 微电子学与计算机
• 关键词: 人工免疫系统 B-Cell算法 多目标优化 可满足性问题 运行时间分析
• 年，卷（期）: 2016,（7）
• 页码范围: 5-10
• 页数: 6页
• 分类号: TP301
• 语种: 中文

摘要

可满足性问题（SAT）是计算机科学和人工智能研究中的核心NP‐完全问题。构造了两类SAT问题实例，易解和难解实例。从理论上分析了B‐Cell算法求解该两个实例的运行时间，并证实了B‐Cell算法在某些问题上有效而在一些问题上无效。进一步提出了一个简单的基于免疫的多目标优化算法（IBMO），对于一个双目标的SAT问题，证明了IBM O能够有效地找到整个 Pareto前沿。这些分析结果从理论上证实和说明了人工免疫系统的有效性。

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	夏小云	嘉兴学院数理与信息工程学院	10	84	5.0	9.0
3	周育人	中山大学数据科学与计算机学院	7	74	3.0	7.0