1. Introduction and Preliminary
1.1. Introduction
Coloring and domination are two important fields in graph theory, and both have rich research results. For comprehensive results of coloring and domination in graphs, refer to [
1,
2,
3,
4,
5,
6,
7,
8,
9,
10,
11,
12,
13,
14,
15,
16,
17], respectively. Moreover, graph coloring and domination problems are often in relation. Chellali and Volkmann [
18] showed some relations between the chromatic number and some domination parameters in a graph. For a graph
, a vertex
dominates a set
if it is adjacent to every vertex of
S, meanwhile, we say that
v is a dominator of
S, and
S is dominated by
v. Hedetniemi et al. [
19] introduced the concept of a dominator partition of a graph. A dominator partition is a partition
of
, such that every vertex
is a dominator of at least one block
of
. Motivated by [
19], Gera et al. [
20] proposed the dominator coloring in 2006.
Definition 1 ([
20]).
A dominator coloring of a graph G is a proper coloring, such that every vertex of G dominates at least one color class (possibly its own class). The dominator chromatic number of G, denoted by , is the minimum number of colors among all dominator colorings of G. Gera researched further in [
21,
22]. More results on the dominator coloring can be found in [
23,
24,
25,
26]. Kazemi [
27] proposed the concept of total dominator coloring in 2015, which is a proper coloring, such that each vertex of the graph is adjacent to every vertex of some (other) color class. For more results on the total dominator coloring, refer to [
28,
29,
30]. In 2015, Merouane et al. [
31] proposed the dominated coloring:
Definition 2 ([
31]).
A dominated coloring of a graph G is a proper coloring such that every color class is dominated by at least one vertex. The dominated chromatic number of G, denoted by , is the minimum number of colors among all dominated colorings of G. More results on the dominated coloring can be found in [
32,
33,
34].
For problems mentioned above, the domination property is defined either on vertices or on color classes. Indeed, each color class in a dominator coloring is not necessarily dominated by a vertex, and each vertex in a dominated coloring does not necessarily dominate a color class. In this paper, we introduce the domination coloring that both of the vertices and color classes should satisfy the domination property.
Definition 3. A domination coloring of a graph G is a proper vertex coloring of G, such that each vertex of G dominates at least one color class (possibly its own class), and each color class is dominated by at least one vertex. The domination chromatic number of G, denoted by , is the minimum number of color classes in a domination coloring of G.
The domination coloring problem is to find a domination coloring of G, such that the number of color classes is minimized. Here, we describe a possible application for the domination coloring problem in the following scenario. In a social network, social actors are represented as vertices and their relationships as edges (two actors are adjacent if they are friends). Two strangers can become friends by their mutual friend (i.e., intermediary). Then, each actor wants to develop interpersonal relationships in the social network by some intermediaries, meanwhile, each actor wants to be the important intermediary of other strangers. The domination coloring problem involves finding the minimum groups of actors in the social network with the below properties:
Actors in the same group are strangers;
Actors in the same group can become friends by at least one common intermediary;
Each actor is an intermediary of at least one actor (stranger) group.
We proceed as follows. In the rest of
Section 1, we recall some basic definitions that will be used in the following sections. In
Section 2, we analyse the complexity of the
k-domination coloring problem. In
Section 3, we present basic results and properties of the domination chromatic number
, including the bounds and characterization results. In
Section 4, we further research
of some special classes of graphs, including the split graphs, the generalized Petersen graphs
, corona products, and edge corona products. In
Section 5, we investigate some realization results on graphs with
. Finally, we make a conclusion in
Section 6.
1.2. Preliminary
Graphs considered in this paper are finite, simple, undirected, and connected. Let be a graph with and . For any vertex , the open neighborhood of v is the set and the closed neighborhood is the set . Similarly, the open and closed neighborhoods of a set are, respectively, and . The degree of a vertex , denoted by , is the cardinality of its open neighborhood. The maximum and minimum degree of a graph G is denoted by and , respectively. We call a vertex of degree one a leaf or a pendant vertex, its adjacent vertex a support vertex. Given a set , we denote by the subgraph of G induced by X. Given any graph H, a graph G is H-free if it does not have any induced subgraph isomorphic to H. We denote by the path on n vertices and by the cycle on n vertices. A tree is a connected acyclic graph. The complete graph on n vertices is denoted by and the complete graph of order 3 is called a triangle. The complete bipartite graph with classes of orders r and s is denoted by . A star is the graph with .
An independent set in G is a set of vertices, such that any two vertices in the set are not adjacent. A matching in a graph G is a set of nonadjacent edges of G. The matching number is the cardinality of a largest matching in G. A vertex cover in a graph G is a set of vertices, such that each edge has at least one endpoint in the set. The vertex cover number is the cardinality of a smallest vertex cover in G. The clique number of a graph G is the maximum order among the complete subgraphs of G.
A proper vertex k-coloring of a graph is a mapping , such that any two adjacent vertices receive different colors. In fact, this problem is equivalent to the problem of partitioning the vertex set of G into k independent sets where . The set of all vertices colored with the same color is called a color class. The chromatic number of G, denoted by , is the minimum number of colors among all proper colorings of G.
A dominating set S is a subset of the vertices in a graph G, such that every vertex in G either belongs to S or has a neighbor in S. The domination number is the minimum cardinality of a dominating set of G. A -set is a dominating set of G with minimum cardinality.
For any undefined terms, the reader is referred to the book by Bondy and Murty [
35].
2. Complexity Results
This section focuses on the complexity study of the domination coloring problem, e.g., whether an arbitrary graph admits a domination coloring with the most k colors. We give the formalization of this problem.
k-domination coloring problem.
Instance: a graph without isolated vertices and a positive integer k.
Question: is there a domination coloring of G with the most k colors?
Theorem 1. For , the k-domination coloring problem is NP-complete.
Proof. The
k-domination coloring problem is in NP, since verifying if a coloring is a domination coloring could be performed in polynomial time. Now, we give a polynomial time reduction from the
k-coloring problem, which is known to be NP-complete, for
. Let
be a graph without isolated vertices. We construct a graph
from
G by adding a new vertex
x to
G and adding edges between
x and every vertex of
G. That is,
x is a dominating vertex of
, as shown in
Figure 1. We show that
G admits a proper coloring with
k colors if and only if
admits a domination coloring with
colors.
First, we prove the necessity. Let f be a proper k-coloring of G, and the corresponding color classes set is . We construct a -domination coloring of with the color classes set . It is easy to see that is a domination coloring of since
is proper;
Each vertex other than x dominates at least the color class containing x and x dominates all color classes of ;
Each color class other than is dominated by x and the color class containing x is dominated by any other vertex.
Then, we prove the sufficiency. Let be a -domination coloring of , and is the color classes set. Since is proper, there exists a color class such that . Thus, we can construct a proper k-coloring of G by removing the color class from .
From the above, the k-domination coloring problem is NP-complete, for . □
3. Basic Results and Properties of the Domination Chromatic Number
In this section, we study some properties of the domination coloring and basic results on typical classes of graphs.
Let
G be a connected graph with order
. Then at least two different colors are needed in a domination coloring since there are at least two vertices in
G adjacent to each other. Moreover, if each vertex receives a unique color, then both the vertices and color classes satisfy the domination property. Clearly, we get a domination coloring of
G with
n colors. Thus,
Gera et al. [
20] introduced the Inequalities (
2) for the dominator chromatic number
and Merouane et al. [
31] obtained Inequalities (
3) for the dominated chromatic number
. Moreover, we can get a similar inequality for the domination chromatic number
.
Proposition 1. Let G be a graph without isolated vertices, then Proof. Since any domination coloring of G is also a dominator coloring and a dominated coloring, . Both the dominator coloring and dominated coloring are proper vertex colorings of G, so, . For any dominator coloring (dominated coloring) of G, we can get a dominating set by taking a vertex in each color class. Thus, . Therefore, the left two parts of the inequality hold.
For the right part of the inequality, we consider a -set D of G. A domination coloring of G can be obtained by giving distinct colors to each vertex x of D and at most new colors to the vertices of . Hence, we totally use at most colors. So, . □
The bound of Proposition 1 is tight for complete graphs. Since every planar graph is “4-colorable” [
2,
3], the following result is straightforward:
Corollary 1. Let G be a planar graph without isolated vertices, then .
Proposition 2. Let G be a connected graph with order n and maximum degree Δ, then .
Proof. Consider a minimum domination coloring of G. Since G is -free, any color class would not have more than vertices; otherwise, a vertex dominating such a color class will induce a star of order at least , a contradiction. So, . □
Theorem 2. Let G be a connected triangle-free graph, then .
Proof. Consider a minimum dominating set S of G. Color every vertex of S with a new color. Since G does not contain any triangle, the set of neighbors of every vertex of S is an independent set. Thus, a second new color is given for each neighborhood. Obviously, this is a proper coloring of G with colors, which satisfies that every vertex dominates at least one color class, and every color class is dominated by at least one vertex. Thus, . □
Theorem 3. (1) For the path , , (3) For the complete graph , ;
(4) For the complete k-partite graph , ;
(5) For the complete bipartite graph , ;
(6) For the star , ;
(7) For the wheel , Proof. (1) Let . By the definition of the domination coloring, we discover that at most two non-adjacent vertices are allowed in a color class, if not, there exist no vertex dominating this color class. On the other hand, the vertex adjacent to both vertices of a color class must be the unique vertex of some color class. For convenience, let be a -subgraph of . If vertices and are in a color class, then must be the unique vertex of a color class. If not, and are partitioned in a color class, which will result in cannot dominate any color class. Thus, every three vertices of need to be partitioned in two color classes, and the rest form their own color class. Clearly, it is an optimal domination coloring of . Thus, .
(2) For , the result follows by inspection. For , it is not hard to find the case is similar to the path . As the discussion in (1), the result follows.
(3) For the complete graph
,
. By Proposition 1 and in Equation (
1),
.
(4) Let be the complete k-partite graph, and be the k-partite sets. Then . Moreover, the coloring that assigns color i to each partite set is a domination coloring. The result follows.
(5) and (6) are special cases of (4).
(7) Let
be the wheel with order
. Since,
and the corresponding proper colorings are also domination colorings, the result follows. □
Note. For a given graph G, and a subgraph H of G, the domination chromatic number of H can be smaller or larger than the domination chromatic number of G. That is to say, induction may be not useful when we want to find the domination chromatic number of a graph. As an example, consider the graph and , then , and consider the graph and , then .
Theorem 4. For the Petersen graph P, .
Proof. It is easy to check
is a domination coloring of the Petersen graph, as shown in
Figure 2. So,
. By Proposition 2.1 in [
32],
and
. Then,
by Proposition 1. Therefore,
. □
Next, we consider the bi-stars. Let
be the bi-star with central vertices
u and
v, where
and
. Let
and
. Obviously,
and
, as shown in
Figure 3.
Theorem 5. For the bi-star with , .
Proof. Consider a proper coloring of in which the color classes , , , and . Then, each vertex in the set dominates the color class , and each vertex in the set dominates the color class . Moreover, the color class is dominated by any vertex in , is dominated by any vertex in , is dominated by vertex u, and is dominated by vertex v. Therefore, this is a domination coloring, and .
By the Lemma 2.2 in [
20],
. So,
. Suppose that
. It will be result in that each vertex in
X or each vertex in
y does not dominate a color class. Thus,
. □
Theorem 6. Let G be a connected graph with order n. Then if and only if for .
Proof. By Theorem 3 (5), if , then . We just need to prove the necessity.
Let G be a connected graph, such that , and and are the two color classes. If or , then . So, suppose that and . For any vertex , since , it follows that x dominates color class . Similarly for any vertex in . Thus, each vertex of is adjacent to each vertex of , and both and are independent. So for , and the result follows. □
Theorem 7. Let G be a connected graph with order n. Then if and only if for .
Proof. By Theorem 3 (3), , if . We only need to prove the necessity.
Let G be a connected graph with . Suppose that . Thus, there exist two vertices, say x and y, such that they are not adjacent and they have a common neighbor in G. Now, we define a coloring of G in which x and y receive the same color, and each of the remaining vertices receive a unique color. This is a domination coloring, so , a contradiction. Thus, , and we obtain the result. □
4. Domination Coloring in Some Classes of Graphs
In this section, we further research the domination coloring of some classes of graphs, including the split graphs, the generalized Petersen graphs , corona products, and edge corona products.
4.1. Domination Coloring for Split Graphs
We study the domination chromatic number of split graphs in this subsection.
A graph G is called a split graph if its vertex set can be partitioned into a clique and an independent set.
Theorem 8. Let G be a split graph with split partition and its maximum clique is of order k. If there exists a dominating set D of G, such that , and every vertex in I is adjacent to at least one vertex in and nonadjacent to at least one vertex in , then .
Proof. Consider a minimum domination coloring of G. Obviously, . We give now a construction that yields a domination coloring of G with k colors.
First, we give to each vertex of
D a unique new color from the set
and each vertex of
a unique new color from the set
, where
. We arrange the vertices in
according to a circular order function defined on the set
as follows:
We now color the vertices of the independent set
I of the split graph
G. Let
i be a vertex of
I and let
be the set (of colors) of its neighbors. The color of
i is given by the following formula:
Since every vertex i in I is adjacent to at least one vertex in and nonadjacent to at least one vertex in , at least one color from the set would be available for i. Thus, every vertex in G is properly colored. On the one hand, given that is a dominating set of G, each vertex dominates a color class formed by a vertex of D. On the other hand, from the above construction, each color class formed by a vertex of D is obviously dominated, and one can observe that each color j will appear only in the neighborhood of the vertex from the clique colored with the color . Thus, we obtain that the proposed construction gives a domination coloring for the split graph G with k colors. □
4.2. Domination Coloring for Generalized Petersen Graphs
In this subsection, we determine the domination chromatic number of the generalized Petersen graph .
Let n and k be positive integers with and . The generalized Petersen graph is the graph with and where the addition in the subscript is modulo n.
The Cartesian product of two graphs G and H is the graph with and .
The generalized Petersen graph is isomorphic to the Cartesian product . We now proceed to determine .
Theorem 9. For the generalized Petersen graph , we have Proof. The result is obvious when . Now, let where and . Let . Then is a family of disjoint closed neighborhoods in . We consider the following cases:
Case 1. .
In this case, covers all the vertices of . For each closed neighborhood in , give a color to the vertex x and another color to the neighbors of x. Obviously, is a domination coloring of . Thus, . On the other hand, any two disjoint closed neighborhoods in cannot have a common color, which will result in some vertices having no color class to dominate, and some color classes will not dominate by any vertex. In this sense, . Therefore, .
Case 2. .
In this case, is a collection of disjoint closed neighborhoods in and the vertices and are not covered by . Similar to Case 1, give two colors to each closed neighborhood in and two new colors to and . Then, is a domination coloring of . Thus, . On the other hand, to ensure that every vertex dominate a color class and every color class is dominated by a vertex, the vertices and should be colored uniquely, respectively. Hence, . Therefore, .
Case 3. .
In this case, is a collection of disjoint closed neighborhoods in and the vertices , , and are not covered by . is a domination coloring of . Thus, . On the other hand, to ensure the domination properties, the vertices , , and need at least three new colors. Hence, . Therefore, .
Case 4. .
In this case, is a collection of disjoint closed neighborhoods in and the vertices and are not covered by these neighborhoods. Then is a domination coloring of . Thus, . Similar to the above analysis, . Therefore, .
Thus, the result follows. □
4.3. Domination Coloring for Corona Products
For graphs
G and
H, the corona product
is obtained from one copy of
G and
copies of
H by joining with an edge each vertex of the
ith copy of
H,
, to the
ith vertex of
G. If
, then the copy of
H in
corresponding to
v will be denoted by
. We may consider the vertex set of
to be
The dominator and dominated chromatic numbers of corona products are already known.
Theorem 10 ([
36]).
If G and H are graphs, then . Theorem 11 ([
33]).
If G and H are graphs, then . We now give a general result for the domination chromatic number of corona products.
Theorem 12. If G and H are graphs, then .
Proof. Set and color as follows. First, we color each vertex of an unique color. Second, we properly color every copy of H with distinct colors. Clearly, the obtained coloring is a domination coloring of . Indeed, each vertex forms a color class of cardinality 1 and the color class is dominated by any adjacent vertices of v, while each vertex from is adjacent to the vertex v and dominate the color class , the color class formed by vertices in is dominated by the corresponding vertex v. Therefore, . □
4.4. Domination Coloring for Edge Corona Products
For graphs
G and
H, the edge corona
is obtained by taking one copy of
G and
disjoint copies of
H one-to-one assigned to the edges of
G, and for every edge
joining
v and
to every vertex of the copy of
H associated to
. If
, then the copy of
H in
corresponding to
will be denoted with
(or simply
). Hence we may consider the vertex set of
to be
The dominator and dominated chromatic numbers of edge corona products have been studied, which were related to the matching number and the vertex cover number .
Theorem 13 ([
36]).
If G and H are graphs, then . Theorem 14 ([
36]).
If G is a graph without pendant vertices, then . Theorem 15 ([
36]).
If G has k pendant vertices, then . Theorem 16 ([
36]).
If G and H are graphs, then , with equality when G is bipartite graph without pendant vertices. In the following, we give a general result for the domination chromatic number of edge corona products.
Theorem 17. If G and H are graphs, then .
Proof. Let be a minimum vertex cover of G, so that . Partition into subsets of edges , such that if , then is an endpoint of e, . Partition into subsets of vertices , such that if , then , . It is clear that such partitions always exists since K is a vertex cover. Notice that each is a independent set, .
Now, define a coloring c of as follows. First, for each set of edges , reserve private colors and color with each of the corresponding subgraphs , . Second, color the vertices of K with colors. Third, color the vertices of with additional colors. Then, c is the domination coloring of . Indeed, each vertex in each dominate a corresponding color class , and the color classes of those copies of H with common colors are dominated by the corresponding vertex . For each vertex in K, there exist color classes dominated by . Moreover, the color class can be dominated by any adjacent vertex of . Moreover, each vertex in dominates the color class , and the color class is dominated by vertex . Hence, . □
5. Graphs with
For any graph G, we have . In this section, we investigate graphs for which .
The following theorem directly follows from Proposition 1.
Theorem 18. Let G be a connected graph, if , then .
A unicyclic graph is a graph that contains only one cycle. In the following, we characterize unicyclic graphs with .
Theorem 19. Let G be a connected unicyclic graph. Then if and only if G is isomorphic to or or or the graph obtained from by attaching any number of leaves at one vertex of .
Proof. For the sufficiency, the result is obvious if G is the graph meet conditions. We consider only the necessity. Let G be a connected unicyclic graph with , and C the unique cycle of G.
Case 1. If C is an even cycle, then and . It follows that G cannot contain any other vertices not on C, otherwise . By Theorem 3(2), .
Case 2. If C is an odd cycle, then . Suppose there exists a support vertex x not on C. Since x or the leaf is a color class in each -coloring of G, it follows that , which is a contradiction. Hence, all of the support vertices lie on C, and any vertex not on C is a leaf. Moreover, the number of support vertices is at most one. Otherwise, it follows that some color classes are not dominated, since there exists some -coloring of G in which every support vertex appears as a singleton color class.
Case 2.1. If , then G is isomorphic to or the graph obtained from by attaching any number of leaves at exactly one vertex of .
Case 2.2. Suppose that . If there exists a support vertex x on C, then there exists a -coloring of G, such that contains all of the leaves of x. Now, we get two vertices u and v on C, such that , both u and v are not adjacent to x. Clearly, v does not dominate any color class and the color class is not dominated by any vertex, which is a contradiction. Thus, G has no support vertices and . By Theorem 3(2), . So, the theorem follows. □
For the complete graph
, we know that
. Next, we construct a family of graphs by attaching leaves at some vertices of the complete graph. We denote by
the family of graphs obtained by attaching leaves at
m vertices of
,
. We take no account of the number of leaves attached at any vertex in the notation, since it does not impact the domination chromatic number. Moreover, we denote any element in
by
. For example, a instance of
is shown in
Figure 4.
Theorem 20. For , .
Proof. For any , is n-colorable. So, . Next, we consider a domination coloring of . On the one hand, vertex-attached leaves should be partitioned into a singleton color class, since each leaf has to dominate a color class formed by its only neighbor. On the other hand, leaves attached to different vertices have to be partitioned into different color classes, otherwise, there exists no vertex dominating the color class. Thus, at most vertices can be attached to leaves of , in order to guarantee that is n-domination colorable. The result follows. □