二元決策圖

在電腦科學中，二元決策圖（英語：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