×

兹马思-数学第一资源

分支程序和二进制决策图。理论与应用。(英语) Zbl 0956.68068
分支程序,BPs(或者,同义的,二进制决策图,bdd)是表示布尔函数的一种重要方法,在过去的十年里非常流行。它们的吸引力源于两个事实:从理论的角度来看,分支程序的研究有助于更广泛地研究布尔函数的复杂性,布尔函数是理论计算机科学和离散数学中极为重要的领域。第二,分支程序与应用计算机科学相关,因为当布尔函数作为分支程序给出时,可以有效地执行对布尔函数的一些重要操作。这些操作包括评价、综合、可满足性检验、等价性检验或最小化。因此,分支程序可以作为布尔函数的良好数据结构。
这两个动机的研究BPs遵循在书中。在对该领域进行了一章的介绍之后,本书的第一部分共有十一章,介绍了理论成果。不同的章节处理不同类型的分支程序,例如(最显著的)OBDDs(有序bdd)、read once bdd、随机化bdd等等。所介绍的主题包括操作BPs的有效算法、重要问题的BDD大小的上界(如加法、乘法、除法、存储访问)以及下界。第一部分总结了理论结果,包括BDDs算法的时间复杂度表、不同类型bdd的函数w.r.t.大小的上下界列表,以及OBDDs和free bdd定义的复杂度类之间的两个包含图。
本书的第二部分由三章组成,介绍了BDDs的应用,包括电路验证、模型检查、逻辑最小化和综合等。
当然,这本书主要是作为研究者的专著,作者也概述了如何根据书的内容教授理论倾向和实践导向的课程。同样为了这个目的,每一章的结尾都有一些练习题,评分为“E”(简单)、“M”(中)或“D”(难)。同样有用的还有网页的网址,其中包含练习的解决方案和不断更新的错误和打字错误列表。
只有很少的书专门讨论分支程序的主题,仅此一点就可以使这本书成为一个受欢迎的贡献。但远不止于此:这本书的范围非常广泛,在展示了过去几年出现的分支程序的所有奇妙的复杂性结果的同时(书目中的绝大多数论文都是最近在上个世纪90年代后半期发表的),作者并没有忽视申请。这本书将非常欢迎计算机科学家和数学家谁寻找一个全面的介绍分支程序的理论,并希望得到一个可能的应用程序的快速概述。

理学硕士:
68问25 算法与问题复杂度分析
68-01年 与计算机科学有关的介绍性说明(教科书、教程论文等)
PDF格式 BibTeX公司 XML 引用
全文: 内政部