二元决策图

在电脑科学中，二元决策图（英语：binary decision diagram, BDD），或译为二元判定图，是被用来表达一个布尔函数的一种数据结构。

延伸阅读

D. E. Knuth, "The Art of Computer Programming Volume 4, Fascicle 1: Bitwise tricks & techniques; Binary Decision Diagrams" (Addison–Wesley Professional, March 27, 2009) viii+260pp, ISBN 0-321-58050-8. Draft of Fascicle 1b（页面存档备份，存于互联网档案馆） available for download.
H. R. Andersen "An Introduction to Binary Decision Diagrams," Lecture Notes, 1999, IT University of Copenhagen.
Ch. Meinel, T. Theobald, "Algorithms and Data Structures in VLSI-Design: OBDD – Foundations and Applications"（页面存档备份，存于互联网档案馆）, Springer-Verlag, Berlin, Heidelberg, New York, 1998. Complete textbook available for download.
Rüdiger Ebendt; Görschwin Fey; Rolf Drechsler. Advanced BDD optimization. Springer. 2005. ISBN 978-0-387-25453-1.
Bernd Becker; Rolf Drechsler. Binary Decision Diagrams: Theory and Implementation. Springer. 1998. ISBN 978-1-4419-5047-5.

Available OBDD Packages

ABCD（页面存档备份，存于互联网档案馆）: The ABCD package by Armin Biere, Johannes Kepler Universität, Linz.
CMU BDD（页面存档备份，存于互联网档案馆）, BDD package, Carnegie Mellon University, Pittsburgh
BuDDy（页面存档备份，存于互联网档案馆）: A BDD package by Jørn Lind-Nielsen
Biddy（页面存档备份，存于互联网档案馆）: Academic multiplatform BDD package, University of Maribor
CUDD: BDD package, University of Colorado, Boulder
JavaBDD（页面存档备份，存于互联网档案馆）, a Java port of BuDDy that also interfaces to CUDD, CAL, and JDD
JDD（页面存档备份，存于互联网档案馆） is a pure java implementation of BDD and ZBDD. JBDD（页面存档备份，存于互联网档案馆） by the same author has a similar API but is a Java interface to BuDDy and CUDD
The Berkeley CAL package which does breadth-first manipulation
DDD（页面存档备份，存于互联网档案馆）: A C++ library with support for integer valued and hierarchical decision diagrams.
JINC: A C++ library developed at University of Bonn, Germany, supporting several BDD variants and multi-threading.
Fun With Binary Decision Diagrams (BDDs), lecture by Donald Knuth