基于动态筛选算法的二元判定图的优化

• 作者: 张修如 段珊
• 来源期刊: 湖南理工学院学报（自然科学版）
• 关键词: 二元判定图 动态排序 筛选算法 路径 优化
• 年，卷（期）: 2007,（3）
• 页码范围: 33-37
• 页数: 5页
• 分类号: TP301.6
• 语种: 中文
• DOI: 10.3969/j.issn.1672-5298.2007.03.011

摘要

作为逻辑布尔函数的一种高效简洁的描述方法,BDD规模结构对应着计算机实现算法的空间和时间复杂性.随着应用领域的不同,BDD的节点和路径的规模成为关注的两个焦点.文章讨论利用基于动态规划的筛选算法来实现从节点规模和路径的大小两方面对BDD的优化.在将筛选算法用于节点优化的基础上,从理论上提出了优化路径的思路及可行算法.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	张修如	中南大学信息科学与工程学院	41	332	9.0	17.0
2	段珊	中南大学信息科学与工程学院	1	3	1.0	1.0