埃德蒙·克拉克（Edmund M.Clarke）。;Masahiro Fujita;赵旭东 多终端二进制决策图和混合决策图。 （英语） Zbl 0855.94028号 Sasao，Tsutomu（编辑）等，离散函数的表示。关于Reed-Muller扩展在电路设计中的应用的IFIP WG 10.5研讨会会议记录（Reed-Miller’95），日本千叶马库哈里。马萨诸塞州波士顿：Kluwer学术出版社。93-108 (1996). 二进制决策图经常被用作将二进制值的向量映射到整数的函数的表示和操作的数据结构。它们已成功应用于算术和超大规模集成电路的计算机辅助设计和验证。在这里，作者展示了如何使用多端二进制决策图来表示沃尔什变换和里德-穆勒变换，以表示变量数量比之前考虑的变量数量更多的函数。提出了一种新的决策图模型，该模型通常提供简洁的描述。关于整个系列，请参见[Zbl 0841.00020号].审核人：J.Hromković（基尔） 引用于1审查引用于1文件 MSC公司： 94立方厘米 交换理论，布尔代数的应用；布尔函数（MSC2010） 68问题65 抽象数据类型；代数规范 68问题30 算法信息理论（Kolmogorov复杂性等） 关键词：数据结构;函数表示法;多终端二进制决策图;沃尔什变换;Reed-Muller变换 PDF格式BibTeX公司 XML格式引用 \textit{E.M.Clarke}等人，in：离散函数的表示。关于Reed-Muller扩展在电路设计中的应用的IFIP WG 10.5研讨会会议记录（Reed-Miller’95），日本千叶马库哈里。马萨诸塞州波士顿：Kluwer学术出版社。93——108（1996年；Zbl 0855.94028）