二元决策图

在计算机科学中，二元决策图（英语：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, 互联网档案馆） 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