Abstract

We consider a generalization of the notion of transversal to a finite hypergraph, the so-called weighted transversals. Given a non-negative weight vector assigned to each hyperedge of an input hypergraph and a non-negative threshold vector, we define a weighted transversal as a minimal vertex set which intersects all the hyperedges of except for a sub-family of total weight not exceeding the given threshold vector. Weighted transversals generalize partial and multiple transversals introduced in Boros et al. (SIAM J. Comput. 30 (6) (2001)) and also include minimal binary solutions to non-negative systems of linear inequalities and minimal weighted infrequent sets in databases. We show that the hypergraph of all weighted transversals is dual-bounded, i.e., the size of its transversal hypergraph is polynomial in the number of weighted transversals and the size of the input hypergraph. Our bounds are based on new inequalities of extremal set theory and threshold Boolean logic, which may be of independent interest. For instance, we show that for any row-weighted m×n binary matrix and any threshold weight t, the number of maximal sets of columns whose row support has weight above t is at most m times the number of minimal sets of columns with row support of total weight below t. We also prove that the problem of generating all weighted transversals for a given hypergraph is polynomial-time reducible to the generation of all ordinary transversals for another hypergraph, i.e., to the well-known hypergraph dualization problem. As a corollary, we obtain an incremental quasi-polynomial-time algorithm for generating all weighted transversals for a given hypergraph. This result includes as special cases the generation of all the minimal Boolean solutions to a given system of non-negative linear inequalities and the generation of all minimal weighted infrequent sets of columns for a given binary matrix.

Author Keywords: Boolean programming; Data mining; Dualization; Dual hypergraph; Incremental polynomial time; Intersection inequalities; Minimal infrequent set; Maximal frequent set; Multiple transversal; Partial transversal; Threshold Boolean function

Article Outline

1. Introduction

1.1. Dualization

1.2. Weighted transversals

1.3. Minimal feasible and maximal infeasible binary solutions for systems of monotone linear inequalities

1.4. Partial transversals, unions, maximal frequent and minimal infrequent sets

1.5. Inequalities

2. Generating dual-bounded hypergraphs and the proof of Theorem 1

2.1. Superset oracles

2.2. Dual-bounded hypergraphs

3. Proof of Theorem 2

3.1. Proof of Lemma 1

3.2. Proof of Lemma 2

3.3. Proof of Theorem 2

4. NP-hard generalizations

4.1. Transversals to families of hypergraphs

4.2. Partially feasible binary solutions to monotone systems of linear inequalities

4.3. Generating fairly independent sets and their kernels

4.4. NP-hard and quasi-polynomial generating problems for hypergraphs

Acknowledgements

References