Number of Minimal Hypergraph Transversals and Complexity of IFM with Infrequency: High in Theory, but Often Not so Much in Practice!

Document Type

Conference Proceeding

Publication Date



Hypergraph Dualization (also called as hitting set enumeration) is the problem of enumerating all minimal transversals of a hypergraph , i.e., all minimal inclusion-wise hyperedges (i.e., sets of vertices) that intersect every hyperedge in . Dualization is at the core of many important Artificial Intelligence (AI) problems. As a contribution to a better understanding of Dualization complexity, this paper introduces a tight upper bound to the number of minimal transversals that can be computed in polynomial time. In addition, the paper presents an interesting exploitation of the upper bound to the number of minimal transversals. In particular, the problem dealt with is characterizing the complexity of the data mining problem called IFMI (Inverse Frequent itemset Mining with Infrequency constraints), that is the problem of finding a transaction database whose frequent and infrequent itemsets satisfy a number of frequency/infrequency patterns given in input.


AI*IA 2019 - Advances in Artificial Intelligence: XVIIIth International Conference of the Italian Association for Artificial Intelligence, Rende, Italy, November 19-22, 2019, Proceedings is volume 11946 of the Lecture Notes in Computer Science book series.