法比奥·萨蒙齐 二进制决策图。 （英语） Zbl 0948.68215号 Broy，Manfred（编辑）等人，《计算系统设计》。1998年7月28日至8月9日，德国马克托伯多夫第19届国际暑期学校会议记录。阿姆斯特丹：IOS出版社。北约ASI系列。，序列号。F、 计算。系统。科学。303-366 (1999). 二元决策图允许对命题公式或等价的布尔函数进行表示和操作。同时，它们在计算机科学的几个领域中的应用也是经典的：硬件验证、时序（即有限状态）电路的测试和优化、模型检查、逻辑电路的优化、图形算法。本文详细介绍了这一主题。在对二元决策图进行了精确定义之后，本文证明了它们的规范性。接下来，对操作这些图的算法进行了详细描述，并讨论了它们的时间复杂性。接下来的一节专门讨论变量顺序对图表大小的影响。最后，通过对时序电路验证的广泛讨论，说明了二进制决策图的使用。这篇论文是精确的，包括了例如定理的证明。由于有大量的评论和大量的简单示例，本文很容易阅读。它不需要特定的背景知识。不幸的是，一些小的缺陷——例如使用尚未定义的符号——不必要地损害了流畅的阅读。这篇论文可能会推荐给所有希望对二元决策图进行清晰、权威且易于阅读的介绍的人。关于整个系列，请参见[Zbl 0919.00073号].审核人：J.Loeckx（科伦） 引用于12文件 理学硕士： 68单位99 计算方法和应用 68兰特 计算机科学中的图论（包括图形绘制） 68瓦05 非数值算法 关键词：二元决策图;命题公式;布尔函数;硬件验证;模型检查;测试;顺序电路;逻辑电路;图形算法 PDF格式BibTeX公司 XML格式引用 \textit{F.Somenzi}，北约ASI Ser。，序列号。F、 计算。系统。科学。303-366、303-366（1999年；兹bl 0948.68215）