Definition
Vertex Cover to Dominating Set
There is a polynomial-time many-one reduction from the Vertex Cover problem to the Dominating Set problem:
Construction
Given a vertex cover instance with , first remove trivial thresholds. If , output a fixed no-instance of Dominating Set; if , output a fixed yes-instance. A single isolated vertex with threshold and threshold , respectively, supplies these fixed instances.
It remains to consider . Construct a graph as follows:
- Retain every original vertex .
- Add a vertex , join it to every original vertex, and attach new leaves to . The vertex dominates the original vertices and the leaves.
- For every original edge , introduce a subdivision vertex and replace by the two edges and . The vertex is not adjacent to any .
- Output the Dominating Set instance
Equivalently,
The vertex dominates every original vertex and every leaf. The chosen original vertex dominates both subdivision vertices, exactly as it covers both original edges.
Why the New Vertex Is Forced
Any dominating set of size at most must contain . If it omitted , each of the leaves would have to be selected because a leaf has no neighbour other than . This would already require vertices, exceeding the budget.
Correctness
The graph has a vertex cover of size at most if and only if has a dominating set of size at most .
Correctness
Forward
Suppose that has a vertex cover with . Set
The vertex dominates itself, every original vertex, and every leaf. For each edge , the cover contains or , so the corresponding subdivision vertex is also dominated. Hence, is a dominating set with .
Backward
Suppose that has a dominating set with . The leaf gadget forces . Discard any selected leaves. Whenever contains a subdivision vertex for , replace it by either endpoint or . These replacements do not increase the number of selected vertices.
Let be the resulting set of original vertices after removing . Then . Every subdivision vertex had to be dominated by itself or by one of its endpoints because is not adjacent to it. After the replacements, therefore contains an endpoint of every original edge . Hence, is a vertex cover of .
Running Time
After the trivial thresholds are removed, we have . The construction adds one forced vertex, leaves, and one subdivision vertex per edge. It creates
vertices and edges and can be computed in polynomial time.
NP-completeness
Vertex Cover is NP-hard, so this reduction proves that Dominating Set is NP-hard. Together with membership in NP, this proves that Dominating Set is NP-complete.