# 5 - arXiv.org

## Transcription

5 - arXiv.org

THE SIGNED ROMAN DOMINATION NUMBER OF SOME GRAPHS arXiv:1411.7208v1 [math.CO] 26 Nov 2014 ALI BEHTOEI ∗ , EBRAHIM VATANDOOST, FEZZEH AZIZI RAJOL ABAD Abstract. A signed Roman domination function (simply, a “SRDF”) on a graph G = (V, E) is a funcP tion f : V (G) → {−1, 1, 2} which satisfies two following conditions: a) For each x ∈ V , xy∈E f (y) ≥ 1. P b) Each vertex x with f (x) = −1 has a neighbor y with f (y) = 2. The value f (V ) = x∈V f (x) is called the weight of the function f . The signed Roman domination number of G, denoted by γsR (G), is the smallest integer k such that G has a SRDF of weight k. In this paper we study and determine the signed Roman domination number of some graphs like wheel, fan, friendship and the Petersen graph. Moreover, we provide a lower bound for the signed Roman domination number of regular graphs. 1. Introduction Let G be a simple graph with the vertex set V (G) and the edge set E(G). The order of G is |V (G)|. For each vertex v ∈ V (G), the open neighborhood of v in G is the set N (v) = {u ∈ V (G) : uv ∈ E(G)} and the closed neighborhood of v in G is the set N [v] = N (v) ∪ {v}. The degree of a vertex v in G is given by deg(v) = |N (v)|. The minimum degree and the maximum degree of G are denoted by ∆(G) and δ(G), respectively. A graph is called k-regular if each vertex of it has degree k. A subset S of V (G) is independent if there exist no two adjacent vertices in S. The independent number of G is the maximum size of an independent set in G. A set D ⊆ V (G) is called a dominating set of G if each vertex outside D has at least one neighbor in D. The minimum cardinality of a dominating set of G is the domination number of G and is denoted by γ(G). For example, the domination numbers of the n-vertex complete graph, path, or cycle are given by γ(Kn ) = 1, γ(Pn ) = ⌈ n3 ⌉ and γ(Cn ) = ⌈ n3 ⌉, respectively [5]. Domination is a rapidly developing area of research in graph theory, and its various applications to ad hoc networks, distributed computing, social networks, biological networks and web graphs partly explain the increased interest. The concept of domination has existed and studied for a long time and early discussions on the topic can be found in the works of Ore [7] and Berge [2]. At present, domination is considered to be one of the fundamental concepts in graph theory with an extensive research activity. Garey and Johnson [4] have shown that determining the domination number of an arbitrary graph is an NP-complete problem. MSC(2010): Primary: 05C69; Secondary: 05C78. Keywords: Signed Roman domination, Petersen, Wheel, Fan, Friendship. ∗ Corresponding author. 1 2 The Signed Roman Domination Number Of Some Graphs A. Behtoei, E. Vatandoost, F. Azizi The domination number can be defined equivalently by means of a function, which can be considered as a characteristic function of a dominating set [5]. A function f : V (G) → {0, 1} is called a dominating P P function on G if for each vertex x ∈ V (G), y∈N [x] f (y) ≥ 1. The value w(f ) = x∈V (G) f (x) is called the weight of f . Now the domination number of G can be defined as γ(G) = min{w(f ) : f is a domination function on G}. Analogously, a signed domination function of G is a labeling of the vertices of G with +1 and −1 such that the closed neighborhood of each vertex contains more +1’s than −1’s. The signed domination number of G is the minimum value of the sum of vertex labels, taken over all signed domination functions of G. This concept is closely related to combinatorial discrepancy theory as shown by F¨ uredi and Mubayi in [3]. In general, many domination parameters can be defined by combining domination with other graph theoretical properties. Definition 1.1. [1] Let G = (V, E) be a graph. A signed Roman domination function (simply, a “SRDF”) on the graph G is a function f : V → {−1, 1, 2} which satisfies two following conditions: P (a) For each x ∈ V , xy∈E f (y) ≥ 1, (b) Each vertex x with f (x) = −1 has a neighbor y with f (y) = 2. P The value f (V ) = x∈V f (x) is called the weight of the function f and is denoted by w(f ). The signed Roman domination number of G, γsR (G), is the minimum weight of a SRDF on G. These concepts are introduced by Ahangar et al. in [1]. They described the usefulness of these concepts in various applicative areas like “defending the Roman empire”, see [9] and [6] for more details. It is obvious that for every graph G of order n we have γsR (G) ≤ n, because assigning +1 to each vertex yields a SRDF. In [1] Ahangar et al. present various lower and upper bounds on the signed Roman domination number of a graph in terms of it’s order and size. Moreover, they characterized all graphs which attain these bounds. They also study the signed Roman domination number of some special bipartite graphs, and the relation between γsR and some other graphical parameters. It is 2n proved in [1] that γsR (Kn ) = 1 for each n 6= 3, γsR (K3 ) = 2, γsR (Cn ) = ⌈ 2n 3 ⌉, γsR (Pn ) = ⌊ 3 ⌋, and that the only n-vertex graph G with γsR (G) = n is the empty graph K n . In [8] Sheikholeslami and Volkmann studied these concepts from another point of view as follow. A set {f1 , f2 , ..., fd } of distinct signed Roman dominating functions on G with the property that Pd i=1 fi (v) ≤ 1 for each v ∈ V (G), is called a signed Roman dominating family (of functions) on G. The maximum number of functions in a signed Roman dominating family on G is the signed Roman domatic number of G, and is denoted by dsR (G). They initiate the study of signed Roman domatic number in graphs and present some sharp bounds for dsR (G). In addition, they determine the signed Roman domatic number of some graphs like stars, paths, cycles, complete graphs, cactuses, and some regular graphs. Note that each signed Roman domination function f of G is uniquely determined by the ordered partition (V−1 , V1 , V2 ) of V (G), where Vi = f −1 (i) = {x ∈ V (G) : f (x) = i} for each i ∈ {−1, 1, 2}. The Signed Roman Domination Number Of Some Graphs A. Behtoei, E. Vatandoost, F. Azizi 3 Specially, w(f ) = 2|V2 | + |V1 | − |V−1 |. For convenience, we write f = (V−1 , V1 , V2 ) and, when S ⊆ V P we denote the sumation x∈S f (x) by f (S). In this paper, we provide a lower bound for the signed Roman domination number of regular graphs. Also, we determine the signed Roman domination numbers of some graphs like wheel, fan, friendship and the Petersen graph. 2. Main Results At first, we investigate the signed Roman domination number of the Petersen graph which is a 3-regular graph. For this reason we need the following lemma about regular graphs. Lemma 2.1. If G is a k-regular graph of order n, then γsR (G) ≥ n k+1 . Proof. Assume that V (G) = {x1 , x2 , ..., xn } and let f be a signed Roman domination function on the graph G of weight w(f ) = γsR (G). Thus, for each i, 1 ≤ i ≤ n, we have f (N [xi ]) ≥ 1. Also note that f (xi ) is counted in f (N [xi ]) and in f (N [xj ]) for each xj ∈ N (xi ). This means each f (xi ) is counted P k + 1 times in nj=1 f (N [xj ]). Therefore, γsR (G) = w(f ) = n X f (xi ) = i=1 n n j=1 j=1 1 X 1 X n f (N [xj ]) ≥ 1= , k+1 k+1 k+1 which completes the proof. Theorem 2.2. The signed Roman domination number of the Petersen graph is given by γsR (P ) = 5. Proof. Let f0 : V (P ) → {−1, 1, 2} be the labeling of the vertices of the Petersen graph which is illustrated in Figure 1 (b). It is easy to check that f0 is a SRDF on P and hence, γsR (P ) ≤ w(f0 ) = 5. x1 2 x6 x5 x4 x10 x7 x9 x8 (a) x2 x3 −1 −1 −1 1 1 2 1 −1 2 (b) Figure 1. The Petersen graph and a labelling on it. Now let f = (V−1 , V1 , V2 ) be a signed Roman domination function on P of the minimum weight. We want to show that w(f ) = 5. Since P is a 3-regular graph of order 10, Lemma 2.1 implies that w(f ) = γsR (P ) ≥ 3. Each vertex xi ∈ V (P ) has three neighbors, and f (NP [xi ]) ≥ 1. Hence, each vertex xi has at most two neighbors in V−1 , and if xi ∈ V−1 , then |NP (xi ) ∩ V−1 | ≤ 1. If |V2 | = 0, then we should have |V−1 | = 0. Hence w(f ) = 10 > 5, which is a contradiction. If 4 The Signed Roman Domination Number Of Some Graphs A. Behtoei, E. Vatandoost, F. Azizi |V2 | = 1, then |V−1 | ≤ 2 and w(f ) ≥ 2 − 1 − 1 + 7 × 1 > 5, which is a contradiction. Thus |V2 | ≥ 2. Now if |V−1 | ≤ 3, then w(f ) ≥ 2 × 2 − 3 + 5 > 5 which is a contradiction. Also, if |V−1 | ≥ 6, then w(f ) ≤ 4 × 2 − 6 < 3, a contradiction. Thus |V−1 | ∈ {4, 5}. Now we show that |V−1 | = 6 5, and hence |V−1 | = 4. Suppose on the contrary, that |V−1 | = 5. Since the independent number of the Petersen graph is 4 (see [10], pages 13-15), there exist two adjacent vertices in V−1 . By the symmetry and without loss of generality, assume that x1 and x2 are two adjacent vertices in V−1 , see Figure 1 (a). Since f (N [x1 ]) ≥ 1 and f (N [x2 ]) ≥ 1 we should have V−1 ∩ {x3 , x5 , x6 , x7 } = ∅. Thus |V−1 ∩ {x4 , x8 , x9 , x10 }| = 3. If {x8 , x9 } ⊆ V−1 , then f (N [x6 ]) < 0, a contradiction. Hence |V−1 ∩ {x8 , x9 }| = 1 which implies {x4 , x10 } ⊆ V−1 and f (N [x5 ]) < 0, a contradiction. We know that |V2 | ≥ 2. If |V2 | ≥ 3, then w(f ) ≥ 3 × 2 − 4 + 3 ≥ 5 and we are done. Suppose on the contrary, that |V2 | = 2. Thus each vertex of V2 has two distinct neighbors in V−1 . Let V2 = {u1 , u2 } and V−1 = {v1 , v2 , v3 , v4 } with {v1 , v2 } ⊆ N (u1 ) and {v3 , v4 } ⊆ N (u2 ). At first, assume that there exist two adjacent vertices in V−1 . Since P contains no triangle, E(P ) ∩ {v1 v2 , v3 v4 } = ∅. Without loss of generality, assume that two adjacent vertices in V−1 . Since P contains no cycle of length 4, u1 and u2 are not adjacent and hence they have a common neighbor x ∈ (N (u1 ) ∩ N (u2 )) \ V−1 , see [10] page 13. Similarly, v2 and v4 are not adjacent and have a common neighbor y ∈ / V2 , see Figure 2 (a) and (b). Thus f (y) = 1 and f (N [y]) ≤ 1 − 2 + 1 = 0, a contradiction. Now assume that V−1 is an independent set. Two vertices v2 and v3 are non-adjacent and hence have a common neighbor y. Since P is triangle-free, y is not adjacent to u1 , nor to u2 (see Figure 2 (c) and (d)). Hence f (N [y]) ≤ 1 − 2 + 1 = 0, which is a contradiction. These contradiction completes the proof. Note that f0 illustrated in Figure 1 (b) is a signed Roman domination function of minimum weight on P such that |V2 | = 3 and |V−1 | = 4. x u1 1 u2 v1 v2 2 u1 2 v3 v4 −1 −1 −1 −1 y 1 (a) v1 v2 (b) u2 2 2 v3 v4 −1 −1 y −1 1 (c) −1 (d) Figure 2. The graphs related to the proof of Theorem 2.2. Recall that the join of two graphs G1 and G2 , denoted by G1 ∨ G2 , is a graph with vertex set V (G1 ) ∪ V (G2 ) and edge set E(G1 ) ∪ E(G2 ) ∪ {uv : u ∈ V (G1 ), v ∈ V (G2 )}. For example K1 ∨ Pn is the fan Fn , K1 ∨ Cn is the wheel Wn , and the friendship graph F rn , n = 2m + 1, is the graph obtained by joining K1 to the m disjoint copies of K2 . For determining the signed Roman domination number of Wn , Fn and F rn we need the following useful lemma. Lemma 2.3. If G is a graph with ∆(G) = |V (G)| − 1, then γsR (G) ≥ 1. The Signed Roman Domination Number Of Some Graphs A. Behtoei, E. Vatandoost, F. Azizi 5 Proof. Let f be a signed Roman domination function on G such that w(f ) = γsR (G). Since ∆(G) = |V (G)| − 1, there exists x ∈ V (G) such that deg(x) = |V (G)| − 1. Since f is SRDF and N (x) = V (G) \ {x}, we have X γsR (G) = w(f ) = f (v) = f (x) + v∈V (G) X f (v) = f (N [x]) ≥ 1. v∈N (x) Theorem 2.4. Let Wn = K1 ∨ Cn be a wheel of order n + 1. Then ( 2 n=4 γsR (Wn ) = 1 n 6= 4. Proof. Assume that V (Wn ) = {v0 , v1 , v2 , ..., vn } and E(Wn ) = {v0 vi : 1 ≤ i ≤ n} ∪ {v1 v2 , v2 v3 , ..., vn−1 vn , vn v1 }. Since ∆(Wn ) = |V (Wn )| − 1, Lemma 2.3 implies that γsR (Wn ) ≥ 1. For the case n = 4 it is not hard to check by inspection that there exists no signed Roman domination function on W4 of weight 1 while, Figure 3 (a) illustrates an SRDF of weight 2. Hence γsR (W4 ) = 2. −1 1 −1 −1 −1 2 1 2 −1 1 1 (a) (b) Figure 3. Signed Roman domination labeling on W4 and W5 . 2 −1 −1 −1 2 −1 −1 2 −1 −1 −1 (a) 2 −1 2 1 −1 1 −1 −1 2 1 −1 −1 2 −1 2 −1 (b) 1 −1 1 −1 −1 1 (c) Figure 4. Signed Roman domination labeling of W12 , W10 and W8 . To complete the proof it is sufficient to provide a signed Roman domination function of weight 1 on Wn for each n 6= 4. For this reason we consider the following different cases. Case 1. n is odd. 6 The Signed Roman Domination Number Of Some Graphs A. Behtoei, E. Vatandoost, F. Azizi Define the function f : V (Wn ) → {−1, 1, 2} as i=0 2 f (vi ) = −1 i ≡ 1 (mod 2) 1 i ≥ 1, i ≡ 0 (mod 2). (2.1) Such a labeling is illustrated in Figure 3 (b) for n = 5 where, the central vertex is v0 , top one is v1 and v2 is the second vertex when the sense of traversal being clockwise. Note that each vertex in V−1 = f −1 (−1) is adjacent to v0 ∈ f −1 (2). Also, it is easy to check that 1 i ∈ {0, 1, n} f (N [vi ]) = 1 i∈ / {0, 1, n}, i ≡ 0 (mod 2) 3 i∈ / {0, 1, n}, i ≡ 1 (mod 2). Thus f is a SRDF on Wn of weight w(f ) = f (NWn [v0 ]) = 1. Case 2. n is even and n ≡ 0 (mod 3). Define the function f : V (Wn ) → {−1, 1, 2} as 1 2 f (vi ) = −1 −1 (2.2) i=0 i ≥ 1, i ≡ 0 (mod 3) i ≥ 1, i ≡ 1 (mod 3) i ≥ 1, i ≡ 2 (mod 3). Such a labeling is depicted in Figure 4 (a) for n = 12. It is straightforward to check that f is a SRDF on Wn of weight 1. Case 3. n is even and n ≡ 1 (mod 3). Define the function f as (2.3) 2 2 1 f (vi ) = −1 −1 −1 i=0 1 ≤ i ≤ n − 7, i ≡ 0 (mod 3) i ∈ {n − 4, n − 1, n} i ∈ {n − 6, n − 5, n − 3, n − 2} 1 ≤ i ≤ n − 7, i ≡ 1 (mod 3) 1 ≤ i ≤ n − 7, i ≡ 2 (mod 3). Such a labeling is illustrated in Figure 4 (b) for n = 10. It is not hard to check that f is a SRDF on Wn and w(f ) = 1. Case 4. n is even and n ≡ 2 (mod 3). The Signed Roman Domination Number Of Some Graphs A. Behtoei, E. Vatandoost, F. Azizi 7 Define the function f on V (Wn ) as follow. 2 2 1 f (vi ) = −1 −1 −1 (2.4) i=0 1 ≤ i ≤ n − 5, i ≡ 0 (mod 3) i ∈ {n − 2, n} i ∈ {n − 4, n − 3, n − 1} 1 ≤ i ≤ n − 5, i ≡ 1 (mod 3) 1 ≤ i ≤ n − 5, i ≡ 2 (mod 3). Figure 4 (c) this kind of labeling for n = 8. It is easy to check that f is a SRDF on Wn and it’s weight is one. Therefore, in each case we provide a suitable labeling on Wn with weight 1. This completes the proof. The structure of fan Fn is very similar to the structure of wheel Wn . This similarity helps us to construct suitable signed Roman domination functions on Fn . Theorem 2.5. Let Fn = K1 ∨ Pn be a fan of order n + 1. Then γsR (Fn ) = ( 2 n ∈ {2, 4} 1 n∈ / {2, 4}. Proof. Assume that V (Fn ) = {v0 , v1 , v2 , ..., vn } and E(Fn ) = {v0 vi : 1 ≤ i ≤ n} ∪ {v1 v2 , v2 v3 , ..., vn−1 vn }. Since ∆(Fn ) = |V (Fn )| − 1, Lemma 2.3 implies that γsR (Fn ) ≥ 1. The fan F2 is a complete graph with tree vertices and hence γsR (F2 ) = γsR (K3 ) = 2. For the case n = 4 it is not hard to check by inspection that there exists no signed Roman domination function on F4 of weight 1. Figure 5 (a) and (b) illustrate a SRDF of weight 2 on F2 and F4 , respectively. Thus, for n ∈ {2, 4} we have γsR (Fn ) = 2. 2 −1 (a) 2 1 −1 1 2 −1 (b) 1 −1 1 −1 1 −1 (c) Figure 5. Signed Roman domination labeling on F2 , F4 and F5 , respectively. 8 The Signed Roman Domination Number Of Some Graphs 2 −1 −1 −1 2 −1 −1 2 −1 −1 −1 2 −1 −1 −1 2 1 −1 1 A. Behtoei, E. Vatandoost, F. Azizi 2 1 −1 −1 −1 (a) 2 −1 2 1 (b) −1 1 −1 −1 1 (c) Figure 6. Signed Roman domination labeling on F12 , F10 and F8 , respectively. To complete the proof it is sufficient to provide a signed Roman domination function of weight 1 on Fn , n ∈ / {2, 4}. For this reason we consider the functions f : V (Fn ) → {−1, 1, 2} as defined in the equations 2.1, 2.2, 2.3, and 2.4 regarding to the different cases of n. For instance , F5 is depicted in Figure 5 (c), where the top vertex is v0 and the lef one is v1 . Also, F6 , F8 and F10 are illustrated in Figure 6 (a), (b) and (c), respectively (where the central vertex is v0 and the top one is v1 ). Theorem 2.6. Let m ≥ 2 be an integer and n = 2m + 1. Then, the signed Roman domination number of the Friendship graph F rn = K1 ∨ (mK2 ) is 2. Proof. Assume that V (F rn ) = {x} ∪ {yi , zi : 1 ≤ i ≤ m} and E(F rn ) = {xyi , xzi : 1 ≤ i ≤ m} ∪ {yi zi : 1 ≤ i ≤ m}. For example, F r9 is depicted in Figure 7 (a). Since ∆(F rn ) = deg(x) = n − 1, Lemma 2.3 implies that γsR (F rn ) ≥ 1. Consider the function f : V (F rn ) → {−1, 1, 2} defined as v=x 2 f (v) = 1 v ∈ {y1 , y2 , ..., ym } −1 v ∈ {z1 , z2 , ..., zm }. Such a labeling is shown in Figure 7 (b) for n = 9. It is easy to check that f is a SRDF on F rn and hence γsR (F rn ) ≤ 2. Now let g = (V−1 , V1 , V2 ) be a signed Roman domination function on F rn of the minimum weight. Note that w(g) = γsR (F rn ) ≤ 2. If g(yi ) = g(zi ) = −1 for some i, then g(N [yi ]) = g(yi ) + g(zi ) + g(x) ≤ −1 − 1 + 2 = 0, which is a contradiction. Thus, for each i ∈ {1, 2, ..., m} we have |V−1 ∩ {yi , zi }| ≤ 1. This implies that |V−1 | ≤ m + 1. If V−1 = ∅, then w(g) ≥ n × 1 ≥ 5, a contradiction. Hence |V−1 | ≥ 1 and this implies that |V2 | ≥ 1. If |V−1 | = m + 1, then |V−1 ∩ {yi , zi }| = 1 for each i ∈ {1, 2, ..., m}, and x ∈ V−1 . Without loss of generality, assume that g(y1 ) = −1 (the case g(z1 ) = −1 is similar). Since g(z1 ) ≤ 2, we obtain g(N [z1 ]) ≤ 2 − 1 − 1 = 0 which is a contradiction. Therefore, |V−1 | ≤ m and γsR (F rn ) = w(g) = 2|V2 | + |V1 | − |V−1 | ≥ 2 × 1 + m × 1 + m × (−1) = 2. The Signed Roman Domination Number Of Some Graphs y1 A. Behtoei, E. Vatandoost, F. Azizi z1 −1 1 y2 z4 −1 1 x 2 y4 z2 −1 1 y3 z3 9 −1 (a) 1 (b) Figure 7. The Friendship graph F r9 and a signed Roman domination labeling of it. References [1] H. A. Ahangar, M. A. Henning, Y. Zhao, C. L¨ owenstein, V. Samodivkin, Signed Roman domination in graphs, J. Comb. Optim., 27 (2014) 241-255. [2] C. Berge, Graphs and hypergraphs, North Holland, Amsterdam, (1973). [3] Z. F¨ uredi and D. Mubayi, Signed domination in regular graphs and setsystems, J. Combin. Theory Ser. B 76 (1999) 223-239. [4] M. R. Garey and D. S. Johnson, Computers and Intractability: A Guide to the theory of NP-completeness, W.H. Freeman, San Francisco (1979). [5] T. W. Haynes, S. T. Hedetniemi and P. J. Slater, Domination in Graphs, Advanced Topics, Marcel Dekker, New York, (1998). [6] M. A. Henning and S. T. Hedetniemi, Defending the Roman empirea new strategy, Discrete Math., 266, (2003), 239251 [7] O. Ore, Theory of graphs, Amer. Math. Soc. Colloq. Publ., 38, Providence, (1962). [8] S. M. Sheikholeslami, L. Volkmann, The signed Roman domatic number of a graph, Annales Mathematicae et Informaticae, 40 (2012) 105112. [9] I. Stewart, Defend the Roman Empire, Sci. Amer., 281 (1999) 136-139. [10] D. B. West, Introduction to graph theory, Prentice Hall Inc., Upper Saddle River, NJ 07458, Second Edition (2001). Ali Behtoei Department of Mathematical Sciences, Imam Khomeini International University, P.O. Box 34149-16818, Qazvin, Iran Email: [email protected] Ebrahim Vatandoost Department of Mathematical Sciences, Imam Khomeini International University, P.O. Box 34149-16818, Qazvin, Iran Email: [email protected] Fezzeh Azizi Rajol Abad Department of Mathematical Sciences, Imam Khomeini International University, P.O. Box 34149-16818, Qazvin, Iran Email: [email protected]