×

在线性时间内减少OBDD。 (英语) Zbl 0787.94027号

摘要:有序二元决策图(OBDD)作为布尔函数的数据结构发挥着重要作用。例如,在逻辑合成过程中,它们用于验证和测试模式生成,并作为CAD工具的一部分。对于给定的变量顺序和给定的布尔函数(f),约化的OBDD,即最小尺寸OBDD是唯一的(直到同构),并且可以从任何OBDD(G)中计算出时间为(O(|G|\log|G|)的大小为(|G|。提出了一种适用于最优线性时间(O(|G|))的新约简算法。

MSC公司:

94立方厘米10 交换理论,布尔代数的应用;布尔函数(MSC2010)
68第05页 数据结构
第68季度25 算法和问题复杂性分析
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参考文献:

[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的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。