二元决策图

维基百科,自由的百科全书
跳转至: 导航搜索

计算机科学中,二元决策图英语binary decision diagram, BDD),或译为二元判定图,是被用来表达一个布尔函数的一种数据结构

延伸阅读[编辑]

外部链接[编辑]

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