Enumeration of Minimal Hitting Sets Parameterized by Treewidth
Abstract
Enumerating the minimal hitting sets of a hypergraph is a problem which arises in many data management applications that include constraint mining, discovering unique column combinations, and enumerating database repairs. Previously, Eiter et al. showed that the minimal hitting sets of an $n$-vertex hypergraph, with treewidth $w$, can be enumerated with delay $O^*(n^{w})$ (ignoring polynomial factors), with space requirements that scale with the output size. We improve this to fixed-parameter-linear delay, following an FPT preprocessing phase. The memory consumption of our algorithm is exponential with respect to the treewidth of the hypergraph.
- Publication:
-
arXiv e-prints
- Pub Date:
- August 2024
- DOI:
- 10.48550/arXiv.2408.15776
- arXiv:
- arXiv:2408.15776
- Bibcode:
- 2024arXiv240815776K
- Keywords:
-
- Computer Science - Databases;
- Computer Science - Data Structures and Algorithms
- E-Print:
- To appear in ICDT 2025