ODD VERTEX MAGIC TOTAL LABELING OF SOME GRAPHS CT

3 downloads 0 Views 330KB Size Report
International Journal of Pure and Applied Mathematics. Volume 118 No. 10 2018, 97-109. ISSN: 1311-8080 (printed version); ISSN: 1314-3395 (on-line version).
International Journal of Pure and Applied Mathematics Volume 118 No. 10 2018, 97-109 ISSN: 1311-8080 (printed version); ISSN: 1314-3395 (on-line version) url: http://www.ijpam.eu doi: 10.12732/ijpam.v118i10.53 Special Issue

ijpam.eu

ODD VERTEX MAGIC TOTAL LABELING OF SOME GRAPHS CT. NAGARAJ Research Scholar, Department of Mathematics Research and Development centre Bharathiar University, Coimbatore-641046, Tamilnadu, India. e-mail : ct [email protected] C.Y. PONNAPPAN1§ , G. PRABAKARAN2 1

Department of Mathematics

Government Arts College, Melur - 625 106, Tamilnadu, India. e-mail : pons [email protected] 2

Department of Mathematics

Thiagarajar College, Madurai - 625009, Tamilnadu, India. e-mail : [email protected]

Abstract. Let G be Considered as a simple finite graph with n vertices and e edges. A vertex magic total labeling is a bijection f from V (G) ∪ E(G) to the consecutive integers 1, 2, 3, ..., m + n with the property that for every u ∈ P V (G), f (u) + f (uv) = k for some constant k. This paper, has introduced v∈N (u)

a new concept of odd vertex magic total labeling of a graph. Some of the basic properties of labelings, to find some of the families of graphs that admit an odd vertex magic total labelings are studied here. It shows that other families of graphs do not, include it. Key words:

Odd vertex magic labeling, odd vertex magic graph.

2010 Mathematics Subject Classification: 05C78.

1. Introduction All the graphs considered in this paper are just finite, simple and undirected. The graph G has a vertex set V = V (G) and edge set E = E(G) and let n = |V |

and m = |E|.The degree of a vertex v is equal to the number of edges that have v as an end point and the set of neighbours of v are represented by N (v).

Labeling of a graph G is a mapping that carries a set of graph elements, usually marked as vertices and/or edges into a set of numbers. Generally integers, 1

97

International Journal of Pure and Applied Mathematics

Special Issue

2

are called labels. Many kinds of labeling have been studied and an excellent survey of graph labeling can be found in [1]. MacDougall et al. [2] introduced the concept of vertex magic total labeling. If type of graph G is a finite simple undirected graph with n vertices and m edges, then a vertex magic total labeling (V M T L) is a bijection f from V (G) ∪ E(G) the integers

1, 2, 3, ..., m + n with the property that for every x in P V (G), f (v) + f (uv) = k for some constant k.(which we call the magic v∈N (u)

constant for f ).

MacDougall et al.[3] introduced the notion of super vertex magic total labeling.

They

call

vertex

magic

total

labeling

as

super

if

f (V (G)) = {1, 2, 3, ..., n}.We could call it as V −super vertex magic labeling. In this labeling , the smallest labels are assigned to the vertices.

Swaminathan and Jeyanthi [6] introduced a concept with the same name of super vertex magic labeling. They call vertex magic total labeling as super if f (E(G)) = {1, 2, 3, ..., m}. It may be noted that the smallest labels are assigned to the edges.

MacDougall et al. [3] and Swaminathan and Jeyanthi [6] introduced different labelings with the same name of super vertex magic total labeling. To avoid a cofusion, Marimuthu and Balakrishan [4] called a vertex magic total labeling E-super if f (E(G)) = {1, 2, 3, ..., m}. Note that the smallest labels are assigned to

the edges. A graph G is called E-super vertex magic if it admits an E− super vertex magic labeling. Nagaraj et al. labeling.

They

[5] introduced the concept of an Even vertex magic total call

vertex

magic

total

labeling

as

even

if

f (V (G)) = {2, 4, 6, ..., 2n}. In this labeling, the even integers are designated to the vertices.

98

International Journal of Pure and Applied Mathematics

Special Issue

3

Lemma 1.1. If G has a vertex magic total labeling then m ≥

2n . 3

2. Definition and Main Results Definition 2.1. A vertex magic total labeling f is called an odd vertex magic total labeling if f (V (G)) = {1, 3, 5, ..., 2n − 1} A graph G could be called an odd vertex magic if there exists an odd verex magic total labeling of G. Example 2.2.

Figure 1: n=7, m=6, k=19 Theorem 2.3. Let G be a nontrivial graph .If G is an odd vertex magic, then the magic constant k is given by k = 1 + 2m +

m m2 + . n n

Proof. Let G be a nontrival graph . Let f be an odd vertex magic total labeling of a graph G with the magic number k. Then f (V ) = {1, 3, 5, ..., 2n − 1}. X k = f (u) + f (uv)∀u ∈ V v∈N (u)

nk = [1 + 3 + 5 + ... + 2n − 1] + 2[1 + 2 + 3 + ... + m + n] − 2[1 + 3 + 5 + ... + 2n − 1] k = 1 + 2m +

m m2 + n n



99

International Journal of Pure and Applied Mathematics

Special Issue

4

Theorem 2.4. If a graph G has an odd vertex magic total labeling with constant k, then k ≥

16n+15 . 9

Proof. This result directly follows from Lemma 1.1 and Theorem 2.3.



Theorem 2.5. Let G be any (n, m) graph. If G permits an odd vertex magic total labeling, then m ≥ n − 1. 

Proof. This result directly follows from Definition 2.1.

Theorem 2.6. A path Pn is an odd vertax magic total labeling if and only if n is odd.

Proof. Suppose an odd vertex magic labeling f of Pn exists with the magic constant k. Then by Theorem 2.3, k = 3n − 2 To prove that n is odd.

If n is even. Then k = 3n − 2 is considered as even.

For any odd vertex magic labeling f , P f (u) + f (uv) = k ∀u ∈ V . v∈N (u)

In particular if u is a pendent vertex of Pn then,f (u) + f (uv) = k, which is a contradiction. Since f (u) is odd and f (uv) is even. Therefore n is odd. Converse: Let n be an odd integer. Let V (Pn ) = {v1 , v2 , v3 , ..., vn } and

E(Pn ) = {ei = vi vi+1 /1 ≤ i ≤ n − 1}.

Define f (V ∪ E) = {1, 2, ..., 2n − 1} as follows.  2n − 1, if i = 1 f (vi ) = 2i − 3, if 2 ≤ i ≤ n  n − i if i is odd f (ei ) = 2n − i if i is even

100

and

International Journal of Pure and Applied Mathematics

Special Issue

5

It is clearly seen that f is an odd vertex magic total labeling with the magic constant 3n − 2.



Theorem 2.7. A cycle Cn is an odd vertex magic iff n is odd. Proof. Suppose an odd vertex magic total labeling f of Cn exists with the magic constant k. Then by theorem 2.3, k = 3n + 2. To prove that n is odd. Suppose n is even. Then k = 3n + 2 is even. For any odd vertex magic total P labeling f ,f (u) + f (uv) = k, ∀u ∈ V . v∈N (u)

In particular f (v1 ) + f (v1 vn ) + f (v1 v2 ) = k, which is a contradiction. Since f (v1 ) is odd and f (v1 vn ) and f (v1 v2 ) are even. Therefore n is odd. Converse: Let n be an odd integer, V (Cn ) = {v1 , v2 , ..., vn } and E(Cn ) = {vn v1 } ∪ {vi vi+1 : 1 ≤ i ≤ n − 1}

Define f : V ∪ E −→ {1, 2, ..., 2n} as follows:

f (vi ) = 2n − 2i + 1 if f (vi vi+1 ) = i + 1 =n+1+i

1 ≤ i ≤ n,

if

i is odd

if

i is even

f (vn v1 ) = n + 1

It is easily seen that f is an odd vertex magic total labeling with the magic constant 3n+2 

. Example 2.8.

An odd vertex magic labeling of C9 is given in figure. Figure 2: n = 9, m = 9, k = 29

101

International Journal of Pure and Applied Mathematics

Special Issue

6

3. ODD VERTEX MAGIC TOTAL LABELING ON A DISCONNECTED GRAPH This section an odd vertex magic total labeling for the disconnected graph rCs is given that is, the incoherent union of r copies of cycles of length s, where r and s are odd.

Theorem 3.1. rCs is an odd vertex magic iff r and s are odd. Proof. Assume that rCs is odd vertex magic. Number of vertices of rCs is rs. Number of edges of rCs is rs. Then by Theorem 2.3, k = 3rs + 2. For any odd vertex magic total labeling f, k = P f (u) + v∈N (u) f (uv)∀u ∈ V . Since any vertex of rCs is adjacent to only two edges, f (u) + f (e1 ) + f (e2 ) = k, where e1 and e2 are the edges adjacent to u.

Here f (u) is an odd number and f (e1 ) and f (e2 ) are even numbers. Therefore k = 3rs + 2 is odd iff r and s are odd. Let r and s be odd integers. Assume that the graph rcs has the vertex set V = V1 ∪ V2 ∪ V3 ∪, ..., ∪Vr , where Vi = {Vi1 , Vi2 , Vi3 , ..., Vis , } and the edge set E = E1 ∪ E2 ∪ E3 ∪ ... ∪ Er where (j+1)

Ei = {e1i , e2i , e3i , ..., esi }, and eji = vij vi

102

for 1 ≤ i ≤ r,1 ≤ j ≤ s − 1, esi = vis vi1 .

International Journal of Pure and Applied Mathematics

Special Issue

7

Define f (V ∪ E) = {1, 2, 3, ..., 2rs} as follows: f (vi1 ) = 2(rs − i) + 1, i = 1, 2, ..., r  2(rs − 2r + 2i) − 1, 1 ≤ i ≤ (r−1) 2 2 f (vi ) = 2(rs − 3r + 2i) − 1, (r+1) ≤ i ≤ r. 2

For j = 3, 4, 5, ..., s

 2rs − (2j − 1)r − 2i, 1 ≤ i ≤ (r−1) 2 f (vij ) = 2rs − (2j − 3)r − 2i, (r+1) ≤ i ≤ r. 2  r − 2i + 1, 1 ≤ i ≤ (r−1) 2 f (e1i ) = 3r − 2i + 1, (r+1) ≤ i ≤ r. 2

j = 2, 4, 6, ..., s − 1

f (esi ) = rs − 2i + 2 + (j + 1)r,

1 ≤ i ≤ r.

j = 3, 5, 7, ..., s  4i + (j − 1)r, 1 ≤ i ≤ (r−1) j 2 f (ei ) = 4i + (j − 3)r, (r+1) ≤ i ≤ r 2

It is clearly verified that f is odd vertex magic labeling of rCs with the magic 

constant k = 3rs + 2. Example 3.2.

An odd vertex magic labeling of 5C3 is given in figure.

Figure 3: n = 15, m = 15, k = 47

103

International Journal of Pure and Applied Mathematics

Special Issue

8

4. KITE (s,t)-kite consists of a cycle of length s with a t− edge path (the tail) attached to one vertex.

Theorem 4.1. (s, t) − kite graph admits an odd vertex magic labeling iff s + t is odd.

Proof. Let G be a (s, t) − kite graph. Let the vertex set

V = {v1 , v2 , v3 , ..., vs } ∪ {u1 , u2 , u3 , ..., ut } and the edge set

E = {ei = vi vi+1 , en = vs v1 , 1 ≤ i ≤ s − 1}∪{xi = ui vi+1 , xt = ut v1 : 1 ≤ i ≤ t − 1}.

Hence n = m = s + t. Suppose G admits an odd vertex magic total labeling f with a vertex magic constant k. P P Then nk = f (u) + 2 f (e). Hence k = 3(s + t) + 2. u∈V

e∈E

To prove that s + t is odd. Suppose s + t is even. Therefore k is even.

If u is a pendent vertex of (s, t) kite, then f (u)+f (uv) = k, which is a contradiction. Since f (u) is odd and f (uv) is even.Therefore s + t is odd. Conversely: Suppose s + t is odd. Hence either s or t is odd. We consider two cases. case(i): s is odd and t is even. Define f : V ∪ E −→ {1, 2, 3, ..., 2s + 2t} as follows, For 1 ≤ i ≤ s,

f (ei ) =

F or1 ≤ i ≤ t,

 t + i + 1,

2t + s + 1 + i,

f (xi ) =

 t + s + i + 2, i,

104

if

i is odd

if

i is even

if

i is odd

if

i is even

International Journal of Pure and Applied Mathematics

Special Issue

9

The vertex labeling as follows: f (vi ) = 2s − 2i + 1,

if

1≤i≤s

f (ui ) = 2s + 2t + 1 − 2i,

if

1≤i≤t

It could be easily verified that f is an vertex magic labeling of G with k = 3(s + t) + 2. Case(ii): S is even and t is odd. We consider two subcases. Subcase(i): t > s. For 1 ≤ i ≤ s f (ei ) =

and for 1 ≤ i ≤ t,

 2s − i + 1,

3s + t − i + 1,

   3s + t + i, if   f (xi ) = i − (t − s), if    2s + i, if

if

i is odd

if

i is even

i = 1, 3, 5, ..., t − s i = t − s + 2, t − s + 4, ...., t i is even

The vertex labelings are as follows,

f (u1 ) = 2t + 1  2t − 2i − 2s + 3, f (ui ) = 4t − 2i + 3,

f (vi ) = 2t + 2i − 2s − 1 f or

if

2≤i≤t−s+1

if

t−s+2≤i≤t

1≤i≤s

It could be verified that f is an odd vertex magic total labeling of G with k = 3(s + t) + 2.

105

International Journal of Pure and Applied Mathematics

Special Issue

10

Subcase(ii): t ≤ s. For 1 ≤ i ≤ s    t − i,   f (ei ) = 3t + 2s − i,    2t + s − i,  2t − i, f (xi ) = 3t + s − i,

if

i = 1, 3, ..., t − 2

if

i = t, t + 2, ..., s − 1

if

i = 2, 4, ..., s

if

i = 2, 4, ..., t − 1, 1 ≤ i ≤ t

if

i = 1, 3, ..., t

1≤i≤t

The vertex labelings are as follows: f (v1 ) = 2s − 2t + 3  2s + 2i + 1, if f (vi ) = 2i − 2t + 1, if

2≤i≤t−1 t≤i≤s

f (u1 ) = 2s + 3

f (ui ) = 2s − 2t + 2i + 1,

if

2 ≤ i ≤ t,

It can be clearly proved that f is an odd vertex magic total labeling with k = 

3(s + t) + 2 Example 4.2.

Example of an odd vertex magic labeling of a kite graph with s = 5

and t = 8 is given in figure.

Figure 4: n = 13, m = 13, k = 41 Example 4.3.

An odd vertex magic total labeling of a kite graph with s = 4 and

t = 9(t > s) and s = 8, t = 5(t < s) is given in figure.

106

International Journal of Pure and Applied Mathematics

Special Issue

11

Figure 5: n = 13, m = 13, k = 41

Figure 6: n = 13, m = 13, k = 41 5. SUNS An n−suns is a cycle cn with an edge finite in a vertex of degree 1 which attached to each vertex. Theorem 5.1. All n − suns are not an odd vertex magic labeling. Proof. All n−suns 2n vertices and 2n edges. For any odd vertex magic labeling f , f (u) + Σf (uv) = k, ∀u ∈ V .f (u) is odd and each f (uv) is even.

Therefore k is odd. Then by theorem2.3, k = 6n + 2 is even for any n which is a incompatibility to k is odd. Therefore all n−suns are not an odd vertex magic labeling. 

107

International Journal of Pure and Applied Mathematics

Special Issue

12

References [1] J.A. Gallian, A dynamic survey of graph labeling, Electron J.Combin. 16 (2009) DS6. [2] J.A. MacDougall, M.Miller, Slamin, W.D.Wallis, Vertex magic total labeling of graphs, Util.Math 61 (2002) 3-21. [3] J.A.MacDougall, M.Miller,K.A.Sugeng,Super vertex magic total labelling of graphs, in: Proc.of the 15t h Australian Workshop on Combinatorial Algorithms,2004,pp.222-229. [4] G.Marimuthu, M.Balakrishnan, E-Super vertex magic labelings of graphs, Discrete Applied Mathematics, 160, 1766-1744, 2012. [5] CT.Nagaraj, C.Y.Ponnappan, G.Prabakaran, Even vertex magic total labeling, International Journal of Pure and Applied Mathematics, Volume 115,No.9,(2017),363-375 [6] V.Swaminathan, P.Jeyanthi, Super vertex magic labeling, Indian J.Pure Appl.Math 34(6)(2003) 935-939.

108

109

110