同一变量排序下的多OBDD合并算法.pdfVIP

20 2014，50(17) ComputerEngineeringandApplications计算机工程与应用 同一变量排序下的多OBDD合并算法 智慧来 ZHIHuilai 河南理工大学 计算机科学与技术学院，河南 焦作 454000 SchoolofComputerScienceandTechnology,HenanPolytechnicUniversity,Jiaozuo，Henan454000 China ， ZHIHuilai．MultipleOBDD mergingalgorithm undersamevariableordering．ComputerEngineeringandAppli— cations，2014，50(17)：20—23． Abstraet：OrderedBinaryDecisionDiagrams(0BDD)iSaBooleanfunctionrepresentationdatastructure．andhasbeen appliedinmanyfields．Indynamicordistributeenvironment，how toefficientlybuildOBDD ofthetargetBooleanexpres— sionforlTltheknownBooleanexpression’SOBDD iSa~equentencounteredproblem． Underidenticalvariableordering． thispaperputsforwardaOBDD mergingalgorithm basedonShannondecompositionprinciple．Inthealgorithm，itfirstly establishesastoragetableforthetargetBooleanexpression，andthenunderthereversevariableorderingithandleseach variableinturn，andcombinestherowswithsam evalues，untilallthevariablesarehandled． Keywords：OrderedBinaryDecisionDiagrams(OBDD)：identicalvariableordering；multipleOrderedBinary Decision Diagrams(OBDD)merging；Applyalgorithm 摘 要 ：有序决策图(OBDD)是一种用于表示布尔表达式的数据结构，并在许多领域得到了广泛应用。在分布式或 者动态环境下，利用 已知布尔表达式的OBDD构造 目标布尔表达式的OBDD是一个决定实际问题解决效率的关键 问题。基于Shannon分解原理提出了一个同一变量排序下的OBDD合并算法。该算法首先建立 目标布尔表达式的 表存储模型，然后按照变量排序的逆序，依次处理各个变量，并且合并取值相同的行，直到所有变量处理完毕。 关键词：有序决策图(OBDD)；同一变量排序；多有序决策图(OBDD)合并；Apply算法 文献标志码：A 中图分类号：TP18 doi：10．3778~．issn．1002．8331 1 引言 Apply(op，“l，g2) 有序二叉决策图(OrderedBinary DecisionDiagram， 此操作输入表达式U和U，的OBDD，返回表达式U，opU， OBDD)是一种用于表示布尔函数的数据结构 】，是迄 的OBDD，其中op是布尔运算符。 今为止最为有效的符号技术之一。OBDD已经应用在 一 个显而易见的方法是首先构造 1．的OBDD，然 粗糙集属性约简表示 、局部模式挖掘一、并行电力系统 后使用Apply算法求出 A1 的OBDD，最后再一次 恢复 、网络可靠性分析 、约束满足问题求解 等众 使用Apply算法求出的fxv(L^1)的OBDD。显然， 多领域。 上述过程两次