Exact Cover - Exact Hitting Set

In mathematics, given a collection of subsets of a set X, an exact hitting set X* is a subset of X such that each subset in contains exactly one element in X*. One says that each subset in is hit by exactly one element in X*.

In computer science, the exact hitting set problem is a decision problem to find an exact hitting set or else determine none exists.

The exact hitting set problem is an abstract exact cover problem. In the notation above, P is the set X, Q is a collection of subsets of X, R is the binary relation "is contained in" between elements and subsets, and R -1 restricted to Q × P* is the function "contains" from subsets to selected elements.

Whereas an exact cover problem involves selecting subsets and the relation "contains" from subsets to elements, an exact hitting set problem involves selecting elements and the relation "is contained in" from elements to subsets. In a sense, an exact hitting set problem is the inverse of the exact cover problem involving the same set and collection of subsets.

Read more about this topic:  Exact Cover

Famous quotes containing the words exact, hitting and/or set:

    Men are qualified for civil liberty in exact proportion to their disposition to put moral chains upon their own appetites; in proportion as their love to justice is above their rapacity; in proportion as their soundness and sobriety of understanding is above their vanity and presumption; in proportion as they are more disposed to listen to the counsels of the wise and good, in preference to the flattery of knaves.
    Edmund Burke (1729–1797)

    The toddler’s wish to please ... is a powerful aid in helping the child to develop a social awareness and, eventually, a moral conscience. The child’s love for the parent is so strong that it causes him to change his behavior: to refrain from hitting and biting, to share toys with a peer, to become toilet trained. This wish for approval is the parent’s most reliable ally in the process of socializing the child.
    Alicia F. Lieberman (20th century)

    I had to prosper good and punish evil.
    You changed all that. You set me free to reign.
    You are the Emancipator of your God,
    And as such I promote you to a saint.
    Robert Frost (1874–1963)