Domatic number

From HandWiki
A domatic partition

In graph theory, a domatic partition of a graph [math]\displaystyle{ G = (V,E) }[/math] is a partition of [math]\displaystyle{ V }[/math] into disjoint sets [math]\displaystyle{ V_1 }[/math], [math]\displaystyle{ V_2 }[/math],...,[math]\displaystyle{ V_K }[/math] such that each Vi is a dominating set for G. The figure on the right shows a domatic partition of a graph; here the dominating set [math]\displaystyle{ V_1 }[/math] consists of the yellow vertices, [math]\displaystyle{ V_2 }[/math] consists of the green vertices, and [math]\displaystyle{ V_3 }[/math] consists of the blue vertices.

The domatic number is the maximum size of a domatic partition, that is, the maximum number of disjoint dominating sets. The graph in the figure has domatic number 3. It is easy to see that the domatic number is at least 3 because we have presented a domatic partition of size 3. To see that the domatic number is at most 3, we first review a simple upper bound.

Upper bounds

Let [math]\displaystyle{ \delta }[/math] be the minimum degree of the graph [math]\displaystyle{ G }[/math]. The domatic number of [math]\displaystyle{ G }[/math] is at most [math]\displaystyle{ \delta + 1 }[/math]. To see this, consider a vertex [math]\displaystyle{ v }[/math] of degree [math]\displaystyle{ \delta }[/math]. Let [math]\displaystyle{ N }[/math] consist of [math]\displaystyle{ v }[/math] and its neighbours. We know that (1) each dominating set [math]\displaystyle{ V_i }[/math] must contain at least one vertex in [math]\displaystyle{ N }[/math] (domination), and (2) each vertex in [math]\displaystyle{ N }[/math] is contained in at most one dominating set [math]\displaystyle{ V_i }[/math] (disjointness). Therefore, there are at most [math]\displaystyle{ |N| = \delta + 1 }[/math] disjoint dominating sets.

The graph in the figure has minimum degree [math]\displaystyle{ \delta = 2 }[/math], and therefore its domatic number is at most 3. Hence we have shown that its domatic number is exactly 3; the figure shows a maximum-size domatic partition.

Lower bounds

Weak 2-coloring

If there is no isolated vertex in the graph (that is, [math]\displaystyle{ \delta }[/math] ≥ 1), then the domatic number is at least 2. To see this, note that (1) a weak 2-coloring is a domatic partition if there is no isolated vertex, and (2) any graph has a weak 2-coloring. Alternatively, (1) a maximal independent set is a dominating set, and (2) the complement of a maximal independent set is also a dominating set if there are no isolated vertices.

The figure on the right shows a weak 2-coloring, which is also a domatic partition of size 2: the dark nodes are a dominating set, and the light nodes are another dominating set (the light nodes form a maximal independent set). See weak coloring for more information.

Computational complexity

Finding a domatic partition of size 1 is trivial: let [math]\displaystyle{ V_1 = V }[/math]. Finding a domatic partition of size 2 (or determining that it does not exist) is easy: check if there are isolated nodes, and if not, find a weak 2-coloring.

However, finding a maximum-size domatic partition is computationally hard. Specifically, the following decision problem, known as the domatic number problem, is NP-complete: given a graph [math]\displaystyle{ G }[/math] and an integer [math]\displaystyle{ K }[/math], determine whether the domatic number of [math]\displaystyle{ G }[/math] is at least [math]\displaystyle{ K }[/math]. Therefore, the problem of determining the domatic number of a given graph is NP-hard, and the problem of finding a maximum-size domatic partition is NP-hard as well.

There is a polynomial-time approximation algorithm with a logarithmic approximation guarantee,[1] that is, it is possible to find a domatic partition whose size is within a factor [math]\displaystyle{ O(\log |V|) }[/math] of the optimum.

However, under plausible complexity-theoretic assumptions, there is no polynomial-time approximation algorithm with a sub-logarithmic approximation factor.[1] More specifically, a polynomial-time approximation algorithm for domatic partition with the approximation factor [math]\displaystyle{ (1-\epsilon) \ln |V| }[/math] for a constant [math]\displaystyle{ \epsilon \gt 0 }[/math] would imply that all problems in NP can be solved in slightly super-polynomial time [math]\displaystyle{ n^{O(\log \log n)} }[/math].

Comparison with similar concepts

Domatic partition
Partition of vertices into disjoint dominating sets. The domatic number is the maximum number of such sets.
Vertex coloring
Partition of vertices into disjoint independent sets. The chromatic number is the minimum number of such sets.
Clique partition
Partition of vertices into disjoint cliques. Equal to vertex coloring in the complement graph.
Edge coloring
Partition of edges into disjoint matchings. The edge chromatic number is the minimum number of such sets.

Let G = (U ∪ VE) be a bipartite graph without isolated nodes; all edges are of the form {uv} ∈ E with u ∈ U and v ∈ V. Then {UV} is both a vertex 2-coloring and a domatic partition of size 2; the sets U and V are independent dominating sets. The chromatic number of G is exactly 2; there is no vertex 1-coloring. The domatic number of G is at least 2. It is possible that there is a larger domatic partition; for example, the complete bipartite graph Kn,n for any n ≥ 2 has domatic number n.

Notes

  1. 1.0 1.1 "Approximating the domatic number", SIAM Journal on Computing 32 (1): 172–195, March 2002, doi:10.1137/S0097539700380754 

References