二元決策圖

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