西林,德特勒夫;英戈·韦格纳 在线性时间内减少OBDD。 (英语) Zbl 0787.94027号 信息处理。莱特。 48,第3期,139-144(1993). 摘要:有序二元决策图(OBDD)作为布尔函数的数据结构发挥着重要作用。例如,在逻辑合成过程中,它们用于验证和测试模式生成,并作为CAD工具的一部分。对于给定的变量顺序和给定的布尔函数(f),约化的OBDD,即最小尺寸OBDD是唯一的(直到同构),并且可以从任何OBDD(G)中计算出时间为(O(|G|\log|G|)的大小为(|G|。提出了一种适用于最优线性时间(O(|G|))的新约简算法。 引用于22文件 MSC公司: 94立方厘米10 交换理论,布尔代数的应用;布尔函数(MSC2010) 68第05页 数据结构 第68季度25 算法和问题复杂性分析 关键词:有序二元决策图;布尔函数的数据结构;验证;测试模式生成 PDF格式BibTeX公司 XML格式引用 \textit{D.Sieling}和\textit{I.Wegener},Inf.过程。莱特。48,第3号,139-144(1993年;兹bl 0787.94027) 全文: 内政部 参考文献: [1] Aho,A.V。;霍普克罗夫特,J.E。;Ullmann,J.D.,《计算机算法的设计与分析》(1974),艾迪森·韦斯利:艾迪森·韦斯利阅读,马萨诸塞州 [2] Akers,S.B.,二进制决策图,IEEE Trans。计算。,27, 509-516 (1978) ·兹伯利0377.94038 [3] Brace,K.S。;Rudell,R.L。;Bryant,R.E.,《BDD包的高效实施》,Proc。第27届ACM/IEEE设计自动化大会,40-45(1990) [4] Bryant,R.E.,使用图形表示法对布尔函数进行符号操作,Proc。第22届ACM/IEEE设计自动化大会,688-694(1985) [5] Bryant,R.E.,布尔函数操作的基于图形的算法,IEEE Trans。计算。,35, 677-691 (1986) ·Zbl 0593.94022号 [6] 北石村。;Sawada,H。;Yajima,S.,基于变量交换的二元决策图最小化,Proc。IEEE国际。计算机辅助设计ICCAD会议,472-475(1991) [7] Ladner,R.,《电路值问题是对数空间完备的》,ACM SIGACT News,18-20(1975) [8] Lee,C.Y.,用二进制决策程序表示开关电路,贝尔系统技术杂志,38,985-999(1959)·Zbl 0222.94042号 此参考列表基于出版商或数字数学图书馆提供的信息。它的项目与zbMATH标识符启发式匹配,并且可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。