Cmjv02i06p0828

Page 1

J. Comp. & Math. Sci. Vol.2 (6), 828-835 (2011)

Maximum Distance Matrix of Super Subdivision of Star Graph V. KALADEVI1 and P. BACKIALAKSHMI2 1

Department of Mathematics, Seethalakshmi Ramaswami College (Autonomous), Tiruchirappalli-02, Tamil Nadu, India 2 Department of Mathematics, Nehru Memorial College (Autonomous), Puthanampatti, Tiruchirappalli, Tamil Nadu, India ABSTRACT Let G = (V, E) be a simple graph. Let u, v ∈ V(G). The detour distance D(u, v) between u and v is the distance of the longest path from u to v. The detour graph of G denoted by D(G) is defined as an edge labeled complete graph on n vertices, where n = |V(G)|, the labels for uv is D(u, v). The sequence of edge labels of detour graph D(G) is called detour distance sequence. The maximum distance matrix or detour distance matrix is a lower (or) upper triangular matrix of order n x n, whose elements are detour distances. Keywords: Super subdivision, bipartite graph, star graph.

1. INTRODUCTION In graph theory there are so many areas in which graph labeling is one of the interesting areas. This paper deals with a kind of labeling problem which is of edge labeling type. The edge labeled complete graph is called detour graph, where the edge labels are detour distances and the corresponding sequence is called detour distance sequence. Prof. E. Sampath Kumar defines the detour graph of a given graph G denoted by D(G) is an edge labeled complete graph in ‘n’ vertices, where n =

|V(G)|, for every u, v ∈ V(G), the label for the edge uv is D(u, v).1 A few results of his paper are given below of which some of them were proved. If a detour graph of G has all the labels 1, then G = K2. If a detour graph of G has all the labels 2, then G = K3. The maximum distinct integers one can get in a detour distance sequence is n-1. The graph G is a tree if and only if the detour graph D(G) contains (n – 1)1’s. A graph G is a path if and only if the detour distance sequence is 1n-1, 2n-2, . . . (n - 1)1. A graph G is a star if

Journal of Computer and Mathematical Sciences Vol. 2, Issue 6, 31 December, 2011 Pages (780-898)


829

V. Kaladevi, et al., J. Comp. & Math. Sci. Vol.2 (6), 828-835 (2011)

and only if the detour distance sequence of G is 1n-1, 2nC2-(n-1). 2. DETOUR GRAPH Definition 2.1: Let G = (V, E) be a simple graph. Let u, v ∈ V(G). The detour distance D(u, v) between u and v is the distance of the longest path from u to v. The detour graph of G denoted by D(G) is defined as an edge labeled complete graph on n vertices, where n = |V(G)|, the labels for uv is D(u, v). Definition 2.2: The sequence of edge labels of detour graph D(G) is called Detour Distance Sequence (DDS). Definition 2.3: The maximum distance matrix or detour distance matrix is a lower (or) upper triangular matrix of order n x n, whose elements are detour distances.3 3. MAXIMUM DISTANCE MATRIX OF SUPER SUBDIVISION OF STAR GRAPH Definition 3.1: A graph G is called bipartite graph (or) bigraph if its vertex set can be decomposed into two disjoint subsets V1 and V2 such that each edge has one end in V1 and the other end in V2. Such a partition (V1, V2) is called a bipartition of the graph. Definition 3.2: A complete bipartite graph is a simple bipartite graph with bipartition (V1, V2) in which each vertex of V1 is joined to each vertex of V2. If V1 has m vertices and V2 has n vertices, then a complete bipartite graph is denoted by Km,n. If m = 1 then K1, n is called a star graph.

Definition 3.3: In the complete bipartite graph K2,m the part consisting of two vertices is called the 2-vertices part of K2,m and the part consisting of m vertices is called mvertices part of K2,m. Definition 3.4: Let G be a graph with n vertices and t edges. A graph H is said to be a super subdivision of G if H is obtained from G by replacing every edge ei of G by a complete bipartite graph K2,mi for some mi. 1 ≤ i ≤ t in such a way that the ends of ei are merged with the two vertices of 2-vertices part of K2,mi, after removing the edge ei from G. Definition 3.5: A super subdivision H of a graph G is said to be an finite supersubdivision of G if every edge of G is replaced by a complete bipartite graph K2,m (m is finite). If G is a (p, q) graph then the number of vertices in the finite supersubdivision of G is p+qm and the number of edges is 2mq. Notation 3.6: A finite super subdivision of a graph G by K2,m is denoted by FSSDm(G). Theorem 3.7: Let G = FSSDm(K1, n) where n, m ≥ 3 Then DDS[FSSDm(K1, n)] = 2n, 32nm, 4n(i+mC2), 2 5n(n-1)m, 6m (nC2) for n = 3, 5, 7, . . ., i = 1, 2, 3, . . . . respectively. 2

= 2n, 32nm, 4n(i+ ½+mC2), 5n(n-1)m,6m (nC2) for n = 4, 6, 8, . . ., i = 1, 2, 3, . . . respectively.

Journal of Computer and Mathematical Sciences Vol. 2, Issue 6, 31 December, 2011 Pages (780-898)


V. Kaladevi, et al., J. Comp. & Math. Sci. Vol.2 (6), 828-835 (2011)

830

Proof: Let V(K1,n) = {v0, v1, . . ., vn} be the vertex set of star graph K1,n with v0 as centre vertex and v1, v2, . . . , vn are the end vertices. Let E(K1,n) = {v0vi/1 ≤ i ≤ n} be the edge set of the star graph K1,n.

V(G) and edge set E(G) are described as below.

Let G denote the finite supersubdivision of star graph K1,n ie. G = FSSDm(K1,n).

E(G) = {v0 vn+i ; 1 ≤ i ≤ nm} ∪ {v1 vn+i ; 1 ≤ i ≤ m} ∪ {v2 vn+i ; m+1 ≤ i ≤ 2m}∪ . . . ∪ {vn vn+i ; m(n-1)+1 ≤ i ≤ nm}

V(G) = {v0, v1, v2, . . ., vn} ∪ {vn+1, vn+2 . . . vn+nm} and

To get the supersubdivision of star graph K1,n replace each edge v0vi by the complete bipartite graph K2,m, where m ≥ 3 and 1 ≤ i ≤ n in such a way that the ends of v0vi are merged with two vertices of 2vertices part of K2,mi after removing the edge ei from the star graph K1,n. The vertex set

We prove the statement by induction on n. We first prove for n = 3. Case i: m = 3 DDS[FSSD3(K1, 3)] = 23 318 412 518 627

V2

V8

V7

V9

V10

V4 V1

V3 V5

V6

V0

V11

V12

Journal of Computer and Mathematical Sciences Vol. 2, Issue 6, 31 December, 2011 Pages (780-898)


831

V. Kaladevi, et al., J. Comp. & Math. Sci. Vol.2 (6), 828-835 (2011)

Detour distance matrix of FSSD3(K1, 3) is V0 V1 V2 V3 V4 V5 V6 V7 V8 V9 V10 V11 V12 V0  0 V1  2 V2  2  V3  2 V4  3  V5  3 V6  3  V7  3  V8  3 V9  3  V10  3 V11  3  V12  3

-

-

-

-

-

-

-

-

-

-

-

0

-

-

-

-

-

-

-

-

-

-

4

0

-

-

-

-

-

-

-

-

-

4

4

0

-

-

-

-

-

-

-

-

3

5

5

0

-

-

-

-

-

-

-

3

5

5

4

0

-

-

-

-

-

-

3

5

5

4

4

0

-

-

-

-

-

5

3

5

6

6

6

0

-

-

-

-

5

3

5

6

6

6

4

0

-

-

-

5

3

5

6

6

6

4

4

0

-

-

5

5

3

6

6

6

6

6

6

0

-

5

5

3

6

6

6

6

6

6

4

0

5

5

3

6

6

6

6

6

6

4

4

- -  -  - -  - -  -  - -  - -  0 

Case ii : m = 4 DDS[FSSD4(K1, 3)] = 23 324 421 524 648 V2 V2

V9 V9

V8

V 10

V1

V1 V3

V5 V6

V7

V0

V11

V13

V14

V4 V5

V3 V0

V15

V13

V6

V16

V 14

V7

V17

V8

V18

V15

V12

V 11

V 12

V4

V10

Journal of Computer and Mathematical Sciences Vol. 2, Issue 6, 31 December, 2011 Pages (780-898)


V. Kaladevi, et al., J. Comp. & Math. Sci. Vol.2 (6), 828-835 (2011)

Detour distance matrix of FSSD4(K1, 3) is

832

Detour distance matrix of FSSD5(K1, 3) is V0 V1 V2 V3 V4 V5 V6 V7 V8 V9 V10 V11 V12 V13 V14V15 V16 V17 V18

V0 V1 V2 V3 V4 V5 V6 V7 V8 V9 V10 V11 V12 V13 V14 V15 V0 0 V1 2 V2 2  V3 2 V4 3  V5 3 V6 3  V7 3  V8 3 V9 3  V10 3 V11 3  V12 3 V13 3  V14 3  V15 3

- - - - - - - - - - - - - - - 0 - - - - - - - - - - - - - -  4 0 - - - - - - - - - - - - -  4 4 0 - - - - - - - - - - - - 3 5 5 0 - - - - - - - - - - -  3 5 5 4 0 - - - - - - - - - - 3 5 5 4 4 0 - - - - - - - - -  3 5 5 4 4 4 0 - - - - - - - -  5 3 5 6 6 6 6 0 - - - - - - - 5 3 5 6 6 6 6 4 0 - - - - - -  5 3 5 6 6 6 6 4 4 0 - - - - - 5 3 5 6 6 6 6 4 4 4 0 - - - -  5 5 3 6 6 6 6 6 6 6 6 0 - - - 5 5 3 6 6 6 6 6 6 6 6 4 0 - -  5 5 3 6 6 6 6 6 6 6 6 4 4 0 -  5 5 3 6 6 6 6 6 6 6 6 4 4 4 0

DDS[FSSD5(K1, 3)] = 23 330 433 530 675

DDS[FSSD3(K1, 4)] = 24 324 418 536 654

V2

V0 V1 V2 V3 V4 V5 V6 V7 V8 V9 V10 V11 V12 V13 V14 V15V16

V7 V9

V8

V10

V6 V11

V0

V5

V3 V12

V 16

V 15

− − − − − − − − − − − − − − − − − − 0 − − − − − − − − − − − − − − − − − 4 0 − − − − − − − − − − − − − − − −  4 4 0 − − − − − − − − − − − − − − − 3 5 5 0 − − − − − − − − − − − − − −  3 5 5 4 0 − − − − − − − − − − − − − 3 5 5 4 4 0 − − − − − − − − − − − − 3 5 5 4 4 4 0 − − − − − − − − − − −  3 5 5 4 4 4 4 0 − − − − − − − − − − 5 3 5 6 6 6 6 6 0 − − − − − − − − −  5 3 5 6 6 6 6 6 4 0 − − − − − − − − 5 3 5 6 6 6 6 6 4 4 0 − − − − − − − 5 3 5 6 6 6 6 6 4 4 4 0 − − − − − −  5 3 5 6 6 6 6 6 4 4 4 4 0 − − − − − 5 5 3 6 6 6 6 6 6 6 6 6 6 0 − − − −  5 5 3 6 6 6 6 6 6 6 6 6 6 4 0 − − − 5 5 3 6 6 6 6 6 6 6 6 6 6 4 4 0 − − 5 5 3 6 6 6 6 6 6 6 6 6 6 4 4 4 0 −  5 5 3 6 6 6 6 6 6 6 6 6 6 4 4 4 4 0

Secondly we prove the statement for n = 4. Case i : m = 3

Case iii : m = 5

V1

V0 0 V1 2 V2 2  V3 2 V4 3  V5 3 V6 3 V7 3  V8 3 V9 3  V10 3 V11 3 V12 3  V13 3 V14 3  V15 3 V16 3 V17 3  V18 3

V 14

V13 V4

Detour distance matrix of FSSD3(K1, 4) is

V0 0 V1 2 V2 2  V3 2 V4 2  V5 3 V6 3 V7 3  V8 3 V9 3  V10 3 V11 3 V12 3  V13 3 V14 3  V15 3 V16 3

− − − − − − − − − − − − − − − − 0 − − − − − − − − − − − − − − − 4 0 − − − − − − − − − − − − − −  4 4 0 − − − − − − − − − − − − − 4 4 4 0 − − − − − − − − − − − −  3 5 5 5 0 − − − − − − − − − − − 3 5 5 5 4 0 − − − − − − − − − − 3 5 5 5 4 4 0 − − − − − − − − −  5 3 5 5 6 6 6 0 − − − − − − − − 5 3 5 5 6 6 6 4 0 − − − − − − −  5 3 5 5 6 6 6 4 4 0 − − − − − − 5 5 3 5 6 6 6 6 6 6 0 − − − − − 5 5 3 5 6 6 6 6 6 6 4 0 − − − −  5 5 3 5 6 6 6 6 6 6 4 4 0 − − − 5 5 5 3 6 6 6 6 6 6 6 6 6 0 − −  5 5 5 3 6 6 6 6 6 6 6 6 6 4 0 − 5 5 5 3 6 6 6 6 6 6 6 6 6 4 4 0 

Journal of Computer and Mathematical Sciences Vol. 2, Issue 6, 31 December, 2011 Pages (780-898)


833

V. Kaladevi, et al., J. Comp. & Math. Sci. Vol.2 (6), 828-835 (2011) V9

Case ii: m = 4

V2

V8

DDS[FSSD4(K1, 4)] = 24 332 430 548 696

V7

V2

V10

V9

V 14

V3

V 12

V 11

V16

V6 V1

V 13

V 15

V0

V5

V1

V24

V23

V 22

V21

V20 V17

V13

V0

V5

V12

V6

V8 V7

V11

V 10

V3

V18 V4

V19

V 14 V20

V 19

V 18

V 17 V 15

Detour distance matrix of FSSD5(K1, 4) is

V 16 V4

V0 V1 V2 V3 V4 V5 V6 V7 V8 V9 V10 V11 V12 V13 V14 V15 V16 V17 V18 V19 V20 0 2  2  V3 2 V4 2  V5 3  V6 3 V7 3  V8 3 V9 3  V10 3  V11 3 V12 3  V13 3  V14 3 V15 3  V16 3 V17 3  V18 3  V19 3 V20 3 V0 V1 V2

0  2 V2 2  V3 2 V4 2  V5 3  V6 3 V7 3  V8 3  V9 3 V10 3  V11 3 V12 3 V13 3  V14 3 V15 3  V16 3  V17 3 V18 3  V19 3  V20 3 V21 3  V22 3  V23 3 V24 3 V0 V1

Detour distance matrix of FSSD4(K1, 4) is − − − − − − − − − − − − − − − − − − − − 0 − − − − − − − − − − − − − − − − − − − 4 0 − − − − − − − − − − − − − − − − − −  4 4 0 − − − − − − − − − − − − − − − − − 4 4 4 0 − − − − − − − − − − − − − − − −  3 5 5 5 0 − − − − − − − − − − − − − − −  3 5 5 5 4 0 − − − − − − − − − − − − − − 3 5 5 5 4 4 0 − − − − − − − − − − − − −  3 5 5 5 4 4 4 0 − − − − − − − − − − − − 5 3 5 5 6 6 6 6 0 − − − − − − − − − − − 5 3 5 5 6 6 6 6 4 0 − − − − − − − − − −  5 3 5 5 6 6 6 6 4 4 0 − − − − − − − − −  5 3 5 5 6 6 6 6 4 4 4 0 − − − − − − − −  5 5 3 5 6 6 6 6 6 6 6 6 0 − − − − − − −  5 5 3 5 6 6 6 6 6 6 6 6 4 0 − − − − − − 5 5 3 5 6 6 6 6 6 6 6 6 4 4 0 − − − − −  5 5 3 5 6 6 6 6 6 6 6 6 4 4 4 0 − − − − 5 5 5 3 6 6 6 6 6 6 6 6 6 6 6 6 0 − − −  5 5 5 3 6 6 6 6 6 6 6 6 6 6 6 6 4 0 − −  5 5 5 3 6 6 6 6 6 6 6 6 6 6 6 6 4 4 0 − 5 5 5 3 6 6 6 6 6 6 6 6 6 6 6 6 4 4 4 0

− − − − − − − − − − − − − − − − − − − − − − − −  0 0 − − − − − − − − − − − − − − − − − − − − − − 4 0 − − − − − − − − − − − − − − − − − − − − − −  4 4 0 − − − − − − − − − − − − − − − − − − − − − 4 4 4 0 − − − − − − − − − − − − − − − − − − − − 3 5 5 5 0 − − − − − − − − − − − − − − − − − − −  3 5 5 5 4 0 − − − − − − − − − − − − − − − − − − 3 5 5 5 4 4 0 − − − − − − − − − − − − − − − − −  3 5 5 5 4 4 4 0 − − − − − − − − − − − − − − − −  3 5 5 5 4 4 4 4 0 − − − − − − − − − − − − − − − 5 3 5 5 6 6 6 6 6 0 − − − − − − − − − − − − − −  5 3 5 5 6 6 6 6 6 4 0 − − − − − − − − − − − − −  5 3 5 5 6 6 6 6 6 4 4 0 − − − − − − − − − − − − 5 3 5 5 6 6 6 6 6 4 4 4 0 − − − − − − − − − − −  5 3 5 5 6 6 6 6 6 4 4 4 4 0 − − − − − − − − − − 5 5 3 5 6 6 6 6 6 6 6 6 6 6 0 − − − − − − − − − 5 5 3 5 6 6 6 6 6 6 6 6 6 6 4 0 − − − − − − − −  5 5 3 5 6 6 6 6 6 6 6 6 6 6 4 4 0 − − − − − − − 5 5 3 5 6 6 6 6 6 6 6 6 6 6 4 4 4 0 − − − − − −  5 5 3 5 6 6 6 6 6 6 6 6 6 6 4 4 4 4 0 − − − − −  5 5 5 3 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 0 − − − − 5 5 5 3 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 4 0 − − −  5 5 5 3 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 4 4 0 − −  5 5 5 3 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 4 4 4 0 − 5 5 5 3 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 4 4 4 4 0

We prove the statement for n = 5 and m = 3. Case iii : m = 5 DDS[FSSD5(K1, 4)]

4

40

46

60

= 2 3 4 5 6

150

DDS[FSSD3(K1, 5)] = 25 330 425 560 690

Journal of Computer and Mathematical Sciences Vol. 2, Issue 6, 31 December, 2011 Pages (780-898)


834

V. Kaladevi, et al., J. Comp. & Math. Sci. Vol.2 (6), 828-835 (2011)

DDS[FSSDm(K1,t+1)]= [2t, 32 t m , 4t[i + ½ +mC2], 2 5t(t-1)m, 6m (tC2))] . [21, 32m, 4-t/2 + i + mC2, 52 t m , 2 6m (tC1)]

V2 V3 V11 V 10 V8

V12

V9

V13

V7 V0

DDS[FSSDm(K1,t+1)] = 22(t+1), 32(t+1)m, 4(t+1)(i+mC2),

V 14

V6 V15 V1

V20

V19

5(t+1) t m ,

V16

2((t+1)C2)

6m

V4

V18 V17

V5

Detour distance matrix of FSSD3(K1,5) is 0  2 2  2 2  2  V6 3 V7 3  V8 3  V9 3 V10 3  V11 3 V12 3 V13 3  V14 3 V15 3  V16 3  V17 3 V18 3  V19 3  V20 3 V0 V1 V2 V3 V4 V5

− − − − − − − − − − − − − − − − − − − −  0 − − − − − − − − − − − − − − − − − − − 4 0 − − − − − − − − − − − − − − − − − −  4 4 0 − − − − − − − − − − − − − − − − − 4 4 4 0 − − − − − − − − − − − − − − − − 4 4 4 4 0 − − − − − − − − − − − − − − −  3 5 5 5 5 0 − − − − − − − − − − − − − − 3 5 5 5 5 4 0 − − − − − − − − − − − − −  3 5 5 5 5 4 4 0 − − − − − − − − − − − −  5 3 5 5 5 6 6 6 0 − − − − − − − − − − − 5 3 5 5 5 6 6 6 4 0 − − − − − − − − − −  5 3 5 5 5 6 6 6 4 4 0 − − − − − − − − −  5 5 3 5 5 6 6 6 6 6 6 0 − − − − − − − − 5 5 3 5 5 6 6 6 6 6 6 4 0 − − − − − − −  5 5 3 5 5 6 6 6 6 6 6 4 4 0 − − − − − − 5 5 5 3 5 6 6 6 6 6 6 6 6 6 0 − − − − −  5 5 5 3 5 6 6 6 6 6 6 6 6 6 4 0 − − − −  5 5 5 3 5 6 6 6 6 6 6 6 6 6 4 4 0 − − − 5 5 5 5 3 6 6 6 6 6 6 6 6 6 6 6 6 0 − −  5 5 5 5 3 6 6 6 6 6 6 6 6 6 6 6 6 4 0 −  5 5 5 5 3 6 6 6 6 6 6 6 6 6 6 6 6 4 4 0

By Induction, let us assume that the statement is true for n = t, where t is even. We have to prove the result is true for n = t + 1, where t + 1 is odd. DDS[FSSDm(K1,t)] = 2t, 32 t m , 4t[i + ½ +mC2], 5t(t2 1)m , 6m (tC2) where i = 1, 2, 3, . . . .

Let us assume that the statement is true for n = t, where t is odd. We have to prove the result is true for n = t + 1, where t + 1 is even. DDS[FSSDm(K1,t)] = 2t, 32 t m , 4t(i+mC2), 5t(t2 1)m , 6m (tC2) where i = 1, 2, 3, . . . . DDS[FSSDm(K1,t+1)] = [2t, 32 t m , 4t(i+mC2), 5t(t2 1)m , 6m (tC2)] . 2 [21, 32m, 4t/2+i+½+mC2, 52 t m , 6m (tC1)] DDS[FSSDm(K1,t+1)] = 2(t+1), 32(t+1)m, 2 4(t+1)(i+½+mC2), 5t(t+1)m, 6m (t+1)C2). Hence the Theorem.

4. CONCLUSION In this paper we have found the detour distance sequence of FSSDm(K1,n). The graph FSSDm(K1,n) is nothing but the one vertex union of isomorphic complete bipartite graphs K2,m, where m ≥ 3. Therefore, we conclude the detour distance sequence of one vertex union of isomorphic complete bipartite graphs K2,m, where m ≥ 3 is the result proved in the theorem.

Journal of Computer and Mathematical Sciences Vol. 2, Issue 6, 31 December, 2011 Pages (780-898)


835

V. Kaladevi, et al., J. Comp. & Math. Sci. Vol.2 (6), 828-835 (2011)

REFERENCES 1. E. Sampath Kumar, V. Swaminathan, P. Vishvanathan, G. Prabhakaran, Detour Graphs, ICMCS, March 1-3, pp.247-248 (2007). 2. J. A. Gallian, Dynamic Survey, DS6; Graphs Labeling, Electronic J. ombinatorics, DS6 1-58, (2007). www.combinatoric.org–surveys– DS6.pdf

3. Indra Rajasingh, Bharathirajan, S. Prabhu, Detour Distance Sequence, ICMCS 25-26, pp. 276-280 (July 2008). 4. Indra Rajasingh, Bharathirajan, S. Prabhu, Maximum Distance Matrix of the Complete Bipartite Graph and its Distance Sequence, ICMCS 5-6, pp.148152 (January 2009). 5. F. Harary, Graph Theory, Addision Wesley, Publishing Company, (1969).

Journal of Computer and Mathematical Sciences Vol. 2, Issue 6, 31 December, 2011 Pages (780-898)


Turn static files into dynamic content formats.

Create a flipbook
Issuu converts static files into: digital portfolios, online yearbooks, online catalogs, digital photo albums and more. Sign up and create your flipbook.