The minimal hitting set generation problem: algorithms and computation

01/05/2016
by   Andrew Gainer-Dewar, et al.
0

Finding inclusion-minimal "hitting sets" for a given collection of sets is a fundamental combinatorial problem with applications in domains as diverse as Boolean algebra, computational biology, and data mining. Much of the algorithmic literature focuses on the problem of *recognizing* the collection of minimal hitting sets; however, in many of the applications, it is more important to *generate* these hitting sets. We survey twenty algorithms from across a variety of domains, considering their history, classification, useful features, and computational performance on a variety of synthetic and real-world inputs. We also provide a suite of implementations of these algorithms with a ready-to-use, platform-agnostic interface based on Docker containers and the AlgoRun framework, so that interested computational scientists can easily perform similar tests with inputs from their own research areas on their own computers or through a convenient Web interface.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
04/12/2016

Separating Sets of Strings by Finding Matching Patterns is Almost Always Hard

We study the complexity of the problem of searching for a set of pattern...
research
08/14/2019

Complexity of universal access structures

An important parameter in a secret sharing scheme is the number of minim...
research
11/17/2017

Exploring the Use of Shatter for AllSAT Through Ramsey-Type Problems

In the context of SAT solvers, Shatter is a popular tool for symmetry br...
research
09/18/2020

Efficient Constant-Factor Approximate Enumeration of Minimal Subsets for Monotone Properties with Cardinality Constraints

A property Π on a finite set U is monotone if for every X ⊆ U satisfying...
research
03/18/2019

Diversity in Combinatorial Optimization

When modeling an application of practical relevance as an instance of a ...
research
05/31/2020

How to Recognize Actionable Static Code Warnings (Using Linear SVMs)

Static code warning tools often generate warnings that programmers ignor...
research
11/15/2017

PQSER: A Matlab package for spectral seriation

The seriation problem is an important ordering issue which consists of f...

Please sign up or login with your details

Forgot password? Click here to reset