Suvarna Garge (Editor)

Zero suppressed decision diagram

Updated on
Edit
Like
Comment
Share on FacebookTweet on TwitterShare on LinkedInShare on Reddit
Zero-suppressed decision diagram ashutoshmehranetblogwpcontentuploads200812

A zero-suppressed decision diagram (ZSDD or ZDD) is a type of binary decision diagram (BDD) where instead of nodes being introduced when the positive and the negative part are different, they are introduced when positive part is different from constant 0. A zero-suppressed decision diagram is also commonly referred to as a zero-suppressed binary decision diagram (ZBDD).

They are useful when dealing with functions that are almost everywhere 0.

In a 2011 talk "All Questions Answered", Donald Knuth referred to ZDD as the most beautiful construct in computer science.

In The Art of Computer Programming, volume 4, Knuth introduces his Simpath algorithm for constructing a ZDD representing all simple paths between two vertices in a graph.

Available packages

  • CUDD: A BDD package written in C that implements BDDs and ZBDDs, University of Colorado, Boulder
  • JDD, A java library that implements common BDD and ZBDD operations
  • Graphillion, A ZDD software implementation based on Python
  • [1], A CWEB ZDD implementation by Donald Knuth.

    • References

    Zero-suppressed decision diagram Wikipedia
    (Text) CC BY-SA