arxiv: v1 [math.co] 23 Apr 2015

Transcription

1 On cycle-supermagic labelings of the disconnected graphs Syed Tahir Raza Rizvi, Kashif Ali arxiv: v1 [math.co] 3 Apr 015 Graphs and Combinatorics Research Group, Department of Mathematical Sciences, COMSATS Institute of Information Technology, Lahore, Paistan { strrizvi, aashifali@gmail.com} Abstract. A graph G(V,E) has an H-covering if every edge in E belongs to a subgraph of G isomorphic to H. Suppose G admits an H-covering. An H-magic labeling is a total labeling λ from V(G) E(G) onto the integers {1,,, V(G) E(G) } with the property that, for every subgraph A of G isomorphic to H there is a positive integer c such that A = λ(v)+ λ(e) = c. v V (A) e E(A) A graph that admits such a labeling is called H-magic. In addition, if {λ(v)} vǫv = {1,,, V }, then the graph is called H- supermagic. In this paper we formulate cycle-supermagic labelings for the disjoint union of isomorphic copies of different families of graphs. We also prove that disjoint union of non isomorphic copies of fans and ladders are cycle-supermagic. Keywords : H-supermagic labeling, cycles, disjoint union of graphs. 000 AMS Subject Classification: 05C78 1 Introduction Let G = (V,E) be a finite, simple, planar, connected and undirected graph, where V and E are its vertex-set and edge-set respectively. A labeling (or valuation) of a graph is a map that carries graph elements to numbers (usually positive or non-negative integers). Let H and G = (V,E) be finite simple graphs with the property that every edge of G belongs to at least one subgraph isomorphic to H. A bijection λ : V E {1,..., V + E } is an H-magic labeling of G if there exist a positive integer c (called the magic constant), such that for any subgraph H (V,E ) of G isomorphic to H, the sum λ(v) + λ(e) is equal to magic constant c. This v V e E sum is also nown as weight of H. A graph is H-magic if it admits an

2 Rizvi et al. H-magic labeling. In addition, if H-magic labeling λ has the property that {λ(v)} vǫv = {1,, V }, then the graph is H-supermagic. In our terminology, super edge-magic total labeling is a K -supermagic labeling. The notion of H-magic graph was introduced by A.Gutierrez and A. Llado [11], as an extension of the magic valuation given by Rosa[8], which corresponds to the case H = K. There are many results for H-(super)magic graphs. Llado and Moragas [9] studied cycle-magic labeling of wheels, prisms, boos, wind mill graphs and subdivided wheels by using the technique of partitioning sets of integers. Ngurah et al. [13] constructed cycle-supermagic labelings for some families of graphs namely fans, ladders, and boos etc. For any connected graph G, Maryati et al. [10], proved that disjoint union of isomorphic copies of G is a G-supermagic graph if and only if V(G) + E(G) is even or is odd. For a disconnected graph G, having at least vertices in its every components, the result was proved again by Maryati et al. [1]. For a positive integer, they proved that (i) If G is G-magic, then V(G) + E(G) is even or is odd and (ii) If V(G) + E(G) is even or is odd, then G is G-supermagic. For further detail, see the recent survey by Gallian [6]. In this paper, we study the problem that if a connected graph G is cyclesupermagic, then either disjoint union of m isomorphic copies of graph G denoted by mg, is cycle-supermagic or not? We study cycle-supermagic labelings for the disjoint union of isomorphic copies of fans, ladders, triangular ladders, wheel graphs, boo graph and generalized antiprism graph. Also, we study cycle-supermagic labelings of disjoint union of non-isomorphic copies of ladders and fans. Main Results Before giving our main results, let us consider the following lemma found in [8] that gives a necessary and sufficient condition for a graph to be super edge-magic. Lemma 1. A graph G with v vertices and e edges is super edge-magic if and only if there exists a bijective function λ : V(G) {1,,,v} such that the set S = {λ(x)+λ(y) xy E(G)} consists of e consecutive integers. In such a case, λ extends to a super edge-magic labeling of G with magic constant c = v +e+s, where s = min(s). Moreover, while proving our some results, we will use following result to formulate the (a, )-edge-antimagic vertex labeling for a subgraph isomorphic to mp n.

3 On cycle-supermagic labelings of the disconnected graphs 3 Theorem 1. [4] The graph mp n has a (m +,)-edge-antimagic vertex labeling, for every m and n..1 Cycle-supermagic labelings of the disjoint union of isomorphic graphs In the following theorem, we consider C 3 -supermagic labeling for disjoint union of isomorphic copies of fans. For n 3, the fan F n = K1 + P n is a graph with V(F n ) = {c} {v i : 1 i n}, E(F n ) = {cv i : 1 i n} {v i v i+1 : 1 i n 1}. Theorem. For any positive integer m, and n 3, the graph G = mf n is C 3 -supermagic. Proof. Let v = V(G) and e = E(G). Then v = m(n +1), e = m(n 1). We denote the vertex and edge sets of G as follows: V(G) = {c j : 1 j m} {v j i : 1 i n,1 j m}, E(G) = {v j i vj i+1 : 1 i n 1,1 j m} {c jv j i : 1 i n,1 j m}. For 1 i n 1,1 j m, let C (i,j) 3 be subcycle of graph G with V (i,j) 3 ) = {c j,v j i,vj i+1 } and E(i,j) 3 ) = {c j v j i,vj i vj i+1,vj i+1 c j}. We will defineatotallabelingλ : V(G) E(G) {1,,...,3mn}asfollows: Let 1 i n,1 j m. Step 1. At this step, we will only label the vertices of graph G as follows: For i-odd For i-even λ(c j ) = m(n+1) j +1 λ(v j i ) = j +m(i 1 ) λ(v j i ) = [n+i+3+( 1)n+1 ]m+4j 4 After labeling the vertices of graph G, we can see that the set of all weights of subcycle C (i,j) 3 under labeling λ consists of consecutive integers 3mn + m +, 3mn + m + 3,..., 5mn + 1, for even n and 3m(n+1) +, 3m(n+1) +3,..., m(5n+1) +1, for odd n.

4 4 Rizvi et al. Step. Now, we will label the edges c j v j i as follow: λ(c j v j i ) = 3mn m(i 1) j +1 After labeling the vertices and edges c j v j i of graph G, we can see that the set of all weights of subcycle C (i,j) 3 consists of consecutive integers m(6n+5+( 1) n+1 ) 4 + 3, m(6n+5+( 1)n+1 ) 4 + 4,..., m(6n+5+( 1)n+1 ) 4 + m(n 1)+, for any n. Step 3. Now we are left with the labeling of edges v j i vj i+1 : 1 i n 1, with consecutive integers mn+m+1,mn+m+,...,mn. Here, we can easily label these edges by using Lemma 1 to have C 3 -supermagic labeling of graph G as follows: λ(v j i vj i+1 ) = m(n+i)+j. After combining all three steps, we can see that for every subcycle C (i,j) 3 of G, the sum λ(c j )+λ(v j i )+λ(vj i+1 )+λ(c jv j i )+λ(c jv j i+1 )+λ(vj i vj i+1 ) is m 4 [34n+5+( 1)n+1 ]+3. Hence mf n is C 3 -supermagic. In the next two theorems, we prove that disjoint union of isomorphic copies of ladder graphs, namely ladder graphs and triangular ladders admit cyclesupermagic labelings. Let L n = Pn P, n, be a ladder graph with V(L n ) = {u i,v i : 1 i n}, E(L n ) = {u i v i : 1 i n} {u i u i+1 : 1 i n 1} {v i v i+1 : 1 i n 1}. Theorem 3. For every m, n, the graph G = ml n is C 4 - supermagic. Proof. Let v = V(G) = mn, and e = E(G) = 3mn m. We denote the vertex and edge sets of G as follows: V(G) = {u j i : 1 i n,1 j m} {vj i : 1 i n,1 j m}; E(G) = {u j i vj i : 1 i n,1 j m} {uj i uj i+1 : 1 i n 1,1 j m} {v j i vj i+1 : 1 i n 1,1 j m}. Define a total labeling λ : V(G) E(G) {1,,...,5mn m} as follows: Step 1. For 1 i n,1 j m λ(u j i ) = j +m(i 1)

5 On cycle-supermagic labelings of the disconnected graphs 5 λ(v j i ) = v m(i 1) j +1 After labeling the vertices of graph G, we can see that weight of every subcycle C (i,j) 4 under labeling λ is v +. Step. Now, we will use Theorem 1 to label the edges u j i vj i, by assuming that these edges are vertices of subgraph isomorphic to mp n and labeling is as follows: λ(u j i vj i ) = v +m(i 1)+j At this stage, set of all weights of C (i,j) 4 under labeling λ forms an arithmetic sequence with initial term 4v +m+ and the difference is. Step 3. For 1 i n 1,1 j m λ(u j i uj i+1 ) = v +e m(n 1) m(i 1) j +1 λ(v j i vj i+1 ) = v +e m(i 1) j +1 Let C (i,j) 4 : 1 i n 1 and 1 j m, be the subcycle of graph G with V (i,j) 4 ) = {u j i,uj i+1,vj i,vj i+1 }ande(i,j) 4 ) = {u j i uj i+1,vj i vj i+1,uj i vj i,uj i+1 vj i+1 }. After combining all three steps, we can verify that C (i,j) 4 = λ(u j i ) + λ(u j i+1 )+λ(vj i )+λ(vj i+1 )+λ(uj i vj i )+λ(uj i uj i+1 )+λ(vj i vj i+1 )+λ(uj i+1 vj i+1 ) = m(17n )+4. Hence ml n is C 4 -supermagic. Let H = TL n be a triangular ladder graph with V(H) = {u i,v i : 1 i n}, E(H) = {u i v i : 1 i n} {u i u i+1,v i v i+1,u i+1 v i : 1 i n 1}. Theorem 4. The graph G = mtl n admits C 3 -supermagic labelings for m and n 3. Proof. Let v = V(G) and e = E(G). Then v = mn, e = m(4n 3). We denote the vertex and edge sets of G as follows: V(G) = {u j i : 1 i n,1 j m} {vj i : 1 i n,1 j m}, E(G) = {u j i vj i : 1 i n,1 j m} {uj i uj i+1 : 1 i n 1,1 j m} {v j i vj i+1 : 1 i n 1,1 j m} {uj i+1 vj i : 1 i n 1,1 j m}. Define a total labeling λ : V(G) E(G) {1,,...,6mn 3m} as follows: For 1 i n,1 j m. λ(u j i ) = j +m(i 1)

6 6 Rizvi et al. For 1 i n 1,1 j m λ(v j i ) = j +m(i 1) λ(u j i vj i ) = m(4n+1 i) j +1 λ(u j i uj i+1 ) = m(6n 3) m(i 1) j +1 λ(v j i vj i+1 ) = m(3n i 1) j +1 λ(u j i+1 vj i ) = m(n i) j +1 It is easy to verify that for every subcycle C (i,j) 3 : 1 i n and 1 j m, λ(u j i )+λ(uj i+1 ) +λ(vj i )+λ(uj i vj i )+λ(uj i uj i+1 )+λ(uj i+1 vj i ) = 14mn 3m+3. Hence mtl n is C 3 -supermagic. Next we consider C 3 -supermagic labeling of disjoint union of isomorphic copies of odd wheel graphs. Let W n = K 1 + C n be a wheel graph with V(W n ) = {c} {v i : 1 i n}, and E(W n ) = {cv i : 1 i n} {v i v i+1,1 i n}. Theorem 5. The graph G = mw n is C 3 -supermagic, for any odd n 3 and positive integer m. Proof. Let v = V(G) and e = E(G). Then v = m(n+1), e = mn. We denote the vertex and edge sets of G as follows: V(G) = {c j ;1 j m} {v j i : 1 i n,1 j m}, and E(G) = {v j i vj i+1 : 1 i n 1,1 j m} {c jv j i : 1 i n,1 j m}. Define a total labeling λ : V(G) E(G) {1,,...,m(3n+1)} as follows: For 1 i n,1 j m λ(c j ) = j λ(c j v j i ) = m(n i+1) j +1 λ(c j v n ) = m(n+1) j +1 λ(v n v 1 ) = m(n+3) j +1 λ(v j i vj i+1 ) = m(n+i+3) j +1 m( i+1 λ(v j i ) = )+j, if i odd m( n+i+1 )+j, if i even

7 On cycle-supermagic labelings of the disconnected graphs 7 It is easy to verify that for every subcycle C (i,j) 3 : 1 i n, 1 j m of mw n, the weight of every subcycle C (i,j) 3 of G is m (13n+11)+3. Hence mw n is C 3 -supermagic. Theorem 6. For even n 4, and m, the graph G = mw n is C 3 - supermagic. Proof. Let v = V(G) and e = E(G). Then v = m(n+1), e = mn. We denote the vertex and edge sets of G as follows: V(G) = {v j 0 : 1 j m} {vj i : 1 i n,1 j m}, and E(G) = {v j i vj i+1 : 1 i n 1,1 j m} {vj 0 vj i : 1 i n,1 j m} {vn jvj 1 : 1 j m}. Define a total labeling λ : V(G) E(G) {1,,...,m(3n+1)} as follows: Throughout the following labeling we will consider 1 j m, Case 1: n -even λ(v j i ) = λ(v j 0 ) = m(n 4 + n 1 +1)+j m m i +j, if i odd,1 i n m (i+n)+j m, if i even,1 i n m (i+n)+j, if i even, n +1 i n m(n+ i) (j 1), if 1 i n λ(v j 0 vj i ) = m(n+1 i) (j 1), m( 3n if n +1) (j 1), if i = n m(n++i) (j 1), λ(v j i vj i+1 ) = m(n+3+i) (j 1), m( 5n +1 i n 1 if 1 i n 1 if n i n +) (j 1), if i = n 1 λ(vn j vj 1 ) = m(n+1) (j 1)

8 8 Rizvi et al. It is easy to verify that weight of every subcycle C (i,j) 3 : 1 i n, 1 j m ofmw n is m n 1 +m 4 (7n+16)+3.Hence mw n isc 3 -supermagic. Case : n -odd m i +j, λ(v j 0 ) = 3m(n+) +j m 4 if i odd,1 i n m[ 1 (i+n)+1]+j m, if i even,1 i n λ(v j i ) = m[ 1 (i+n)+]+j m, if i even, n +1 i n 1 m( i )+j, if i = n m(n+1) (j 1), if i = 1 m(n+ i) (j 1), if i n λ(v j 0 vj i ) = m(n i) (j 1), m(n+ i) (j 1), if i even, n +1 i n 1 if i odd, n +1 i n m( 3n +1) (j 1), if i = n m(n+1) (j 1), if i = 1 λ(v j i vj i+1 ) = m(n+1+i) (j 1), if i n 1 m(n++i) (j 1), if n i n 1 λ(v j n vj 1 ) = m(5n +1) (j 1) The weight of every subcycle C (i,j) 3 : 1 i n, 1 j m of mw n, under the labeling λ is m 4 (9n+18)+3. Hence mw n is C 3 -supermagic. The boo graph B n = K1,n K has the vertex set V(G) = {u 1,u,v i,w i } and the edge set E(G) = {u 1,u,u 1 w i,u v i,v i w i } for 1 i n.

9 On cycle-supermagic labelings of the disconnected graphs 9 In the following theorem, we consider C 4 -supermagic labeling for disjoint union of isomorphic copies of boo graphs. Theorem 7. For m, n the graph G = mb n admits C 4 -supermagic labelings. Proof. Let G be a graph and let v = V(G) and e = E(G). Then v = m(n+1), e = m(3n+1). We denote the vertex and edge sets of G as follows: V(G) = {u j 1,uj : 1 j m} {vj i,wj i : 1 i n,1 j m} E(G) = {u j 1 uj : 1 j m} {uj 1 wj i,uj vj i : 1 i n,1 j m} {vj i wj i : 1 i n,1 j m}. Throughout the following labeling, we will consider 1 i n,1 j m. λ(u j i ) = m(i 1)+j,i = 1, λ(v j i ) = m(i+1)+j λ(w j i ) = m(n+ i)+j. Further, we will split the labelings into two cases. Case 1: n is even. λ(u j 1 uj ) = m(5n +3) j +1 m(n++i) j +1, if 1 i n λ(u j vj i ) = m(n+3+i) j +1, if n +1 i n m(5n+5 i) j +1, if 1 i n λ(u j 1 wj i ) = m(6n+4 i) j +1, if n +1 i n ( )(7n+6+i) j +1, if 1 i n λ(v j i wj i ) = ( )(5n+6+i) j +1, if n +1 i n It is easy to verify that for every subcycle C (i) 4 : 1 i n and 1 j m, the weight is λ(u j 1 )+λ(uj )+λ(vj i )+λ(wj i )+λ(uj 1 uj )+λ(uj vj i )+λ(uj 1 wj i )+

10 10 Rizvi et al. λ(v j i wj i ) = 15mn+17m+4. Hence mb n for n-even is C 4 -supermagic. Case : n is odd. λ(u j 1 uj ) = m(n+3) j +1 λ(u j vj i ) = m(n+3+i) j +1 m(5n+5 i) j +1, if 1 i n λ(u j 1 wj i ) = m(6n+5 i) j +1, if n +1 i n ( )(7n+5+i) j +1, if 1 i n λ(v j i wj i ) = ( )(5n+5+i) j +1, if n +1 i n It is easy to verify that for every subcycle C (i) 4 : 1 i n, 1 j m, the weigh is λ(u j 1 ) +λ(uj ) +λ(vj i ) +λ(wj i ) +λ(uj 1 uj ) +λ(uj vj i )+λ(uj 1 wj i ) + λ(v j i wj i ) = m (9n+35)+4. Hence mb n for n-odd is C 4 -supermagic. The prism is a graph G = C m P n with vertex-set V(G) = {v i,j : 1 i m,1 j n} and edge-set E(G) = {v i,j v i,j+1 : 1 i m,1 j n 1} {v i,j v i+1,j,1 i m,1 j n}. A generalized antiprism A n m is a graph obtained by completing the prism graph C m P n by adding the edges v i,j+1 v i+1,j for 1 i m and 1 j n 1. Theorem 8. For l and m,n 3, the generalized antiprism A n m is C 3 -supermagic with magic constant lm(9n 4)+3. Proof. Let v = V(A n m) and e = E(A n m). Then v = lmn, e = lm(3n ). We denote the vertex and edge-sets of G as follows: V(A n m ) = {v i,j : 1 i m,1 j n,1 l}, E(A n m ) = {v i,j v i,j+1 : 1 i m,1 j n 1,1 l} {v i,j+1 v i+1,j,1 i m,1 j n 1,1 l} {vi,j v i+1,j,1 i m,1 j n,1 l}. LetB i,j bethe3-cyclev i,j v i+1,j v i,j+1 andc i,j bethe3-cyclev i,j+1 v i+1,j+1 v i+1,j.

11 On cycle-supermagic labelings of the disconnected graphs 11 Define a total labeling λ : V(A n m) E(A n m) {1,,...,4lmn lm} as follows: Case 1: m-odd λ(vi,j ) = l[m(j 1)+ m i+ ]+ l, if i odd,j odd l[m(j 1)+ m i+ ]+ l, if i even,j odd l[m(j 1)+ i+1 ] +1, if i odd,j even l[m(j 1)+ m+i+1 ] +1, if i even,j even l[m(4n j )+ i+1 ] +1, if i odd,j odd l[m(4n j )+ m+i+1 ] +1, if i even,j odd λ(vi,j v i+1,j ) = l[m(4n j )+ m i ]+ l, if i odd,j even,i m lm(4n j 1)+ l, if i = m,j even l[m(4n j )+ m i ]+ l, if i even,j even For n-even l[m(n j 1)+ m+i ]+ l, if i odd,j odd λ(vi,j v i,j+1 ) = l[m(n j 1)+ i ]+ l, if i even,j odd l[m(n j 1)+ m i+1 ]+ l, if i odd,j even l[m(n j 1)+ m i+1 ]+ l, if i even,j even For n-odd l[m(n j 1)+ m+i ] +1, if i odd,j odd λ(vi,j v i,j+1 ) = l[m(n j 1)+ i ] +1, if i even,j odd l[m(n j 1)+ m i+1 ] +1, if i odd,j even l[m(n j 1)+ m i+1 ] +1, if i even,j even

12 1 Rizvi et al. For n-even l[m(3n j )+ m i+1 ] +1, if i odd,j odd λ(vi,j+1v i+1,j) = l[m(3n j )+ m i+1 ] +1, if i even,j odd l[m(3n j )+ m+i ] +1, if i odd,j even l[m(3n j )+ i ] +1, if i even,j even For n-odd l[m(3n j )+ m i+1 ]+ l, if i odd,j odd λ(vi,j+1 v i+1,j ) = l[m(3n j )+ m i+1 ]+ l, if i even,j odd l[m(3n j )+ m+i ]+ l, if i odd,j even l[m(3n j )+ i ]+ l, if i even,j even For 1 i m, 1 j n 1 and 1 l, i,j ) = λ(v i,j)+λ(v i+1,j)+λ(v i,j+1)+ where i is odd and j is odd, +λ(v i,jv i+1,j)+λ(v i,j+1v i+1,j)+λ(v i,jv i,j+1) i,j ) = l[m(j 1)+ m i+ ]+ l+l[m(j 1)+ + m i+ ]+ l+l[mj + i+1 ] +1+ +l[m(4n j )+ i+1 ] +1+l[m(n j 1)+ + m+i ] +1+l[m(3n j )+ m i+1 ]+ l i,j ) = lm[9n 4]+3 where i is even and j is even, i,j ) = l[m(j 1)+ m+i+1 ] +1+l[m(j 1)+

13 On cycle-supermagic labelings of the disconnected graphs 13 + i+ m i+ ] +1+l[m(j 1)+ ]+ l+ +l[m(4n j )+ m i ]+ l+l[m(n j 1)+ + m i+1 ]+ l+l[m(3n j )+ i ] +1 i,j ) = lm[9n 4]+3 Thus, it can be easily verified that i,j ) = lm(9n 4) + 3 for the remaining cases of i and j, where 1 i m,1 j n 1 and 1 l. Next we prove i,j ) = lm(9n 4)+3, where 1 i m,1 j n 1 and 1 l. i,j ) = λ(v i,j+1)+λ(v i+1,j)+λ(v i+1,j+1)+ +λ(v i,j+1 v i+1,j )+λ(v i+1,j+1 v i+1,j+1 )+λ(v i,j+1 v i+1,j+1 ) where i is odd and j is odd and i m, i,j ) = l[mj + m+i+1 ] +1+l[m(j 1)+ + m i+1 ]+ l+l[mj + m+i+ ] +1+ +l[m(4n j 3)+ m i ]+ l+l[m(n j 1)+ + i+1 m i+1 ] +1+l[m(3n j )+ ]+ l i,j ) = lm[9n 4]+3 where i is even and j is even, i,j ) = l[mj + m i+ ]+ l+l[m(j 1)+ + i+ m i+1 ] +1+l[mj + ]+ l+ +l[m(4n j 3)+ m+i+1 ] +1+l[m(n j 1)+ + m i ]+ l+l[m(3n j )+ i ] +1 i,j ) = lm[9n 4]+3

14 14 Rizvi et al. Similarly for the othercasesof iand j, i,j ) = i,j ) = lm[9n 4]+3, where1 i m,1 j n 1and1 l.thuswegetac 3 -supermagic labeling of A n m with supermagic constant c = lm[9n 4]+3. Hence A n m is C 3 -supermagic. Case : m-even l[m(j 1)+i]+ l, λ(vi,j) = l[mj i+1)] +1, l[m(4n j 1) i] +1, if j odd if j even if j odd,i m lm(4n j 1) +1, λ(vi,j v i+1,j ) = l[m(4n j )+i+1]+ l, l[m(4n j )+1]+ l, if j odd,i = m if j even,i m if j even,i = m l[m(n j) i+1]+ l, l[m(n j) i+1] +1, λ(vi,j v i,j+1 ) = l[m(n j 1)+i] +1, l[m(n j 1)+i]+ l, l[m(3n j )+i] +1, if j odd,n even if j odd,n odd if j even,n odd if j even,n even if j odd,n even l[m(3n j )+i]+ l, λ(vi,j+1 v i+1,j ) = l[m(3n j 1) i+1] +1, l[m(3n j 1) i+1]+ l, if j odd,n odd if j even,n even if j even,n odd For 1 i m, 1 j n 1 and 1 l, i,j ) = λ(v i,j)+λ(v i+1,j)+λ(v i,j+1)+ +λ(v i,j v i+1,j )+λ(v i,j+1 v i+1,j )+λ(v i,j v i,j+1 )

15 On cycle-supermagic labelings of the disconnected graphs 15 where j is odd and i m, i,j ) = l[m(j 1)+i]+ l+l[m(j 1)+i+1]+ l +l[m(j +1) i+1] +1+l[m(4n j 1) i] +1+ +l[m(n j) i+1]+ l+l[m(3n j )+i] +1 i,j ) = lm[9n 4]+3 where j is even and i = m, m,j ) = λ(v m,j)+λ(v 1,j)+λ(v m,j+1)+ +λ(v m,j v m+1,j )+λ(v m,j+1 v m+1,j )+λ(v m,j v m,j+1 ) i,j ) = l[mj m+1] +1+lmj +1 +l[mj +m]+ l+l[m(4n j )+1]+ l+ +l[m(n j 1)+m]+ l+l[m(3n j 1) m+1] +1 i,j ) = lm[9n 4]+3 Similarly for the remaining cases of i and j, it can be easily verified that i,j ) = lm(9n 4)+3 for 1 i m,1 j n 1 and 1 l. Next we prove i,j ) = lm(9n 4)+3, where 1 i m,1 j n 1 and 1 l. i,j ) = λ(vi,j+1)+λ(v i+1,j)+λ(v i+1,j+1)+ +λ(v i,j+1 v i+1,j )+λ(v i+1,j v i+1,j+1 )+λ(v i,j+1 v i+1,j+1 ) where j is odd and i m, i,j ) = l[m(j +1) i+1] +1+l[m(j 1)+i+1]+ l +l[m(j +1) i] +1+l[m(3n j )+i] +1+ +l[m(n j) i]+ l+l[m(4n j 3)+i+1]+ l λ i,j) = lm[9n 4]+3 where j is even and i = m, m,j ) = λ(v m,j+1 )+λ(v 1,j )+λ(v 1,j+1 )+ +λ(v m,j+1 v m+1,j )+λ(v 1,j v 1,j+1 )+λ(v m,j+1 v m+1,j+1 )

16 16 Rizvi et al. m,j ) = l[mj +m]+ l+lmj +1 +l[mj +1]+ l+l[m(3n j 1)+1 m]+ l+ +l[m(n j 1)+1] +1+l[m(4n j ) m+1] +1 m,j ) = lm[9n 4]+3 Similarly for the othercasesof iand j, i,j ) = i,j ) = lm[9n 4]+3, where1 i m,1 j n 1and1 l.thuswegetac 3 -supermagic labeling of A n m with supermagic constant c = lm[9n 4]+3. Hence A n m is C 3 -supermagic. In the following section, we study the cycle-supermagic labeling for the disjoint union of non isomorphic copies of fans and ladders. 3 Cycle-supermagic labelings of the disjoint union of non isomorphic graphs Let G = sf n+1 F n, s, 1, we denote the vertex and edge sets of G as follows: V(G) = {c j : 1 j s+} {v j i : 1 i b,1 j s+}, E(G) = {v j i vj i+1 : 1 i b,1 j s + } {c jv j i : 1 i b,1 j s+}, where n if 1 j s, b = n 1 if s+1 j s+. Theorem 9. For any positive integer s, and n 3, the graph G = sf n+1 F n is C 3 -supermagic. Proof. Let v = V(G) and e = E(G). Then v = s(n+1)+n, e = s(n 1)+ (n 3). Define a total labeling λ : V(G) E(G) {1,,...,n(3s+) 3} as follows: Throughoutthe followinglabeling, wewill consider1 i b,1 j s+. For i-odd λ(c j ) = s(n+1)+n j +1

17 On cycle-supermagic labelings of the disconnected graphs 17 For i-even λ(v j i ) = j +(s+ )(i 1) λ(v j i ) = j +(s+ )(i )+ (s+ )n, λ(c j v j i ) = s(3n i+1)+(3n i ) j +1, λ(v j i vj i+1 ) = s(n+i)+(n+i 1)+j, 1 i b 1. It is easy to verify that for every subcycle C (i) 3 : 1 i (s+)(n 1) of sf n+1 F n, the weight of C (i) 3 is s+ (17n)+s 7+3.Hence sf n+1 F n is C 3 -supermagic. Theorem 10. The graph G = sl n+1 L n is C 4 -supermagic, where s, 1 and n. Proof. Let G be a graph and let v = V(G) and e = E(G). Then v = [sn + (n 1)], e = s(3n )+(3n 5). We denote the vertex and edge sets of G as follows: V(G) = {u j i,1 i n,1 j s} {vj i : 1 i n,1 j s} {at i,1 i n,1 t } {b t i : 1 i n,1 t.} E(G) = {u j i vj i : 1 i n,1 j s} {u j i uj i+1 : 1 i n 1,1 j s} {v j i vj i+1 : 1 i n 1,1 j s} {at i bt i : 1 i n,1 t } {a t i at i+1 : 1 i n 1,1 t } {bt i bt i+1 : 1 i n 1,1 t }. Define a total labeling λ : V(G) E(G) {1,,...5n(s+) 7 s} as follows: For 1 i n,1 j s,1 t. λ(u j i ) = i+n(j 1) λ(a t i) = sn+i+(n 1)(t 1) λ(v j i ) = sn+(n 1) n(j 1) i+1 λ(b t i) = sn+(n 1)+n(1 s)+t(1 n) i λ(u j i vj i ) = sn+(n 1)+(n i)(s+)+j λ(a t i bt i ) = sn+(n 1)+(n i 1)(s+)+s+t

18 18 Rizvi et al. For 1 i n 1,1 j s,1 t. λ(u j i uj i+1 ) = s(5n )+(5n 7) (s+)(n i 1) j +1 λ(a t ia t i+1) = s(5n )+(5n 7) (s+)(n i ) s t+1 λ(v j i vj i+1 ) = 4sn+4(n 1) (s+)(n i) j +1 λ(b t ib t i+1) = 4sn+4(n 1) (s+)(n i 1) s t+1 To show that λ is a C 4 -supermagic labeling of G, let C (i) 4,1 i (s + )(n 1), be the subcycles of G = sl n+1 L n. Since, the weight of every C (i) 4 is 4+17n(s+) 19 s, therefore, G is a C 4 -supermagic 4 Conclusion In this paper we studied the problem that if a graph G has a cyclesupermagic labeling then either disjoint union of isomorphic and non isomorphic copies of G will have a cycle-supermagic labeling or not? We have studied the case only for the disjoint union of m isomorphic copies of fans, wheels, ladders graphs. We also proved that disjoint union of non isomorphic copies of fans and ladders are cycle-supermagic. Moreover, we believe that if a graph has a cycle-(super)magic labeling, then disjoint union of that graph also has a cycle-(super)magic labeling. Therefore, we propose the following open problem. Open Problem 1 If a graph G is a cycle-(super)magic, determine whether there is a cycle-(super)magic labeling for mg, m. References 1. M. Baca, M. Miller, O. Phanalasy, A. Semanicova-Fenovciova, Super d- antimagic labelings of disconnected plane graphs, Acta Math. Sinica, English Series, 6 (010), M. Baca, On magic labelings of grid graphs, Ars Combin., 40 (1990), M. Baca, On magic labelings honeycomb, Discrete Math., 105 (199), Dafi, M. Miller, J. Ryan, M. Baca, On super (a,d)-edge-antimagic total labeling of disconnected graphs, Discrete Math., 309 (009), R. M. Figueroa-Centeno, R. Ichishima, F. A. Muntaner-Batle, The place of super edge-magic labeling among other classes of labeling, Discrete Math., 31 (001), J. A. Gallian, A dynamic survey of graph labeling, Electronic J. Combin., (01).

19 On cycle-supermagic labelings of the disconnected graphs A. Gutierrez, A. Llado, Magic coverings, J. Combin. Math. Combin. Comput., 55 (005), A. Kotzig, A. Rosa, Magic valuations of finite graphs, Canad. Math. Bull., 13 (1970), A. Llado, J. Moragas, Cycle-Magic graphs, Discrete Math., 307 (007), T. K. Maryati, A. N. Salman, E. T. Basoro, Irawati, The supermagicness of a disjoint union of isomorphic connected graphs, Pro. 4th IMG-GT Int. Cong. Math. Stat. Appl., 3 (008), T. K. Maryati, A. N. M. Salman, E. T. Basoro, J. Ryan, M. Miller, On H- supermagic labelings for certain shacels and amalgamations of a connected graph, Utilitas Math., 83 (010), T. K. Maryati, A. N. M. Salman, E. T. Basoro, Supermagic coverings of the disjoint union of graphs and amalgamations, Discrete Math., 313 (013), A. A. G. Ngurah, A. N. M. Salman, L. Susilowati, H-Supermagic labeling of graphs, Discrete Math., 310 (010), A. A. G. Ngurah, A. N. M. Salman, I. W. Sudarsana, On supermagic coverings of fans and ladders, SUT J. Math., 46 (010),