Machine learningSymbolic Computation

二元决策图

二元决策图（Binary Decision Diagrams, BDDs）是Randal Bryant于1986年开发的布尔函数的一种规范的、内存高效的表示方法。BDD是一个有向无环图，编码了所有的变量赋值和结果；简化的BDD对于每个函数都是唯一的，并在模型检查、电路设计和符号计算中实现组合逻辑的高效操作。

在 MethodMind 中打开即将推出视频即将推出Download slides

阅读完整方法

仅限会员

使用免费账户登录即可阅读本节。

来源

Bryant, R. E. (1986). Graph-based algorithms for Boolean function manipulation. IEEE Transactions on Computers, 35(8), 677–691. DOI: 10.1109/TC.1986.1676819 ↗
Andersen, H. R. (1997). An introduction to binary decision diagrams. Technical Report, IT University of Copenhagen. link ↗
Becker, B., & Drechsler, R. (1998). Binary Decision Diagrams: Theory and Implementation. Kluwer. ISBN: 0792380185

如何引用本页

ScholarGate. (2026, June 3). Binary Decision Diagram (BDD). ScholarGate. https://scholargate.app/zh/numerical-methods/binary-decision-diagram

发现本页有问题？报告或提出修改建议 →