Storing Set Families More Compactly with Top ZDDs

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 done in time polynomial in ZDD size. In some cases, however, the size of ZDDs for representing large set families becomes...

Full description

Bibliographic Details
Main Authors: Kotaro Matsuda, Shuhei Denzumi, Kunihiko Sadakane
Format: Article
Language:English
Published: MDPI AG 2021-05-01
Series:Algorithms
Subjects:
Online Access:https://www.mdpi.com/1999-4893/14/6/172