1. Introduction
Inspired by several facility location problems, Brešar, Henning and Rall [
1,
2,
3] initiated the study of the
k-rainbow domination problem. The problem is proved to be NP-complete, even if the input graph is a chordal graph or a bipartite graph [
2]. This variation of the general domination problem has already attracted considerable attention. The growing interest in domination problems [
4] is based on a variety of practical applications on one hand and, on the other hand, expected (and usually proven) intractability on general graphs.
In [
5], 2-rainbow domination of generalized Petersen graphs was extensively studied. Here, we continue this avenue of research and study the 3-rainbow domination of generalized Petersen graphs.
First, we recall the definitions and some other preliminary material from [
5].
1.1. Graphs and Rainbow Domination
A (simple) graph is a combinatorial object, where is a set whose elements are called vertices, and is a set of edges. Edges are pairs of vertices: . If , then we say that vertices u and v are neighbors. The set of all neighbors of a vertex is its neighborhood. The degree of a vertex is the number of its neighbors. A graph is called 3-regular or cubic if all vertices are of degree three. Graph H is an induced subgraph of graph G if and for any pair of vertices , implies . The interval of integers is denoted by . All subscripts in this paper are taken as modulo n.
Given a graph G and a positive integer t, the goal is to assign a subset of the color set to every vertex of G such that every vertex with the empty set assigned has all t colors in its neighborhood. Such an assignment is called a t-rainbow dominating function( function) of the graph G. The weight of assignment g, a of a graph G, is the value . We also say that G is tRD-colored (or simply, colored) by g. A vertex is tRD-dominated if either it is assigned a nonempty set of colors, or it has all colors in its neighborhood. A vertex is said to be colored if and is not colored or uncolored otherwise. The t-rainbow domination number is the minimum weight over all functions in G. We also study a special case where vertices are colored by sets with, at most, one color. Such functions are called singleton functions ( functions) and the minimal weight obtained when considering only functions is singleton t-rainbow domination number, denoted by .
1.2. Generalized Petersen Graphs
For
and
k,
, the generalized Petersen graph
is a graph on
vertices with
and
. This standard notation was introduced by Watkins [
6] (see
Figure 1).
It is well known that the graphs
are 3-regular unless
and that
are highly symmetric [
6,
7]. As
and
are isomorphic, it is natural to restrict attention to
with
and
k,
. In this work, we implicitly make use of another symmetry of Petersen graphs. It is well-known that the mapping which maps
and
is an automorphism. Hence, any rotation along the long cycle is an automorphism.
1.3. Related Previous Work
The early papers [
1,
2,
3] already provide various results on
k-rainbow domination. The special cases, 2-rainbow and 3-rainbow domination, have been studied in a number of works where the rainbow domination numbers of several graph classes were established; see [
8,
9,
10,
11,
12] and the references therein. In particular,
k-rainbow domination number of the Cartesian product of cycles,
, for
is considered in [
13]. Among other things, based on the results in [
14], it is shown that
for
. In [
15], exact values of the 3-rainbow domination number of
and
and bounds on the 3-rainbow domination number of
for
are given. In [
16], sharp upper bounds on the
k-rainbow domination number for all values of
k are proved. Furthermore, they also consider the problem with minimum degree restrictions on the graph. In particular, for every connected graph
G of order
,
. In [
17], the authors proved that for every connected graph
G of order
with
,
. Computing the rainbow domination of graphs is an NP-hard problem, as it holds for most of the variations of domination problems. An exact algorithm and a faster heuristic algorithm to obtain the 3-rainbow domination number is given in [
18]. Therefore, while it is possible to compute exact 3-rainbow domination numbers for small or moderate size graphs, it is very hard or intractable to handle large graphs.
Generalized Petersen graphs have been studied extensively in the past, often as very interesting examples in research of various graph invariants. The interest seems to be even more intensive recently, the problems studied including domination [
19], independent rainbow domination [
20,
21], Italian domination [
22], Roman and double Roman domination [
12,
23,
24], to name just a few. Many papers focus on subfamilies of Petersen graphs. Popular examples are
, for fixed (and usually small)
c, and
, for fixed
c and arbitrary
k (hence infinitely many
). In [
25] the exact values of
for any
and
are determined and it is proved that
for
.
In [
26] the 3-rainbow domination numbers of several classes of graphs, such as paths, cycles and the generalized Petersen graphs
, were investigated. The 3-rainbow domination number of
for some cases are determined and the upper bounds for
,
, and
,
, were provided. In particular, the general lower bound was established,
, and it was proved that if
,
and
, then
. Additionally, it was determined that for
,
, where
for
,
for
, and
for
. The upper bound,
for
was provided. It follows that
for each
,
if
, and
.
The following two results are of particular importance for the present work. First, we recall the general bound
, which was proved in [
2] and directly implies the next proposition.
Proposition 1. .
In cases when
, on the other hand, we have the following upper bound for generalized Petersen graphs [
26].
Proposition 2. Let , and . Then .
Propositions 1 and 2 together imply exact values for one infinite family.
Proposition 3. Let , and . Then .
1.4. Our Results
Recall that the
functions assign sets of colors to vertices. An interesting special case are
functions that assign only singletons or empty sets. We call such functions
singleton functions (
functions) and the minimal weight obtained when considering only
functions
singleton t-rainbow domination number denoted by
. Clearly,
In this paper, we study both and . In both cases, we give the exact values of 3-rainbow domination number for some, and bounds with a small gap for all other infinite subfamilies of generalized Petersen graphs, . The main results are given in the following two theorems.
Theorem 1. For the 3-rainbow domination number of generalized Petersen graphs we have the following:
If , then ;
If , then ;
If , then .
In the special case when only singleton functions are considered, we obtain bounds and in some cases exact values of singleton domination number.
Theorem 2. For the singleton 3-rainbow domination number of generalized Petersen graphs we have the following:
If , then ;
If , then ;
If , then .
Finally, for a member of one family for which the exact values remain unknown we provide an example for which the general bounds are improved, we show that (Proposition 9).
2. Constructions and Proofs
We start with a useful result that sheds some light in relation between the lower bounds for singleton functions and general functions.
Lemma 1. Let G be a 3-regular graph on n vertices. Let f be a function that assigns empty sets to vertices, singletons to vertices, two element sets to vertices, and three element sets to vertices. ThenFurthermore,where is the number of vertices that are assigned one color and have a colored neighbor. Proof. Observe that a vertex, which is assigned a singleton, fulfills the demand of one vertex and at most three thirds of the demands of its neighbors, thus summing up the fractions it serves at the greatest demand, which is two in total. Similarly, a vertex assigned set of two colors fulfills its demand plus three times two thirds of demands at most (serves demand ). A vertex with three colors assigned can dominate four vertices. Furthermore, let where is the number of vertices that are assigned one color and have at least one neighbor that is colored.
As
, and
we have the following:
and
as claimed. □
For later reference, it is useful to note the following.
Corollary 1. Let . If , then , and any minimal assignment is a singleton function.
Next, we consider induced subgraphs, more precisely, paths. An induced path is a connected subgraph on vertices of G such that vertices have a degree of two, and two vertices have a degree of one.
Lemma 2. Let f be a singleton 3RD function of a 3-regular graph G, and let P be an induced path of length ℓ on vertices in G. Assume that one of the vertices and is uncolored and the other is assigned exactly one color, such as and . Then, .
Proof. The edges of P are for . Thus, and have two neighbors outside P and all other vertices have exactly one neighbor outside P. Assume that one of the vertices and is uncolored and the other is assigned exactly one color. Clearly, each of the uncolored vertices , must have two neighbors in P that are colored with two (distinct) colors, and consequently, the total number of colored vertices must be at least . □
Example 1. It is even easier to handle the cycles because every vertex of a cycle has exactly one neighbor outside the cycle, and thus, needs at least two colors unless it is colored. Let C be a cycle of length ℓ in a 3-regular graph. Then, any singleton function assigns colors to at least vertices, and hence .
We use two different notations to outline the 3RD functions of generalized Petersen graphs. For smaller graphs, we use the following:
The elements in rows are written in triples for easier reading. For example, a
function showing
is the following:
More often, we use the second notation that provides only the values on the outer cycle. The columns correspond to the sets
, and we assume that the inner cycles (sets
) are completed (with minimal number of colors) such that the whole assignment is a 3RD function. In
Table 1 below, the first two and the last two columns provide the same information, namely the values at
, and
. This will be useful to observe when certain patterns give rise to optimal assignments—it will hold exactly when columns 0 and
k will match, taking into account the shift of rows as indicated in
Table 1.
2.1. The Cases and
Consider the pattern in
Table 2 that provides 3RDFs for
and
.
First, consider closely the graph
. Using the fact that the columns 0 and 7 correspond to the same set of vertices,
, and that the column 7 equals column 0 shifted one row downwards (see
Table 1), it is clear that the pattern is well defined on the outer cycle of
. It is trivial to check that the vertices on the inner cycles can be colored by three additional colors each, so we can conclude that we have a 3RDF of
of weight 42. Similarly, regarding
, we have
, and the same reasoning applies. For a later reference, observe that the pattern in
Table 2 repeats after six columns.
Using a symmetrical pattern, we find that there are 3RDFs of
and
and of weights 30 and 66, respectively (see
Table 3).
The observed facts can be summarized in the next proposition.
Proposition 4. For and we have .
Proof. By previous arguments, the two patterns (
Table 2 and
Table 3) both have a period of 6. Therefore, the assignments for
can, by induction, be extended to the provide assignments for families
and
, as claimed. □
Remark 1. The case is also proved in [26]; see Proposition 3 above. 2.2. The Case k Even
First, we consider the lower bound for .
Lemma 3. Let be an even number. Then, .
Proof. Let
. Consider the
k inner cycles together with their neighbors, i.e., the subgraphs induced on vertices
, where
and
. Choose
i with
. (Such an
i clearly exists as, otherwise,
.) Consider
Figure 2, and observe that there are six paths on the outer cycle between vertices of
. These paths (three are depicted on
Figure 2) have length
. Three of them, together with vertices of
, form three disjoint cycles of length
. These cycles are odd, so we need to color
of the vertices. For the vertices on the paths, the number of colored vertices is at least
because
k is even. As
, exactly one endpoint of the path is colored, and the other is uncolored. By Lemma 2, at least
vertices need to be colored, but the endpoint is already used on the odd cycle.) Finally, we also have
inner six cycles and need to color at least three vertices on each of them. In total, we need to color at least the following vertices:
and hence,
, as claimed. □
The lower bound is tight, as we can construct 3RD functions of weight
. For small cases
, see
Table 4. The examples are based on the pattern shown in
Table 2 Another set of examples can be obtained similarly from pattern in
Table 1. Recall that both the patterns have a period of six.
The only case not covered by Lemma 3 is
. The graph
has only 24 vertices, so it can be shown by a trivial algorithm that
. An alternative argument that
is given in
Section 2.4. Summarizing, we have the following result.
Proposition 5. Let k be an even number. Then .
Proof. The examples in
Table 4 are based on the two patterns with period 6. Hence, one of the columns, wlog column 0, can be replaced by seven columns (columns 0, 1, ..., 6 from
Table 2) to obtain a 3RD function with 6 more columns and weight increased by 36. By induction, we obtain constructions for all even
k of weight
. Recalling the lower bound from Lemma 3, it follows that the constructions are the best possible. □
We conclude the subsection with the bounds for .
Proposition 6. Let k be an even number. Then, .
Proof. First, recall that . To prove the lower bound, observe one of the cycles C of length , say . The cycle is odd; hence, either there is a pair of adjacent colored vertices in , or at least one of the vertices of C has a neighbor that is assigned at least two colors. Hence, either or or . By Lemma 1, . □
2.3. The Case
First, we prove a property of any 3RD function f of with .
Lemma 4. Assume and let f be a 3RD function with minimal weight . Then, exactly one half of the vertices on the outer cycle are colored. Wlog assumes that these are vertices with even indices. Then, the following holds: (1) , for all odd i, (2) , , and (3) , , are pairwise different.
In other words, the lemma says that the outer cycle vertices are colored following the pattern , where are the three colors.
Proof. Recall that by Corollary 1, any minimal 3RDF must be a singleton 3RDF and hence that . Consider an uncolored vertex on the outer cycle, and observe that its three neighbors must be colored by three distinct colors. Wlog, for example, , is the vertex with . Then, the three neighbors of must be colored by distinct colors, for example, , and .
We show that we must have . First, because , we have , and, consequently . Furthermore, because . If , we are done. Otherwise, and by the same reasoning as above, we have to have and in turn . Now, the vertex has two neighbors colored by the same color, and hence, f must have weight . This is a contradiction, so .
By induction, we have , , and so on, which implies the statements of the lemma. □
The last lemma can be used to obtain a lower bound.
Lemma 5. If then .
Proof. Let and assume that . Consider an inner cycle, say . As , any inner cycle is colored by three distinct colors. If we assume wlog such that , then we know that we must have (as observed in the proof of Lemma 4). It follows that because cannot have two neighbors colored by the same color, a. On the other hand, by Lemma 4 . This is a contradiction. □
The next table provides singleton 3RD function of weight 60 for .
Formally,
Table 5 and an inductive argument imply the following.
Lemma 6. If , then .
For case , see Proposition 9. Summarizing, we have the following result for .
Proposition 7. If , then .
2.4. Two Examples
In this subsection, we consider two small examples that are not covered by the general arguments above.
Proposition 8. .
Proof. First, we prove that at least 15 vertices must be colored. Observe that at least 6 vertices must be colored on the outer cycle because it has 12 vertices, and the two inner cycles and on six vertices must have at least 3 colored vertices. Furthermore, the vertices of with odd indices are adjacent to one, and the vertices with even indices are adjacent to the other six cycle. Now consider several cases:
- (1)
. Clearly, all colored vertices of U have either odd or even indices. However, then one of the six cycles has no colored vertex in the neighborhood, and we need six colors for this six cycle. Thus, we need 6 + 6 + 3 = 15 colors.
- (2)
. Taking into account that all vertices of U must have at least two colored neighbors within U, we observe that the set of uncolored vertices must be an independent set. On a 12 cycle, there are (up to isomorphism) three possibilities for an independent set of five vertices; their indices may be either (a) 0, 2, 4, 6, 8, or (b) 0, 2, 4, 6, 9, or (c) 0, 2, 4, 7, 9. In case (a), the inner cycle induced on vertices has only one colored neighbor, . Hence, . In case (b), the inner cycle has two colored neighbors, and . Again, we must have , because and are neighbors and one of them has to be colored. In case (c), the inner cycle has three colored neighbors, , and . This implies that . Furthermore, the inner cycle has four colored neighbors, , , and . Observe that it is not possible to complete the coloring of by coloring only three vertices, so . In all cases, at least 15 vertices need to be assigned a color.
- (3)
. In this case, it can be seen that we need to color at least four vertices of one six cycle ( or ) to obtain a S3RDF. We omit the details.
- (4)
. It is clear that we need at least three vertices on and on .
Summarizing, we have the lower bound. To complete the proof, note that a singleton 3RDF can be constructed easily, for example, by applying the reasoning in case (1) above. □
Proposition 9. .
Proof. Consider a 3RDF of weight 23 of : where p can be any color. Hence, .
Next, we show that . Let f be a 3RDF of such that . Then, for at least one , and we can assume that . Wlog., let , , , and . Then, , , . It follows that , , and . There are eight possibilities:
(1) , , . Then, , , . Now consider . The vertex (or ) should be assigned color c because has, so far, no neighbor with color c. On the other hand, has a neighbor, , that already has a neighbor with color c, namely, . This is similarly the case for and . Considering all possibilities to complete the coloring of , we conclude that we need nine colors. Hence, we need to color at least 21 vertices, contradicting the assumption. Analogous reasoning applies if we consider .
(2–8) In each case, we arrive at the conclusion that at least 21 vertices need to be colored. We omit the details. □
3. Conclusions
We have demonstrated exact values of 3-rainbow domination number for some infinite families of Petersen graphs , and bounds with small gaps for others (Theorem 1). Moreover, we study a special case when only colorings that assign sets with, at most, one element are considered. In this case, we provide exact values for all but one infinite subfamily (Theorem 2). The largest gaps remain in the case , where . The example (see Proposition 9) indicates that we may have a stronger lower bound, at least for singleton 3RDF. On the other hand, our construction of a S3RDF for does not seem to generalize easily. Therefore, we propose the following conjecture.
Conjecture1. If , then .
Due to well-known symmetries of generalized Petersen graphs, it is straightforward that the results of this paper directly apply to the family as (where ≈ denotes graph isomorphism). The remaining cases among graphs with are Petersen graphs and , where the inner cycles are triangles. Clearly, in both cases , but it may be an interesting task for future research to obtain exact values or at least close bounds for these families.. Note that the case is not interesting, as in this case, the graphs are not 3-regular, as all inner vertices are of degree two, and hence, must be colored. Then, it follows trivially that .