Extracting co-occurrence relations from ZDDs
Summary: A zero-suppressed binary decision diagram (ZDD) is a graph representation suitable for handling sparse set families. Given a ZDD representing a set family, we present an efficient algorithm to discover a hidden structure, called a co-occurrence relation, on the ground set. This computation can be done in time complexity that is related not to the number of sets, but to some feature values of the ZDD. We furthermore introduce a conditional co-occurrence relation and present an extraction algorithm, which enables us to discover further structural information.
- Binary Decision Diagrams
- Graph-Based Algorithms for Boolean Function Manipulation
- scientific article; zbMATH DE number 437527 (Why is no real title available?)
- Partially-shared zero-suppressed multi-terminal BDDs: Concept, algorithms and applications
- The art of computer programming. Volume 4A. Combinatorial algorithms. Part 1.
This page was built for publication: Extracting co-occurrence relations from ZDDs
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1736536)