Compression with wildcards: All exact, or all minimal hitting sets

08/20/2020
by   Marcel Wild, et al.
0

Our main objective is the COMPRESSED enumeration (based on wildcards) of all minimal hitting sets of general hypergraphs. To the author's best knowledge the only previous attempt towards compression, due to Toda [T], is based on BDD's and much different from our techniques. Preliminary numerical experiments show that traditional one-by-one enumeration schemes cannot compete against compressed enumeration when the degree of compression is high. Despite the fact that thorough numerical experiments are postponed to a later version of our article, several tools to enhance compression (inclusion-exclusion, a matroid theorem of Rado, or adding dual kinds of wildcards) are put in place and their pros and cons are evaluated. Nevertheless, classic one-by-one enumeration is not neglected. Corollary 2 states that under mild provisos all perfect matchings of a graph can be enumerated in polynomial total time. Likewise all minimal edge-covers of a graph (Corollary 6). Furthermore, enumerating all minimal hypergraph transversals is fixed-parameter tractable for novel types of parameters (Corollary 5 and 4.6.3). Exact hitting sets constitute only a 'side show' but we start with them by pedagogical reasons: Our wildcard method is more clear-cut for exact hitting sets than for minimal hitting sets.

READ FULL TEXT

page 1

page 2

page 3

page 4

06/30/2019

Minimal bricks

A brick is a 3-connected graph such that the graph obtained from it by d...
06/12/2020

SMS in PACE 2020

We describe SMS, our submission to the exact treedepth track of PACE 202...
12/16/2020

Listing Small Minimal Separators of a Graph

Let G be a graph and a,b vertices of G. A minimal a,b-separator of G is ...
05/03/2018

On the Enumeration of Minimal Hitting Sets in Lexicographical Order

It is a long-standing open problem whether there exists an output-polyno...
12/28/2020

Bounded-Degree Cut is Fixed-Parameter Tractable

In the bounded-degree cut problem, we are given a multigraph G=(V,E), tw...
02/16/2022

Practical Network Acceleration with Tiny Sets

Network compression is effective in accelerating the inference of deep n...