A transversal of a hypergraph is a set of vertices intersecting each hyperedge. We design and analyze new exponentialtime polynomial-space algorithms to enumerate all inclusion-minimal transversals of a hypergraph. For each fixed k ≥ 3, our algorithms for hypergraphs of rank k, where the rank is the maximum size of a hyperedge, outperform the previous best. This also implies improved upper bounds on the maximum number of minimal transversals in n-vertex hypergraphs of rank k ≥ 3. Our main algorithm is a branching algorithm whose running time is analyzed with Measure and Conquer. It enumerates all minimal transversals of hypergraphs of rank 3 in time O(1.6755n). Our enumeration algorithms improve upon the best known algorithms for counting minimum transversals in hypergraphs of rank k for k ≥ 3 and for computing a minimum transversal in hypergraphs of rank k for k ≥ 6.
CITATION STYLE
Cochefert, M., Couturier, J. F., Gaspers, S., & Kratsch, D. (2016). Faster algorithms to enumerate hypergraph transversals. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 9644, pp. 306–318). Springer Verlag. https://doi.org/10.1007/978-3-662-49529-2_23
Mendeley helps you to discover research relevant for your work.