A covering design, or covering, is a family of -subsets, called blocks, chosen from a -set, such that each -subset is contained in at least one of the blocks. The number of blocks is the covering’s size, and the minimum size of such a covering is denoted by .
The problem has applications in file design, but is also known at the "lottery cover problem", for its strategic application in playing lotteries.
Current "best" covers have been collected by Dan Gordon.
The trivial lower bound is . When equality holds, the resulting design is called a Steiner system, and often denoted . If exists, so does : just remove all occurrences of a point from the blocks containing it, and discard the blocks that didn't contain it before the deletion.
Bibliography
J. Schönheim, On coverings, Pacific Journal of Mathematics, 14:1405–1411, 1964.
Daniel M. Gordon, Oren Patashnik, Greg Kuperberg (1995) New constructions for covering designs, J. Combinatorial Designs 3(4), 269-284.
D. T. Todorov. Combinatorial Coverings. PhD thesis, University of Sofia, 1985.
* indicates original appearance(s) of problem.