二元決策圖
![本頁使用了標題或全文手工轉換](http://images.weserv.nl/?url=//upload.wikimedia.org/wikipedia/commons/thumb/c/cd/Zh_conversion_icon_m.svg/35px-Zh_conversion_icon_m.svg.png)
在計算機科學中,二元決策圖(英語: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