贝特·博利格；Niko系列；英戈·韦格纳 一些基本函数的精确OBDD边界。 （英语） Zbl 1204.68076号 理论计算。系统。 47，第2期，593-609（2010）. 摘要：有序二进制决策图（OBDD）是当今布尔函数最常见的动态数据结构或表示类型之一。在许多应用领域中，包括验证、模型检查、计算机辅助设计、关系代数和符号图算法。虽然布尔函数的OBDD大小的许多指数下限已知，但只有少数函数的OBDD大小是渐近精确已知的。本文确定了基本函数多路复用器的确切OBDD大小和位数的加法。 引用于5文件 MSC公司： 68第05页 数据结构 2017年第68季度 问题的计算难度（下限、完备性、近似难度等） 关键词：计算复杂性；下限；有序二元决策图 PDF格式BibTeX公司 XML格式引用 \textit{B.Bollig}等人，理论计算。系统。47，第2号，593--609（2010；Zbl 1204.68076） 全文： 内政部 参考文献： [1] Bollig，B.：直接存储访问功能的最佳只读分支程序复杂性。信息处理。莱特。106, 171–174 (2008) ·Zbl 1186.68195号 ·doi:10.1016/j.ipl.2007.11.009 [2] Bollig，B.，Wegener，I.：OBDD的渐近最优界和一些基本OBDD问题的解决方案。J.计算。系统。科学。61, 558–579 (2000) ·Zbl 0970.68041号 ·doi:10.1006/jcss.2000.1733 [3] Bryant，R.E.：布尔函数操作的基于图形的算法。IEEE传输。计算。35, 677–691 (1986) ·Zbl 0593.94022号 ·doi:10.1109/TC.1986.1676819 [4] Hromković，J.：通信复杂性和并行计算。柏林施普林格（1997） [5] Kushilevitz，E.，Nisan，N.：通信复杂性。剑桥大学出版社，剑桥（1997）·Zbl 0869.68048号 [6] Sieling，D.，Wegener，I.：二元决策图操作的NC-算法。并行过程。莱特。48, 139–144 (1993) [7] Wegener，I.：布尔函数的复杂性。威利，纽约（1987）·Zbl 0623.94018号 [8] Wegener，I.：分支程序和二元决策图——理论和应用。SIAM离散数学与应用专著。SIAM，费城（2000）·Zbl 0956.68068号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。