Covering problems

From HandWiki - Reading time: 3 min


In combinatorics and computer science, covering problems are computational problems that ask whether a certain combinatorial structure 'covers' another, or how large the structure has to be to do that. Covering problems are minimization problems and usually linear programs, whose dual problems are called packing problems.

The most prominent examples of covering problems are the set cover problem, which is equivalent to the hitting set problem, and its special cases, the vertex cover problem and the edge cover problem.

General LP formulation

In the context of linear programming, one can think of any linear program as a covering problem if the coefficients in the constraint matrix, the objective function, and right-hand side are nonnegative.[1] More precisely, consider the following general integer linear program:

minimize i=1ncixi
subject to i=1naijxibj for j=1,,m
xi0 for i=1,,n.

Such an integer linear program is called covering problem if aij,bj,ci0 for all i=1,,n and j=1,,m.

Intuition: Assume having n types of object and each object of type i has an associated cost of ci. The number xi indicates how many objects of type i we buy. If the constraints A𝐱𝐛 are satisfied, it is said that 𝐱 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.

Other uses

For Petri nets, for example, 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.

See also

Notes

  1. (Vazirani 2001)
  2. Martinez, Rebecca (1 March 2014). "March Puzzle". Triad Mensa 8 (3): 2. http://www.triad.us.mensa.org/pdfs2010/Mar14TM.pdf. Retrieved 20 April 2017. 

References

  • Vazirani, Vijay V. (2001). Approximation Algorithms. Springer-Verlag. ISBN 3-540-65367-8. 





Licensed under CC BY-SA 3.0 | Source: https://handwiki.org/wiki/Covering_problems
22 views |
↧ Download this article as ZWI file
Encyclosphere.org EncycloReader is supported by the EncyclosphereKSF