基于重置引用计数器值的BDD路径优化算法

• 作者: 段珊
• 来源期刊: 计算机与数字工程
• 学科: 工学
• 关键词: 二元决策图 节点路径 变量排序 变量交换
• 年，卷（期）: 2011,（5）
• 所属期刊栏目: 算法与分析
• 页码范围: 36-39,131
• 分类号: TP301.6
• 字数: 3752字
• 语种: 中文
• DOI: 10.3969/j.issn.1672-9722.2011.05.010

摘要

变量交换作为BDD优化算法的核心理论已成功运用于BDD节点规模的减少,本论文从理论和实践的角度提出了运用该理论实现BDD路径数量减少的目标.通过对节点引用域的重新定义来实现节点路径的记录,分析变量交换过程中本地节点重定向来获取局部路径的改变量,引入动态链表完成节点路径增量的记录和传递,最终在终节点得到了BDD的路径数量.该算法用C语言完成,整合到CUDD软件包,经多个函数的实验测试,证实了这种路径优化算法的正确、有效.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	段珊	湖南涉外经济学院计算机学部	12	16	2.0	4.0