在计算机科学中，二元决策图（），或译为二元判定图，是被用来表达一个布尔函数的一种数据结构。
延伸阅读
- 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. [http://www-cs-faculty.stanford.edu/~knuth/fasc1b.ps.gz Draft of Fascicle 1b] available for download.
- H. R. Andersen "[https://web.archive.org/web/20140222052815/http://configit.com/configit_wordpress/wp-content/uploads/2013/07/bdd-eap.pdf An Introduction to Binary Decision Diagrams,]" Lecture Notes, 1999, IT University of Copenhagen.
- Ch. Meinel, T. Theobald, "[http://www.hpi.uni-potsdam.de/fileadmin/hpi/FG_ITS/books/OBDD-Book.pdf Algorithms and Data Structures in VLSI-Design: OBDD – Foundations and Applications"], Springer-Verlag, Berlin, Heidelberg, New York, 1998. Complete textbook available for download.
*
*
外部链接
Available OBDD Packages
- [http://fmv.jku.at/abcd/ ABCD]: The ABCD package by Armin Biere, Johannes Kepler Universität, Linz.
- [http://www-2.cs.cmu.edu/~modelcheck/bdd.html CMU BDD], BDD package, Carnegie Mellon University, Pittsburgh
- [http://buddy.sourceforge.net/manual/ BuDDy]: A BDD package by Jørn Lind-Nielsen
- [http://biddy.meolic.com/ Biddy]: Academic multiplatform BDD package, University of Maribor
- [https://web.archive.org/web/20080603164118/http://vlsi.colorado.edu/~fabio/CUDD/ CUDD]: BDD package, University of Colorado, Boulder
- [http://javabdd.sourceforge.net JavaBDD], a Java port of BuDDy that also interfaces to CUDD, CAL, and JDD
- [http://javaddlib.sourceforge.net/jdd/ JDD] is a pure java implementation of BDD and ZBDD. [http://javaddlib.sourceforge.net/jbdd/ JBDD] by the same author has a similar API but is a Java interface to BuDDy and CUDD
- The Berkeley [https://web.archive.org/web/20140223023856/http://embedded.eecs.berkeley.edu/Research/cal_bdd/ CAL] package which does breadth-first manipulation
- [http://ddd.lip6.fr DDD]: A C++ library with support for integer valued and hierarchical decision diagrams.
- [https://archive.today/20130105201510/http://www.jossowski.de/projects/jinc/jinc.html JINC]: A C++ library developed at University of Bonn, Germany, supporting several BDD variants and multi-threading.
- [https://web.archive.org/web/20111101143950/http://myvideos.stanford.edu/player/slplayer.aspx?coll=ea60314a-53b3-4be2-8552-dcf190ca0c0b&co=18bcd3a8-965a-4a63-a516-a1ad74af1119&o=true Fun With Binary Decision Diagrams (BDDs)], lecture by Donald Knuth
评论 (0)