In mathematics, given a collection of subsets of a set X, an exact cover is a subcollection of such that each element in X is contained in exactly one subset in . One says that each element in X is covered by exactly one subset in . An exact cover is a kind of cover.
In computer science, the exact cover problem is a decision problem to find an exact cover or else determine none exists. The exact cover problem is NP-complete and is one of Karp's 21 NP-complete problems. The exact cover problem is a kind of constraint satisfaction problem.
An exact cover problem can be represented by an incidence matrix or a bipartite graph.
Knuth's Algorithm X is an algorithm that finds all solutions to an exact cover problem. Dancing Links, commonly known as DLX, is the technique suggested by Donald Knuth to efficiently implement his Algorithm X on a computer.
The standard exact cover problem can be generalized slightly to involve not only "exactly one" constraints but also "at-most-one" constraints.
Finding Pentomino tilings and solving Sudoku are noteworthy examples of exact cover problems. The N queens problem is a slightly generalized exact cover problem.
Read more about Exact Cover: Formal Definition, Representations, Equivalent Problems, Exact Hitting Set, Finding Solutions, Generalizations, Noteworthy Examples
Famous quotes containing the words exact and/or cover:
“Since we are assured that the all-wise Creator has observed the most exact proportions of number, weight and measure in the make of all things, the most likely way therefore to get any insight into the nature of those parts of the Creation which come within our observation must in all reason be to number, weigh and measure.”
—Stephen Hales (1677–1761)
“Every man alone is sincere. At the entrance of a second person, hypocrisy begins. We parry and fend the approach of our fellow-man by compliments, by gossip, by amusements, by affairs. We cover up our thought from him under a hundred folds.”
—Ralph Waldo Emerson (1803–1882)