Covering problems

In

Covering Problems allows the covering primitives to overlap, If you want to cover something with primitives that don't overlap is called Decomposition_(disambiguation)

General linear programming formulation

In the context of

minimize	${\displaystyle \sum _{i=1}^{n}c_{i}x_{i}}$
subject to	${\displaystyle \sum _{i=1}^{n}a_{ji}x_{i}\geq b_{j}{\text{ for }}j=1,\dots ,m}$
	${\displaystyle x_{i}\in \left\{0,1,2,\ldots \right\}{\text{ for }}i=1,\dots ,n}$.

Such an integer linear program is called a covering problem if ${\displaystyle a_{ji},b_{j},c_{i}\geq 0}$ for all ${\displaystyle i=1,\dots ,n}$ and ${\displaystyle j=1,\dots ,m}$.

Intuition: Assume having ${\displaystyle n}$ types of object and each object of type ${\displaystyle i}$ has an associated cost of ${\displaystyle c_{i}}$. The number ${\displaystyle x_{i}}$ indicates how many objects of type ${\displaystyle i}$ we buy. If the constraints ${\displaystyle A\mathbf {x} \geq \mathbf {b} }$ are satisfied, it is said that ${\displaystyle \mathbf {x} }$ is a covering (the structures that are covered depend on the combinatorial context). Finally, an optimal solution to the above integer linear program is a covering of minimal cost.

Kinds of covering problems

There are various kinds of covering problems in graph theory, computational geometry and more; see Category:Covering problems. Other stochastic related versions of the problem can be found.^[2]

Covering in Petri nets

For Petri nets, the covering problem is defined as the question if for a given marking, there exists a run of the net, such that some larger (or equal) marking can be reached. Larger means here that all components are at least as large as the ones of the given marking and at least one is properly larger.

Rainbow covering

In some covering problems, the covering should satisfy some additional requirements. In particular, in the rainbow covering problem, each of the original objects has a "color", and it is required that the covering contains exactly one (or at most one) object of each color. Rainbow covering was studied e.g. for covering points by intervals:^[3]

• There is a set J of n colored intervals on the
  real line
  , and a set P of points on the real line.
• A subset Q of J is called a rainbow set if it contains at most a single interval of each color.
• A set of intervals J is called a covering of P if each point in P is contained in at least one interval of Q.
• The Rainbow covering problem is the problem of finding a rainbow set Q that is a covering of P.

The problem is

Conflict-free covering

A more general notion is conflict-free covering.^[4] In this problem:

• There is a set O of m objects, and a conflict-graph G_O on O.
• A subset Q of O is called conflict-free if it is an independent set in G_O, that is, no two objects in Q are connected by an edge in G_O.
• A rainbow set is a conflict-free set in the special case in which G_O is made of disjoint cliques, where each clique represents a color.

Conflict-free set cover is the problem of finding a conflict-free subset of O that is a covering of P. Banik, Panolan, Raman, Sahlot and Saurabh^[5] prove the following for the special case in which the conflict-graph has bounded arboricity:

• If the geometric cover problem is
  fixed-parameter
  tractable (FPT), then the conflict-free geometric cover problem is FPT.
• If the geometric cover problem admits an r-approximation algorithm, then the conflict-free geometric cover problem admits a similar approximation algorithm in FPT time.

References