二元决策图

在计算机科学中，二元决策图（），或译为二元判定图，是被用来表达一个布尔函数的一种数据结构。

延伸阅读 
 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.

外部链接 

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

布尔代数
图表
数据结构