《一类新型抽象数据类型：有序二叉决策图》.pdfVIP

第 3O卷 第 5期 桂 林 电 子 科 技 大 学 学 报 Vo1．30，No．5 2010年 1O月 JournalofGuilinUniversityofElectronicTechnology 0ct．2O10 一 类新型抽象数据类型 ：有序二叉决策图 古天龙 (桂林电子科技 大学 计 算机科 学与工程 学院，广西 桂林 541004) 摘 要：行序二叉决策图0BDD(0rderedBinaryDecisionDiagram)是布尔函数的一种规范表达形式、一种的新的数 据结构。基于 OBDD能够完成布尔 函数的有效表述和操作运算 ，可 以看作为一类新的抽 象数据类型。OBDD在 VLSI逻辑综合和验证的成功应用结果引起 了学术界和工业应用界 的极大关注 。迄今为止 ，OBDD技术及其工业 应用 已有 ．厂长足的发展 、产生了不少 的研究结果 。本文对 OBDD相关技术问题 、OBDD扩展形式 、OBDD应用等方 面的研究现状进行 了综述和讨论 。 关键词 ：有序二叉决策图；抽象数据类型 ；数据结构 ；符号技术 ；布尔 函数 中图分类号：TP311．12 文献标识码：B 文章编号 ：1673—808X(2010)05—0374—15 Thenovelabstractdatatype：orderedbinarydecision diagrams GuTianlong (SchoolofComputerScienceandEngineering，GuilinUniversityofElectronicTechnology，Guilin541004．China) Abstract：Anorderedbinarydecisiondiagram (OBDD)isacanonicalandgraphicform ofaBooleanfunction，andis alsoconsideredasanew kindofdatastructure．Using0BDDs，Bo oleanfunetionscanbenotonlyrepresentedbutal— SOmanipulatedinveryefficientway．Thus，OBDDscanbeconsideredasakindofabstractdatetype．Theapplica— tionof0BDD toVLSIverificationattractedtheattentionandrenewedtheinterestedofmanyresearchers．Sofar，a largenumberofthebasicOBDDconcepthavebeensuggested，andnumerousapplicationsinmanyareassuchasVL— SICAD，AIplanning，symbolicscheduling，PetriNetsanalysis，anddiscreteeventdynamicsystems，havebeen found．Thispaperprovidesabriefoverview ofthestateoftheartinOBDDsanditsapplications．Basicpropertiesof OBDD arediscussed，and manipulationalgorithmsaredescribed．Theorderofvariablesinan OBDD hasagreat effectonitssize。andsomerecentprogressesofvariableorderproblemsareexplained．Variantsof0BDDscanim— provetheefficiencyofmanipulationand