Next Article in Journal
Diamond B23 CD Imaging of Thin Films of Chiral Materials or Achiral Polymers Coated with Chiral Molecules
Next Article in Special Issue
Total Domination in Rooted Product Graphs
Previous Article in Journal
Finite-Field Calculations of Transition Properties by the Fock Space Relativistic Coupled Cluster Method: Transitions between Different Fock Space Sectors
Previous Article in Special Issue
The n-Pythagorean Fuzzy Sets
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

On the Outer-Independent Roman Domination in Graphs

by
Abel Cabrera Martínez
1,*,
Suitberto Cabrera García
2,
Andrés Carrión García
3 and
Angela María Grisales del Rio
3
1
Departament d’Enginyeria Informàtica i Matemàtiques, Universitat Rovira i Virgili, Av. Països Catalans 26, 43007 Tarragona, Spain
2
Departamento de Estadística e Investigación Operativa Aplicadas y Calidad, Universitat Politécnica de Valencia, Camino de Vera s/n, 46022 Valencia, Spain
3
Centro de Gestión de la Calidad y del Cambio, Universitat Politécnica de Valencia, Camino de Vera s/n, 46022 Valencia, Spain
*
Author to whom correspondence should be addressed.
Symmetry 2020, 12(11), 1846; https://doi.org/10.3390/sym12111846
Submission received: 21 October 2020 / Revised: 3 November 2020 / Accepted: 6 November 2020 / Published: 9 November 2020
(This article belongs to the Special Issue Theoretical Computer Science and Discrete Mathematics)

Abstract

:
Let G be a graph with no isolated vertex and f : V ( G ) { 0 , 1 , 2 } a function. Let V i = { v V ( G ) : f ( v ) = i } for every i { 0 , 1 , 2 } . The function f is an outer-independent Roman dominating function on G if V 0 is an independent set and every vertex in V 0 is adjacent to at least one vertex in V 2 . The minimum weight ω ( f ) = v V ( G ) f ( v ) among all outer-independent Roman dominating functions f on G is the outer-independent Roman domination number of G. This paper is devoted to the study of the outer-independent Roman domination number of a graph, and it is a contribution to the special issue “Theoretical Computer Science and Discrete Mathematics” of Symmetry. In particular, we obtain new tight bounds for this parameter, and some of them improve some well-known results. We also provide closed formulas for the outer-independent Roman domination number of rooted product graphs.

1. Introduction

Throughout this paper, we consider G = ( V ( G ) , E ( G ) ) as a simple graph with no isolated vertex. Given a vertex v of G, N ( v ) and N [ v ] represent the open neighbourhood and the closed neighbourhood of v, respectively. We also denote by deg ( v ) = | N ( v ) | the degree of vertex v. For a set D V ( G ) , its open neighbourhood and closed neighbourhood are N ( D ) = v D N ( v ) and N [ D ] = N ( D ) D , respectively. Moreover, the subgraph of G induced by D V ( G ) will be denoted by G [ D ] .
Domination theory is an interesting topic in the theory of graphs, as well as one of the most active topic of research in this area. A set D V ( G ) is a dominating set of G if N [ D ] = V ( G ) . The domination number of G, denoted by γ ( G ) , is the minimum cardinality amongst all dominating sets of G. Numerous results on this issue obtained in the previous century are shown in [1,2]. We define a γ ( G ) -set as a dominating set of cardinality γ ( G ) . The same terminology will be assumed for optimal parameters associated with other sets or functions defined in the paper.
Moreover, in the last two decades, the interest in the domination theory in graphs has increased. In that sense, a very high number of variants of domination parameters have been studied, many of which are combinations of two or more parameters. Next, we expose some of them.
  • A set S V ( G ) is an independent set of G if the subgraph induced by S is edgeless. The maximum cardinality among all independent sets of G is the independence number of G, and is denoted by β ( G ) . In some kind of “opposed” side of an independent set, we find a vertex cover, which is a set D V ( G ) such that V ( G ) \ D is an independent set of G. The vertex cover number of G, denoted by α ( G ) , is the minimum cardinality among all vertex covers of G. It is well-known that for any graph G of order n, α ( G ) + β ( G ) = n (see [3]).
  • A set S V ( G ) is an independent dominating set of G if S is an independent and dominating set at the same time. The independent domination number of G is the minimum cardinality among all independent dominating sets of G and is denoted by i ( G ) . Independent domination in graphs was formally introduced in [4,5]. However, a fairly complete survey on this topic was recently published in [6].
  • A function f : V ( G ) { 0 , 1 , 2 } is called a Roman dominating function on G, if every v V ( G ) for which f ( v ) = 0 is adjacent to at least one vertex u V ( G ) for which f ( u ) = 2 . The Roman domination number of G, denoted by γ R ( G ) , is the minimum weight ω ( f ) = v V ( G ) f ( v ) among all Roman dominating functions f on G. This parameter was introduced in [7]. Let V i = { v V ( G ) : f ( v ) = i } for i { 0 , 1 , 2 } . We will identify a Roman dominating function f with the subsets V 0 , V 1 , V 2 of V ( G ) associated with it, and so we will use the unified notation f ( V 0 , V 1 , V 2 ) for the function and these associated subsets.
  • A Roman dominating function f ( V 0 , V 1 , V 2 ) is called an outer-independent Roman dominating function, abbreviated OIRDF, if V 0 is an independent set of G. Notice that then V 1 V 2 is a vertex cover of G. The outer-independent Roman domination number of G is the minimum weight among all outer-independent Roman dominating functions on G, and is denoted by γ o i R ( G ) . This parameter was introduced in [8] and also studied in [9,10,11].
All the previous parameters are, in one way or another, related to each other. Next, we show the most natural relationships that exist between them, which are easily deductible by definition.
Remark 1.
For any graph G of order n with no isolated vertex,
(i) 
γ ( G ) i ( G ) β ( G ) = n α ( G ) .
(ii) 
γ ( G ) γ R ( G ) γ o i R ( G ) .
For the graphs shown in Figure 1 we have the following.
  • γ ( G 1 ) = 2 < i ( G 1 ) < 4 = α ( G 1 ) = γ R ( G 1 ) < β ( G 1 ) < γ o i R ( G 1 ) = 6 .
  • γ ( G 2 ) = i ( G 2 ) = α ( G 2 ) = 2 < γ R ( G 2 ) = γ o i R ( G 2 ) = 3 < β ( G 2 ) = 5 .
In this paper, we continue the study of the outer-independent Roman domination number of graphs. For instance, in Section 2 we give some new relationships between this parameter and the others mentioned above. Several of these results improve other bounds previously given. Finally, in Section 3 we provide closed formulas for this parameter in rooted product graphs. In particular, we show that there are four possible expressions for the outer-independent Roman domination number of a rooted product graph, and we characterize the graphs reaching these expressions.

2. Bounds and Relationships with Other Parameters

Abdollahzadeh Ahangar et al. [8] in 2017, established the following result.
Theorem 1
([8]). For any graph G with no isolated vertex,
α ( G ) + 1 γ o i R ( G ) 2 α ( G ) .
Observe that any graph G with no isolated vertex, order n and maximum degree Δ , satisfies that 1 n α ( G ) Δ . It is also well-know that γ ( G ) α ( G ) , which implies α ( G ) + γ ( G ) 2 α ( G ) . With the above inequalities in mind, we state the following theorem, which improves the bounds given in Theorem 1.
Theorem 2.
For any graph G with no isolated vertex, order n and maximum degree Δ,
α ( G ) + n α ( G ) Δ γ o i R ( G ) α ( G ) + γ ( G ) .
Proof. 
We first prove the upper bound. Let D be a γ ( G ) -set and S an α ( G ) -set. Let g ( W 0 , W 1 , W 2 ) be a function defined by W 0 = V ( G ) \ ( D S ) , W 1 = ( D S ) \ ( D S ) and W 2 = D S . We claim that g is an OIRDF on G. Without loss of generality, we may assume that W 0 . Notice that W 0 = V ( G ) \ ( D S ) is an independent set of G as S is a vertex cover. Now, we prove that every vertex in W 0 has a neighbour in W 2 . Let x W 0 = V ( G ) \ ( D S ) . Since S is a vertex cover and D is a dominating set, we deduce that N ( x ) S and N ( x ) D , respectively. Hence N ( x ) D S , or equivalently, N ( x ) W 2 . Thus, g is an OIRDF on G, as required. Therefore, γ o i R ( G ) ω ( g ) = | ( D S ) \ ( D S ) | + 2 | D S | = α ( G ) + γ ( G ) .
We now proceed to prove the lower bound. Let f ( V 0 , V 1 , V 2 ) be a γ o i R ( G ) -function. By definition, we have that V 0 is an independent set, and so, V 1 V 2 is a vertex cover. Moreover, we note that every vertex in V 2 has at most Δ neighbours in V 0 . Hence, | V 0 | Δ | V 2 | . By inequality above, and the fact that n α ( G ) = β ( G ) | V 0 | , we have
Δ γ o i R ( G ) = Δ ( | V 1 | + 2 | V 2 | ) = Δ ( | V 1 | + | V 2 | ) + Δ | V 2 | Δ ( n | V 0 | ) + | V 0 | = n Δ ( Δ 1 ) | V 0 | n Δ ( Δ 1 ) ( n α ( G ) ) = Δ α ( G ) + ( n α ( G ) ) .
Therefore, γ o i R ( G ) α ( G ) + n α ( G ) Δ , which completes the proof. □
The bounds above are tight. To see this, let us consider the vertex cover Roman graphs G. These graphs were defined in [8] and satisfy the equality γ o i R ( G ) = 2 α ( G ) . Since γ ( G ) α ( G ) , we deduce that for every vertex cover Roman graph G it follows that γ o i R ( G ) = α ( G ) + γ ( G ) . Note also that both bounds are achieved for the graph G 1 given in Figure 1, i.e., α ( G 1 ) + | V ( G 1 ) | α ( G 1 ) Δ ( G 1 ) = γ o i R ( G 1 ) = α ( G 1 ) + γ ( G 1 ) .
The following result is an immediate consequence of Theorem 2.
Corollary 1.
If G is a graph such that γ ( G ) = 1 , then
γ o i R ( G ) = α ( G ) + 1 .
However, the graphs G with γ ( G ) = 1 are not the only ones that satisfy the equality γ o i R ( G ) = α ( G ) + 1 . For instance, the path P 4 satisfies that γ ( P 4 ) = 2 and γ o i R ( P 4 ) = 3 = α ( P 4 ) + 1 . In such a sense, we next give a theoretical characterization of the graphs that satisfy this equality above.
Theorem 3.
If G is a graph with no isolated vertex, then the following statements are equivalent.
(i) 
γ o i R ( G ) = α ( G ) + 1 .
(ii) 
There exist an α ( G ) -set S and a vertex v S such that V ( G ) \ S N ( v ) .
Proof. 
We first suppose that (i) holds, i.e., γ o i R ( G ) = α ( G ) + 1 . Let f ( V 0 , V 1 , V 2 ) be a γ o i R ( G ) -function such that | V 2 | is maximum. Hence, V 2 . Let v V 2 . Since V 1 V 2 is a vertex cover of G, it follows that α ( G ) + 1 ( | V 1 | + | V 2 | ) + | V 2 | = γ o i R ( G ) = α ( G ) + 1 . Hence, we have equalities in the previous inequality chain, which implies that S = V 1 V 2 is an α ( G ) -set and V 2 = { v } . So, V ( G ) \ S = V 0 N ( V 2 ) = N ( v ) . Therefore, (ii) follows.
On the other hand, suppose that (ii) holds, i.e., suppose there exist an α ( G ) -set S and v S such that V ( G ) \ S N ( v ) . Observe that the function g ( W 0 , W 1 , W 2 ) , defined by W 2 = { v } , W 1 = S \ { v } and W 0 = V ( G ) \ S , is an OIRDF on G. Therefore, and using the lower bound given in the Theorem 1, we obtain that α ( G ) + 1 γ o i R ( G ) ω ( g ) = | S | + 1 = α ( G ) + 1 . Hence, γ o i R ( G ) = α ( G ) + 1 , which completes the proof. □
A tree T is an acyclic connected graph. A leaf vertex of T is a vertex of degree one. The set of leaves is denoted by L ( T ) . We say that a vertex v V ( T ) is a support vertex (strong support vertex) if | N ( v ) L ( T ) | 1 ( | N ( v ) L ( T ) | 2 ). The set of support vertices and strong support vertices are denoted by S ( T ) and S s ( T ) , respectively.
With this notation in mind, we next characterize the trees T with γ o i R ( T ) = α ( T ) + 1 . Before we do this, we shall need to state the following useful lemma, in which d i a m ( T ) represents the diameter of T.
Lemma 1.
If T is a tree such that γ o i R ( T ) = α ( T ) + 1 , then the following statements hold.
(i) 
d i a m ( T ) 4 .
(ii) 
V ( T ) = L ( T ) S ( T ) .
Proof. 
We first proceed to prove (i). By Theorem 3 there exist an α ( T ) -set S and v S such that V ( T ) \ S N ( v ) . Now, we suppose that k = d i a m ( T ) 5 . Let P = v 0 v 1 v k 1 v k be a diametrical path of T. Hence, { v 0 , v 1 , v k 1 , v k } ( V ( T ) \ S ) ¬ N ( v ) , which is a contradiction. Therefore, d i a m ( T ) 4 , as desired.
Finally, we proceed to prove (ii). By (i) we have that d i a m ( T ) 4 . If V ( T ) \ ( L ( T ) S ( T ) ) , then for every α ( T ) -set S and v S it follows that V ( T ) \ S ¬ N ( v ) , which is a contradiction with Theorem 3. Hence, V ( T ) = L ( T ) S ( T ) , which completes the proof. □
Let T be the family of trees T r , s of order r + s + 1 with r 1 and r 1 s 0 , obtained from a star K 1 , r by subdividing s edges exactly once. In Figure 2 we show the tree T 5 , 3 .
Theorem 4.
Let T be a nontrivial tree. Then γ o i R ( T ) = α ( T ) + 1 if and only if T T .
Proof. 
If T T , then it is easy to check that γ o i R ( T ) = α ( T ) + 1 . Now, we prove the converse. Let T be a nontrivial tree such that γ o i R ( T ) = α ( T ) + 1 . By Lemma 1-(i) we have that d i a m ( T ) 4 . If d i a m ( T ) 2 , then T T r , 0 T . If d i a m ( T ) = 3 , then T T r , 1 T . We now suppose that d i a m ( T ) = 4 . By Lemma 1-(ii) we have that V ( T ) = L ( T ) S ( T ) . We claim that for any diametrical path P = v 0 v 1 v 2 v 3 v 4 of T, it follows that v 1 , v 3 S ( T ) \ S s ( T ) . First, we observe that v 1 , v 3 S ( T ) . Without loss of generality, suppose that v 1 S s ( T ) . Hence, v 1 belongs to every α ( T ) -set. By Theorem 3 there exist an α ( T ) -set S and v S such that V ( T ) \ S N ( v ) . Since v 0 V ( T ) \ S , then v = v 1 . Notice also that { v 3 , v 4 } ( V ( T ) \ S ) ¬ N ( v 1 ) , which is a contradiction. Therefore, v 1 , v 3 S ( T ) \ S s ( T ) , as desired. From above, we deduce that T T r , s T , where r 3 and r 1 s 2 . Therefore, the proof is complete. □
The following result is another consequence of Theorem 2.
Theorem 5.
Let G be a graph with no isolated vertex. For any γ R ( G ) -function f ( V 0 , V 1 , V 2 ) ,
γ o i R ( G ) γ R ( G ) + α ( G ) | V 2 | .
Proof. 
Let f ( V 0 , V 1 , V 2 ) be a γ R ( G ) -function. Since V 1 V 2 is a dominating set of G, it follows that γ ( G ) | V 1 | + | V 2 | = γ R ( G ) | V 2 | . Therefore, Theorem 2 leads to γ o i R ( G ) α ( G ) + γ ( G ) γ R ( G ) + α ( G ) | V 2 | , which completes the proof. □
The bound above is tight. For instance, in the corona graph G N r with r 3 , the unique γ R ( G N r ) -function f ( V 0 , V 1 , V 2 ) , defined by V 2 = V ( G ) and V 1 = , is also a γ o i R ( G N r ) -function, and so, γ R ( G N r ) = γ o i R ( G N r ) = γ R ( G N r ) + α ( G N r ) | V 2 | = 2 | V ( G ) | . The following result, which is a consequence of Remark 1 and Theorem 5, generalizes the previous example.
Proposition 1.
If there exists a γ R ( G ) -function f ( V 0 , V 1 , V 2 ) such that | V 2 | = α ( G ) , then
γ o i R ( G ) = γ R ( G ) .
We now relate the outer-independent Roman domination number with other domination parameters of graphs. Before, we shall state the following proposition.
Proposition 2.
For any graph G with no isolated vertex, there exists a γ o i R ( G ) -function f ( V 0 , V 1 , V 2 ) such that V 0 is an independent dominating set of G.
Proof. 
Let f ( V 0 , V 1 , V 2 ) be a γ o i R ( G ) -function such that | V 2 | is maximum. By definition we have that V 0 is an independent set. We next prove that V 0 is a dominating set of G. It is clear that V 2 N ( V 0 ) . Let v V 1 . If N ( v ) V 1 V 2 , then the function f ( V 0 , V 1 , V 2 ) , defined by f ( v ) = 0 , f ( u ) = f ( u ) + 1 for some vertex u N ( v ) V 1 and f ( x ) = f ( x ) whenever x V ( G ) \ { v , u } , is a γ o i R ( G ) -function and | V 2 | > | V 2 | , which is a contradiction. Hence, N ( v ) V 0 , which implies that V 0 is an independent dominating set of G, as desired. □
Theorem 6.
For any graph G with no isolated vertex, order n, minimum degree δ and maximum degree Δ,
i ( G ) δ Δ + 1 γ o i R ( G ) n i ( G ) + γ ( G ) .
Proof. 
The upper bound follows by Theorem 2 and the fact that α ( G ) = n β ( G ) n i ( G ) . Now, we proceed to prove the lower bound. Let f ( V 0 , V 1 , V 2 ) be a γ o i R ( G ) -function which satisfies Proposition 2. Since every vertex in V 1 V 2 has at most Δ neighbours in V 0 and V 0 is an independent dominating set, it follows that δ | V 0 | Δ ( | V 1 | + | V 2 | ) and | V 0 | i ( G ) . Hence,
γ o i R ( G ) = ( | V 1 | + | V 2 | ) + | V 2 | | V 0 | δ Δ + | V 2 | i ( G ) δ Δ + 1 .
Therefore, the proof is complete. □
The bounds above are tight. For example, the lower bound is achieved for the complete bipartite graphs K r , r , where γ o i R ( K r , r ) = r + 1 = r 2 r + 1 = i ( K r , r ) δ ( K r , r ) Δ ( K r , r ) + 1 . In addition, the upper bound is achieved for the case of complete graphs, and in connection with this fact, we pose the following question.
Open question: Is it the case that γ o i R ( G ) = n i ( G ) + γ ( G ) if and only if G is a complete graph?
Next, we give new bounds for the outer-independent Roman domination number of triangle-free graphs. Recall that in these graphs, no pair of adjacent vertices can have a common neighbor. For this purpose, we shall need to introduce the following definitions.
A set S V ( G ) is a 3-packing if the distance between u and v is greater than three for every pair of different vertices u , v S . The 3-packing number of G, denoted by ρ 3 ( G ) , is the maximum cardinality among all 3-packings of G. We also define
P 3 ( G ) = { S V ( G ) : S is a 3 - packing of G } .
Theorem 7.
For any triangle-free graph G of order n,
γ o i R ( G ) n max S P 3 ( G ) v S ( deg ( v ) 1 ) .
Proof. 
Let S P 3 ( G ) . As G is triangle-free, it follows that N ( v ) is an independent set of G for every v V ( G ) . Hence, N ( S ) is an independent set of G, which implies that the function f ( V 0 , V 1 , V 2 ) , defined by V 2 = S , V 0 = N ( S ) and V 1 = V ( G ) \ N [ S ] , is an OIRDF on G. Thus, γ o i R ( G ) 2 | V 2 | + | V 1 | = 2 | S | + ( n | N [ S ] | ) = n v S ( deg ( v ) 1 ) . Since the inequality holds for every S P 3 ( G ) , the result follows. □
Corollary 2.
For any triangle-free graph G of order n and minimum degree δ,
γ o i R ( G ) n ρ 3 ( G ) ( δ 1 ) .
In [8], the bound γ o i R ( G ) n Δ ( G ) + 1 was given for the case of triangle-free graph. Next, we state a result which improve the bound above for the triangle-free graphs G that satisfy the condition d i a m ( G ) ( δ ( G ) 1 ) 4 ( Δ ( G ) 1 ) .
Proposition 3.
Let G be a connected triangle-free graph of order n, minimum degree δ and maximum degree Δ. If d i a m ( G ) 4 , then
γ o i R ( G ) n d i a m ( G ) 4 ( δ 1 ) .
Proof. 
Assume that d i a m ( G ) 4 . Let P = v 0 v 1 v k be a diametrical path of G (notice that k = d i a m ( G ) ), and S = { v 0 , v 4 , , v 4 k / 4 } . It is easy to see that S P 3 ( G ) , and so, by Theorem 7 we deduce that γ o i R ( G ) n v S ( deg ( v ) 1 ) n d i a m ( G ) 4 ( δ 1 ) which completes the proof. □
The bounds given in Corollary 2 and Proposition 3 are tight. For instance, they are achieved for the cycle C 10 .

3. Rooted Product Graphs

Let G be a graph of order n with vertex set { u 1 , , u n } and H a graph with root v V ( H ) . The rooted product graph G v H is defined as the graph obtained from G and n copies of H, by identifying the vertex u i of G with the root v in the i t h -copy of H, where i { 1 , , n } [12]. If H or G is a trivial graph, then G v H is equal to G or H, respectively. In this sense, to obtain the rooted product G v H , hereafter we will only consider graphs G and H of orders at least two. Figure 3 shows an example of a rooted product graph.
For every x V ( G ) , H x will denote the copy of H in G v H containing x. The restriction of any γ o i R ( G v H ) -function f to V ( H x ) will be denoted by f x and the restriction to V ( H x ) \ { x } will be denoted by f x .
If v is a vertex of a graph H, then the subgraph H v is the subgraph of H induced by V ( H ) \ { v } . The following three results will be the main tools to deduce our results.
Lemma 2.
Let H be a graph without isolated vertices. For any v V ( H ) ,
γ o i R ( H v ) γ o i R ( H ) 1 .
Proof. 
Let g be a γ o i R ( H v ) -function. Notice that the function g, defined by g ( v ) = 1 and g ( u ) = g ( u ) whenever u V ( H ) \ { v } , is an OIRDF on H. Hence, γ o i R ( H ) 1 ω ( g ) 1 = ω ( g ) = γ o i R ( H v ) , which completes the proof. □
Lemma 3.
Let G and H be two graphs without isolated vertices. If G has order n and v V ( H ) , then the following statements hold.
(i) 
If g ( v ) = 0 for some γ o i R ( H ) -function g, then γ o i R ( G v H ) α ( G ) + n γ o i R ( H ) .
(ii) 
If g ( v ) > 0 for some γ o i R ( H ) -function g, then γ o i R ( G v H ) n γ o i R ( H ) .
(iii) 
If there exists a γ o i R ( H v ) -function g such that g ( x ) > 0 for every x N ( v ) , then γ o i R ( G v H ) γ o i R ( G ) + n γ o i R ( H v ) .
Proof. 
From any γ o i R ( H ) -function g such that g ( v ) = 0 and any α ( G ) -set, we can construct an OIRDF on G v H of weight α ( G ) + n γ o i R ( H ) . Thus, γ o i R ( G v H ) α ( G ) + n γ o i R ( H ) and (i) follows.
Now, if there exists a γ o i R ( H ) -function g such that g ( v ) > 0 , then from g we can construct an OIRDF on G v H of weight n ω ( g ) . Thus, γ o i R ( G v H ) n ω ( g ) = n γ o i R ( H ) , and (ii) follows.
Finally, if there exists a γ o i R ( H v ) -function g such that g ( x ) > 0 for every x N ( v ) , then from g and any γ o i R ( G ) -function we can construct an OIRDF on G v H of weight γ o i R ( G ) + n γ o i R ( H v ) , which completes the proof. □
Lemma 4.
Let f ( V 0 , V 1 , V 2 ) be a γ o i R ( G v H ) -function. The following statements hold for any vertex x V ( G ) .
(i) 
ω ( f x ) γ o i R ( H ) 1 .
(ii) 
If ω ( f x ) = γ o i R ( H ) 1 , then x V 0 and N ( x ) V ( H x ) V 1 .
Proof. 
Let x V ( G ) . Observe that V 0 V ( H x ) is an independent set of H x and also, every vertex in V 0 ( V ( H x ) \ { x } ) has a neighbour in V 2 V ( H x ) . So, it is easy to see that the function g, defined by g ( x ) = max { 1 , f ( x ) } and g ( u ) = f ( u ) whenever u V ( H x ) \ { x } , is an OIRDF on H x . Hence, γ o i R ( H ) 1 = γ o i R ( H x ) 1 ω ( g ) 1 ω ( f x ) , which completes the proof of (i).
Now, we suppose that ω ( f x ) = γ o i R ( H ) 1 . If x V 1 V 2 or x V 0 and N ( x ) V ( H x ) V 2 , then f x is an OIRDF on H x , which is a contradiction. Hence, x V 0 and as V 0 V ( H x ) is an independent set, we deduce that N ( x ) V ( H x ) V 1 , which completes the proof. □
From Lemma 4 (i) we deduce that any γ o i R ( G v H ) -function f induces three subsets A f , B f and C f of V ( G ) as follows.
A f = { x V ( G ) : ω ( f x ) > γ o i R ( H ) } , B f = { x V ( G ) : ω ( f x ) = γ o i R ( H ) } , C f = { x V ( G ) : ω ( f x ) = γ o i R ( H ) 1 } .
Next, we state the four possible values of γ o i R ( G v H ) .
Theorem 8.
Let G and H be two graphs with no isolated vertex and | V ( G ) | = n . If v V ( H ) , then
γ o i R ( G v H ) { α ( G ) + n γ o i R ( H ) , n γ o i R ( H ) , γ o i R ( G ) + n ( γ o i R ( H ) 1 ) , α ( G ) + n ( γ o i R ( H ) 1 ) } .
Proof. 
Let f ( V 0 , V 1 , V 2 ) be a γ o i R ( G v H ) -function. By Lemma 3 (i) and (ii) we deduce the upper bound γ o i R ( G v H ) α ( G ) + n γ o i R ( H ) . Now, we consider the subsets A f , B f , C f V ( G ) associated to f and distinguish the following cases.
Case 1. C f = . In this case, for any x V ( G ) we have that ω ( f x ) γ o i R ( H ) and, as a consequence, γ o i R ( G v H ) = ω ( f ) n γ o i R ( H ) . If A f = , then γ o i R ( G v H ) = n γ o i R ( H ) . Hence, assume that A f . This implies that ω ( f ) > n γ o i R ( H ) . Moreover, we note that B f because α ( G ) < n and ω ( f ) α ( G ) + n γ o i R ( H ) . Thus, by Lemma 3 (ii) we obtain that B f V 0 , and as V 0 is an independent set, we have that A f is a vertex cover of G. Therefore,
γ o i R ( G v H ) = x A f ω ( f x ) + x B f ω ( f x ) x A f ( γ o i R ( H ) + 1 ) + x B f γ o i R ( H ) = | A f | + x V ( G ) γ o i R ( H ) α ( G ) + n γ o i R ( H ) .
Hence, γ o i R ( G v H ) = α ( G ) + n γ o i R ( H ) .
Case 2. C f . Let z C f . By Lemma 4 (ii) we obtain that z V 0 and N ( z ) V ( H z ) V 1 . Hence, f z is an OIRDF on H z z , and so γ o i R ( H v ) = γ o i R ( H z z ) ω ( f z ) = γ o i R ( H ) 1 . Thus, Lemma 2 leads to γ o i R ( H z z ) = γ o i R ( H ) 1 . This implies that f z is a γ o i R ( H z z ) -function which satisfies Lemma 3 (iii). Therefore, γ o i R ( G v H ) γ o i R ( G ) + n ( γ o i R ( H ) 1 ) .
Now, observe the following inequality chain.
γ o i R ( G v H ) = x A f B f ω ( f x ) + x C f ω ( f x ) ( 2 | A f | + | B f | ) + n ( γ o i R ( H ) 1 ) .
By Lemma 4 (ii) we have that C f V 0 , which implies that A f B f is a vertex cover of G. Thus, Inequality chain (1) leads to γ o i R ( G v H ) = ω ( f ) α ( G ) + n ( γ o i R ( H ) 1 ) . Next, we consider the following two subcases.
Subcase 1. There exists a γ o i R ( H ) -function g such that g ( v ) = 2 . Let D be an α ( G ) -set. From D, g and f z , we define a function h on G v H as follows. For every x D , the restriction of h to V ( H x ) is induced from g. Moreover, if x V ( G ) \ D , then the restriction of h to V ( H x ) is induced from f z . By the construction of g and f z , it is straightforward to see that h is an OIRDF on G v H . Thus,
γ o i R ( G v H ) x D ω ( h x ) + x V ( G ) \ D ω ( h x ) = x D ω ( g ) + x V ( G ) \ D ω ( f z ) = x D γ o i R ( H ) + x V ( G ) \ D ( γ o i R ( H ) 1 ) = | D | + x V ( G ) ( γ o i R ( H ) 1 ) = α ( G ) + n ( γ o i R ( H ) 1 ) .
Therefore, γ o i R ( G v H ) = α ( G ) + n ( γ o i R ( H ) 1 ) .
Subcase 2. g ( v ) 1 for every γ o i R ( H ) -function g. This condition implies that V 2 B f = . Since every vertex x C f has a neighbour in V 2 , and as Lemma 4 (ii) leads to N ( x ) V ( H x ) V 1 , then we deduce that N ( x ) V 2 A f . Hence, and as C f V 0 , the function f ( V 0 , V 1 , V 2 ) , defined by V 2 = A f , V 1 = B f and V 0 = C f , is an OIRDF on G. So γ o i R ( G ) ω ( f ) = 2 | A f | + | B f | . Therefore, Inequality chain (1) leads to γ o i R ( G v H ) γ o i R ( G ) + n ( γ o i R ( H ) 1 ) , which implies that γ o i R ( G v H ) = γ o i R ( G ) + n ( γ o i R ( H ) 1 ) .
Therefore, the proof is complete. □
In order to see that the four possible values of γ o i R ( G v H ) described in Theorem 8 are realizable, we consider the following example.
Example 1.
Let G be a graph with no isolated vertex. If H is the graph shown in Figure 4, then the resulting values of γ o i R ( G x H ) for some specific roots x V ( H ) are described below.
  • γ o i R ( G v H ) = α ( G ) + n γ o i R ( H ) .
  • γ o i R ( G w H ) = n γ o i R ( H ) .
  • γ o i R ( G v H ) = γ o i R ( G ) + n ( γ o i R ( H ) 1 ) .
  • γ o i R ( G w H ) = α ( G ) + n ( γ o i R ( H ) 1 ) .
Now, we characterize the graphs with γ o i R ( G v H ) = α ( G ) + n γ o i R ( H ) .
Theorem 9.
Let G and H be two graphs with no isolated vertex, let | V ( G ) | = n and v V ( H ) . The following statements are equivalent.
(i) 
γ o i R ( G v H ) = α ( G ) + n γ o i R ( H ) .
(ii) 
g ( v ) = 0 for every γ o i R ( H ) -function g.
Proof. 
We first assume that (i) holds, i.e., γ o i R ( G v H ) = α ( G ) + n γ o i R ( H ) . If there exists a γ o i R ( H ) -function g such that g ( v ) > 0 , then by Lemma 3 (ii) it follows that γ o i R ( G v H ) n γ o i R ( H ) , which is a contradiction. Therefore, (ii) holds.
On the other hand, we assume that (ii) holds, i.e., g ( v ) = 0 for every γ o i R ( H ) -function g. Let f ( V 0 , V 1 , V 2 ) be a γ o i R ( G v H ) -function. If C f , then by Lemma 4 (ii) we can obtain a γ o i R ( H ) -function g such that g ( v ) = 1 , which is a contradiction. Hence, C f = , and so, by Theorem 8 we deduce that γ o i R ( G v H ) { α ( G ) + n γ o i R ( H ) , n γ o i R ( H ) } . Now, suppose that γ o i R ( G v H ) = n γ o i R ( H ) . Since C f = , it follows that B f = V ( G ) and as V 0 is an independent set, there exists x B f \ V 0 . This implies that f x is a γ o i R ( H x ) -function such that f x ( x ) > 0 , which is a contradiction. Therefore, γ o i R ( G v H ) = α ( G ) + n γ o i R ( H ) , which completes the proof. □
Next, we characterize the graphs with γ o i R ( G v H ) = α ( G ) + n ( γ o i R ( H ) 1 ) .
Theorem 10.
Let G and H be two graphs with no isolated vertex, let | V ( G ) | = n and v V ( H ) . The following statements are equivalent.
(i) 
γ o i R ( G v H ) = α ( G ) + n ( γ o i R ( H ) 1 ) .
(ii) 
There exist two γ o i R ( H ) -functions g 1 and g 2 such that g 1 ( x ) = 1 for every x N [ v ] and g 2 ( v ) = 2 .
Proof. 
We first assume that (i) holds, i.e., γ o i R ( G v H ) = α ( G ) + n ( γ o i R ( H ) 1 ) . Let f ( V 0 , V 1 , V 2 ) be a γ o i R ( G v H ) -function. As α ( G ) < n , it follows that C f , and so, by Lemma 4 (ii) we can obtain a γ o i R ( H ) -function g 1 such that g 1 ( x ) = 1 for every x N [ v ] . Moreover, if g ( v ) 1 for every γ o i R ( H ) -function g, then, by proceeding analogously to Subcase 2 in the proof of Theorem 8 we deduce that γ o i R ( G v H ) γ o i R ( G ) + n ( γ o i R ( H ) 1 ) , which is a contradiction as γ o i R ( G ) > α ( G ) . Therefore, there exists a γ o i R ( H ) -function g 2 such that g 2 ( v ) = 2 , and (ii) follows.
On the other hand, we assume that there exist two γ o i R ( H ) -functions g 1 and g 2 such that g 1 ( x ) = 1 for every x N [ v ] and g 2 ( v ) = 2 . Let D be an α ( G ) -set and let g 1 be a function on H such that g 1 ( v ) = 0 and g 1 ( x ) = g 1 ( x ) whenever x V ( H ) \ { v } . From D, g 1 and g 2 , we define a function h on G v H as follows. For every x D , the restriction of h to V ( H x ) is induced from g 2 . Moreover, if x V ( G ) \ D , then the restriction of h to V ( H x ) is induced from g 1 . Notice that h is an OIRDF on G v H , and so γ o i R ( G v H ) ω ( h ) = | D | γ o i R ( H ) + | V ( G ) \ D | ( γ o i R ( H ) 1 ) = α ( G ) + n ( γ o i R ( H ) 1 ) . Therefore, Theorem 8 leads to γ o i R ( G v H ) = α ( G ) + n ( γ o i R ( H ) 1 ) , which completes the proof. □
Next we proceed to characterize the graphs with γ o i R ( G v H ) = γ o i R ( G ) + n ( γ o i R ( H ) 1 ) . Notice that it is excluded the case γ o i R ( G ) = n , since then γ o i R ( G v H ) = n γ o i R ( H ) .
Theorem 11.
Let G be a graph of order n with no isolated vertex such that γ o i R ( G ) < n and let H be a graph with no isolated vertex and v V ( H ) . The following statements are equivalent.
(i) 
γ o i R ( G v H ) = γ o i R ( G ) + n ( γ o i R ( H ) 1 ) .
(ii) 
g ( v ) 1 for every γ o i R ( H ) -function g and also, there exists a γ o i R ( H ) -function g 1 such that g 1 ( x ) = 1 for every x N [ v ] .
Proof. 
We first assume that (i) holds, i.e., γ o i R ( G v H ) = γ o i R ( G ) + n ( γ o i R ( H ) 1 ) . Let f ( V 0 , V 1 , V 2 ) be a γ o i R ( G v H ) -function. Since γ o i R ( G ) < n , it follows that C f , and so, by Lemma 4 (ii) we can obtain a γ o i R ( H ) -function g 1 such that g 1 ( x ) = 1 for every x N [ v ] . Moreover, if there exists a γ o i R ( H ) -function g 2 such that g 2 ( v ) = 2 , then by Theorem 10 we deduce that γ o i R ( G v H ) = α ( G ) + n ( γ o i R ( H ) 1 ) , which is a contradiction as γ o i R ( G ) > α ( G ) . Therefore, g ( v ) 1 for every γ o i R ( H ) -function g, which implies that (ii) follows.
On the other side, we assume that g ( v ) 1 for every γ o i R ( H ) -function g and also, that there exists a γ o i R ( H ) -function g 1 such that g 1 ( x ) = 1 for every x N [ v ] . Under these assumptions, observe that the function g 1 restricted to V ( H ) \ { v } , namely g 1 , is an OIRDF on H v . Hence, γ o i R ( H v ) ω ( g 1 ) = ω ( g 1 ) 1 = γ o i R ( H ) 1 and by Lemma 2 we deduce that γ o i R ( H v ) = γ o i R ( H ) 1 . Hence, g 1 is a γ o i R ( H v ) -function which satisfies Lemma 3 (iii). Therefore, Lemma 3 and Theorem 8 lead to γ o i R ( G v H ) { γ o i R ( G ) + n ( γ o i R ( H ) 1 ) , α ( G ) + n ( γ o i R ( H ) 1 ) } . Finally, as g ( v ) 1 for every γ o i R ( H ) -function g, by Theorem 10 we deduce that γ o i R ( G v H ) = γ o i R ( G ) + n ( γ o i R ( H ) 1 ) , which completes the proof. □
From Theorem 8 we have that there are four possible expressions for γ o i R ( G v H ) . Theorems 9–11 characterize three of these expressions. In the case of the expression γ o i R ( G v H ) = n γ o i R ( H ) , the corresponding characterization can be derived by elimination from the previous results.

Author Contributions

All authors contributed equally to this work. Investigation, A.C.M., S.C.G., A.C.G. and A.M.G.d.R; writing—review and editing, A.C.M., S.C.G., A.C.G. and A.M.G.d.R. All authors have read and agreed to the published version of the manuscript.

Funding

This research received no external funding.

Conflicts of Interest

The authors declare no conflict of interest.

References

  1. Haynes, T.W.; Hedetniemi, S.T.; Slater, P.J. Fundamentals of Domination in Graphs; Chapman and Hall/CRC Pure and Applied Mathematics Series; Marcel Dekker, Inc.: New York, NY, USA, 1998. [Google Scholar]
  2. Haynes, T.W.; Hedetniemi, S.T.; Slater, P.J. Domination in Graphs: Advanced Topics; Chapman and Hall/CRC Pure and Applied Mathematics Series; Marcel Dekker, Inc.: New York, NY, USA, 1998. [Google Scholar]
  3. Gallai, T. Über extreme Punkt-und Kantenmengen. Ann. Univ. Sci. Budapestinensis Rolando Eötvös Nomin. Sect. Math. 1959, 2, 133–138. [Google Scholar]
  4. Berge, C. Theory of Graphs and Its Applications; CRC Press: Methuen, MA, USA; London, UK, 1962. [Google Scholar]
  5. Ore, O. Theory of Graphs; American Mathematical Society: Providence, RI, USA, 1962; pp. 206–212. [Google Scholar]
  6. Goddard, W.; Henning, M.A. Independent domination in graphs: A survey and recent results. Discret. Math. 2013, 313, 839–854. [Google Scholar] [CrossRef]
  7. Cockayne, E.J.; Dreyer, P.A., Jr.; Hedetniemi, S.M.; Hedetniemi, S.T. Roman domination in graphs. Discret. Math. 2004, 278, 11–22. [Google Scholar] [CrossRef] [Green Version]
  8. Abdollahzadeh Ahangar, H.; Chellali, M.; Samodivkin, V. Outer independent Roman dominating functions in graphs. Int. J. Comput. Math. 2017, 94, 2547–2557. [Google Scholar] [CrossRef]
  9. Cabrera Martínez, A.; Kuziak, D.; Yero, I.G. A constructive characterization of vertex cover Roman trees. Discuss. Math. Graph Theory 2018, 41, 267–283. [Google Scholar] [CrossRef]
  10. Dehgardi, N.; Chellali, M. Outer-independent Roman domination number of tree. IEEE Access 2018, 6, 35544–35550. [Google Scholar]
  11. Sheikholeslami, S.M.; Nazari-Moghaddam, S. On trees with equal Roman domination and outer-independent Roman domination numbers. Commun. Comb. Optim. 2019, 4, 185–199. [Google Scholar]
  12. Godsil, C.D.; McKay, B.D. A new graph product and its spectrum. Bull. Aust. Math. Soc. 1978, 18, 21–28. [Google Scholar] [CrossRef] [Green Version]
Figure 1. The labels of (gray and black) coloured vertices describe the positive weights of a γ o i R ( G i ) -function, for i { 1 , 2 } .
Figure 1. The labels of (gray and black) coloured vertices describe the positive weights of a γ o i R ( G i ) -function, for i { 1 , 2 } .
Symmetry 12 01846 g001
Figure 2. The tree T 5 , 3 .
Figure 2. The tree T 5 , 3 .
Symmetry 12 01846 g002
Figure 3. The rooted product graph G v H .
Figure 3. The rooted product graph G v H .
Symmetry 12 01846 g003
Figure 4. The labels of (gray and black) coloured vertices describe the positive weights of a γ o i R ( H ) -function.
Figure 4. The labels of (gray and black) coloured vertices describe the positive weights of a γ o i R ( H ) -function.
Symmetry 12 01846 g004
Publisher’s Note: MDPI stays neutral with regard to jurisdictional claims in published maps and institutional affiliations.

Share and Cite

MDPI and ACS Style

Martínez, A.C.; García, S.C.; Carrión García, A.; Grisales del Rio, A.M. On the Outer-Independent Roman Domination in Graphs. Symmetry 2020, 12, 1846. https://doi.org/10.3390/sym12111846

AMA Style

Martínez AC, García SC, Carrión García A, Grisales del Rio AM. On the Outer-Independent Roman Domination in Graphs. Symmetry. 2020; 12(11):1846. https://doi.org/10.3390/sym12111846

Chicago/Turabian Style

Martínez, Abel Cabrera, Suitberto Cabrera García, Andrés Carrión García, and Angela María Grisales del Rio. 2020. "On the Outer-Independent Roman Domination in Graphs" Symmetry 12, no. 11: 1846. https://doi.org/10.3390/sym12111846

Note that from the first issue of 2016, this journal uses article numbers instead of page numbers. See further details here.

Article Metrics

Back to TopTop