实现最优BDD结构的联合改进方法

摘要：

针对文献[13]的最优BDD指标顺序算法,详细研究了该方法的计算机实现.在分析实现各个关键技术的过程中,阐明了存储每个指标值的真值表的冗余性,分析了获取一个最优解(当对象含有多个最优解时)的弊端,提出了改进方法——删除存储指标值的真值表,获得所有最优解.为了实现形式最优BDD结构,详细研究了“去除”操作在简化“等价”节点上的原理.将最优指标顺序的理论和“等价”节点的简化操作方法联合起来,实现了理论和形式都最优的BDD结构.最后,以具体的例证阐释了联合改进方法在获取最优BDD结构中的突出特点.

关键词：二元决策图、代价、等价节点、标识符、指标顺序、最优解

所属期刊栏目：41

分类号：TP202+.1(自动化技术及设备)

资助基金：国家自然科学基金60934002.部级预研基金;高等学校博士点基金20070614008

在线出版日期：2012-04-27（万方平台首次上网日期，不代表论文的发表时间）

页数：共6页

页码：48-53