基于灾变遗传算法的二叉判定图最小化算法

• 作者: 王镇道 陈义
• 来源期刊: 计算机工程与应用
• 学科: 工学
• 关键词: 二叉判定图 遗传算法 灾变 最小化 变量排序
• 年，卷（期）: 2015,（3）
• 所属期刊栏目: 理论研究、研发设计
• 页码范围: 55-60
• 页数: 6页
• 分类号: TP11
• 字数: 5783字
• 语种: 中文
• DOI: 10.3778/j.issn.1002-8331.1402-0377

摘要

二叉判定图广泛应用于形式验证，但相关算法存在节点规模过大的问题。提出了一种基于灾变遗传算法的二叉判定图最小化算法，它能在不扩大种群规模的情况下增加个体多样性，改善遗传算法局部收敛的问题。试验结果表明该算法的全局特性显著优于传统遗传算法，能够进一步减小节点规模，改善程度最高可达25%。而且，由于使用何种进化策略并不影响灾变的发生，因此，算法可扩展性好，极易与其他改进策略结合起来，在原有特性的基础上引入全局优势，以进一步减小节点规模。

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	王镇道	湖南大学物理与微电子科学学院	40	173	8.0	11.0
2	陈义	湖南大学物理与微电子科学学院	2	2	1.0	1.0