Storing Set Families More Compactly with Top ZDDs

Kotaro Matsuda, Shuhei Denzumi, Kunihiko Sadakane

Zero-suppressed Binary Decision Diagrams (ZDDs) are data structures for representing set families in a compressed form. With ZDDs, many valuable operations on set families can be d…