SUPER PAIR SUM LABELLING OF GRAPHS
SUPER PAIR SUM LABELLING OF GRAPHS
THEOREM:4.1
Any path is a super pair sum graph.
Proof:
Let u_1,u_2,…..,u_nbe the vertices of the path p_n.
Case(i) n is odd.
Define f:V(G)∪E(G)→{0,±1,±2,….,±(n-1) as follows:
f(u_i )= {█((i+1-2n)/2 if i is odd@(n+i-1)/2 if i is even )┤
and f(u_i u_(i+1) )= (2i-n+1)/2,1≤i≤n-1
thus, f is a super pair sum labelling.
Case(ii). n is even
Define f:V(G)∪E(G)→{0,±1,±2,….,±(n-1) as follows:
f(u_i )={█(((3n+2i-4)/2 , (1≤i≤n/2 ,i is odd and n≡2(mod4))¦(2≤i≤n/2, i is even and n≡0(mod4) ))¦((n+2i-4)/4, ((n+4)/2≤i≤n-1,i is odd and n≡2(mod4))¦((n+4)/2≤i≤n,i is even n≡0(mod4) ))@((2-3n+2i)/4 , (2≤i≤(n-2)/2,i is even and n≡2(mod4))¦(1≤i≤(n-2)/2 ,i is odd andn≡0(mod4)))¦((2-5n+2i)/4 , ((n+2)/2≤i≤n,i is even and n≡2(mod4))¦((n+2)/2≤i≤n-1,i is odd and n≡0(mod4))))┤
f(u_i u_(i+1) )=i,for 1≤i≤(n-2)/2,
f(u_n/2,u_(n+2)/2)=0 and
f(u_i u_(i+1) )=i-n,for (n+2)/2≤i≤n-1
Thus, f is a super pair sum labelling and hence p_n is a super pair sum graph.
EXAMPLE:4.1
Super pair sum labelling of P_11,P_12,and P_10 are shown in figure 4.1
Figure 4.1:
Super pair sum labelling of P_11,P_12,and P_10
THEOREM:4.2
Every star graph S_m is a super pair sum graph for m≥1.
Proof:
Let v_0,v_1,….v_(m )be the vertices of the star K_(1,m) with V_0 as the central vertex.
Define f:V(G)∪E(G)→{0,±1,±2,….,±m as follows:
f(v_0 )=m,
f(v_i )=i-1-m,1≤i≤m and
f(v_0 v_1 )=i-1,1≤i≤m
Thus, f is a super pair sum labelling and hence S_m is a super graph for
m≥1.
THEOREM:4.3
Bistar B_(m,n)is a super pair sum graph for m≥1,n≥1.
Proof:
Let V(k_2 )={u,v}and u_i (1≤i≤m),v_j (1≤j≤n) be the vertices adjacent to u and v edges.
Define f:V(G)∪E(G)→{0,±1,±2,….,±(m+n+1)} as follows:
f(u)=-(m+n+1);
f(v)=m+n+1-i,1≤i≤m,
f(u_i )= -(m+n+1-j),i≤j≤n,
f(v_i )= -(m+n+1-j),i≤j≤n,
f(uu_i )=-i,1≤j≤n,and
f(vv_j )=i,1≤j≤n,and
f(uv)=0
Thus, f is a super pair sum labelling and hence B_(m,n) is a super pair sum graph for m≥1,n≥1.
EXAMPLE:4.3
A super pair sum labelling of B_7,8 is shown in figure 4.3
Figure 4.3 A super pair sum labelling of B_7,8.
THEOREM:4.4
[P_2n;S_m ] is a super pair sum graph for n≥1,m≥1.
Proof:
Let v_0j,v_1j,….v_(mj ) be the vertices in the j^thcopy of S_m,1≤j≤2n.
The number of the vertices and edges of [P_2n;S_m ] are 2n(m+1) and 2n(m+1)-1 respectively.
Case(i) n≡0(mod2)
Define f:V(G)∪E(G)→{0,±1,±2,….,±(2n(m+n+1)-1)} as follows:
f(v_0j )= {█(((m+1)(3n-j+1))/2-1 if j is odd,1≤j≤n-1@1-(m+1)(3n+j)/2 if j is even,2≤j≤n,)┤
f(v_0j )=-f(v_(0_(2n+1-j) ) ),n+1≤j≤2n,
f(v_ij )={█(1-i-(m+)(3n+j-1)/2 if j is odd,1≤j≤n-1@(m+1)(3n-j+2)/2-i-1 if j is even,2≤j≤n,)┤
f(v_ij )= -f(v_(i_(2n+1-j) ) ),n+1≤j≤2n,1≤i≤m,
f(v_oj v_(o_(j+1) ) )= -j(m+1),1≤j≤n-1,
f(v_(o_n ) v_(o_(n+1) ) )=0
f(v_(0_n ) v_(o_(n+1) ) )=(2n-j)(m+1),n+1≤j≤2n-1,and
f(v_oj v_(o_(j+1) ) )= {█((i-j)(m+1)-i,1≤i≤m@ (2n-j)(m+1)+i,n+1≤j≤2n,1≤i≤m)┤
Thus, f is a super pair sum labelling
Case(ii) n≡1(mod2)
Define f:V(G)∪E(G)→{0,±1,±2,….,±(2n(m+1)-1)} as follows:
f(v_oj )= {█((1-(m+1)(3n+j))/2 if j is odd,1≤j≤n@(m+1)(3n-j+1)/2-1 if j is even,2≤j≤n-1.)┤
f(v_oj )= -f(v_(0_(2n+1-j) ) ),n+1≤j≤2n,
f(v_ij )= {█(((m+1)(3n-j+2))/2-i-1 if j is odd ,1≤j≤n@1-i-(m+1)(3n+j-1)/2 if j is even,2≤j≤n-1)┤
f(v_ij )= -f(v_(i_(2n+1-j) ) ),n+1≤j≤2n,1≤i≤m,
f(v_oj v_(o_(j+1) ) )= -j (m+1),1≤j≤n-1,
f(v_(0_n ) v_(o_(n+1) ) )=0
f(v_(0_j ) v_(o_(j+1) ) )=(2n-j)(m+1),n+1≤j≤2n-1,and
f(v_oj v_ij )= {█((i-j)(m+1)-i,1≤i≤m@ (2n-j)(m+1)+i,n+1≤j≤2n,1≤i≤m)┤
Thus, f is a super pair sum labelling.
Hence,[P_2n;S_m ] is a super pair sum graph.
EXAMPLE:4.4
Super pair sum labelling of 〖[P〗_8,S_3] and [P_6;S_4 ] are shown in figure 4.4
Figure:4.4: super pair sum labelling of 〖[P〗_8,S_3] and [P_6;S_4 ]
THEOREM:4.5
Any comb is a super pair sum graph.
Proof:
Let G be the comb obtained from a path P_n:v_1,v_2,….v_nby joining a vertex u_i to v_i (1≤i≤n)
Case(i) n≡1(mod4)
Define f:V(G)∪E(G)→{0,±1,±2,….,±(2n(m+1)-1)} as follows:
f(v_i )={█(1-2i if i is odd,1≤i≤n@2(n-i)+1 if i is even,1≤i≤n,)┤
f(u_i )={█(f(v_(i+1) )+2,if i is odd,1≤i≤n-1@1 ,if i is even,i=n,)┤
f(v_i v_(i+1) )=2n-4i,1≤i≤n-1 and
f(u_i,v_i )=2n-4i+2,1≤i≤n.
Then f is a super pair sum labelling.
Case(ii) n≡3(mod4)
f(v_i )={█(2(n-i)+1 if i is odd,1≤i≤n@ 1-2i if i is even,1≤i≤n,)┤
f(u_i )={█(f(v_(i+1) )+2,if i is odd,1≤i≤n-1@1 ,if i is even,i=n,)┤
f(v_i v_(i+1) )=2n-4i,1≤i≤n-1 and
f(u_i,v_i )=2n-4i+2,1≤i≤n.
Thus, f is super pair sum labelling. When n is even and m=1, the result follows from theorem 4.4
Hence, any comb is super pair sum graph.
EXAMPLE:4.5
Super pair sum labelling of p_q⨀k_1 and p_11⨀k_1 are shown in figure 4.5
Figure:4.5 Super pair sum labelling of p_q⨀k_1 and p_11⨀k_1
THEROEM:4.6
C_2n is a super pair sum graph for n≥1.
Proof:
Let v_0j,v_1j,….v_(mj ) be the vertices of the cycle C_2n.
Define f:V(G)∪E(G)→{0,±1,±2,….,±2n} as follows:
f(v_1 )=1,
f(v_(2i+1) )=1-n-i,1≤i≤[(n-1)/2],
f(v_2i )=2n-i,1≤i≤[n/2],
f(v_i )= -f(v_(i-n) ),n+1≤i≤2n,
f(v_1 v_2 )=2n,
f(v_i v_(i+1)=n-i+1,2≤i≤n-1,
〖f(v〗_n v_(n+1))= (3n-2)/2,
〖f(v〗_i v_(i+1))= -f(v_(i-n) v_(i+1-n) ),n+1≤i≤2n-1 and
〖f(v〗_2n v_1)= -f(v_n v_(n+1) ).
Thus, f is a super pair sum labelling of C_12is shown in figure 4.6.
Figure.4.6 super pair sum labelling of C_12
THEOREM:4.7
k_(1,m)∪k_(1,n) is a super pair sum graph.
Proof:
Let u_1,u_2,….u_(m ) be the vertices of k_(1,m) and E(k_(1,m) )={u_0 u_i );1≤i≤m}
Let v_0,v_1,….v_n be the vertices of k_(1,m) and E(k_(1,m) )={v_0 v_i );1≤i≤n}
Without loss of generality assume that m<n.
Define f:V(G)∪E(G)→{0,±1,±2,….,±(m+n+1} as follows:
f(u_o )= -(m+n+1)
f(u_i )= m+n+1-2i,1≤i≤m,
f(v_o )= (m+n+1),
f(v_i )={█(1-2i,1≤i≤m@-m-i,m+1≤i≤n,)┤
f(u_0 u_i )= -2i,1≤i≤m,
f(v_o v_i )={█(m+n-2(i-1),1≤i≤m@ n+1-i,m+1≤i≤n,)┤
thus,f is a super pair sum labelling graph and hence, k_(1,m)∪k_(1,n) is a super pair sum graph.
EXAMPLE:4.7
A super pair sum labelling of k_1,4∪k_1,7 is shown in figure4.7
Figure:4.7A super pair sum labelling of k_1,4∪k_1,7
THEOREM:4.8
The caterpillar S(X_1,X_2,….,,X_n ) where, X_1=X_2= …=X_n is a super pair sum graph.
Proof:
Let u_1,u_2,….u_(m ) be the vertices of the path p_n
The vertex u_1 is attached to X_1=m number of leaves b_(1_j ) (1≤j≤m).
Define f:V(G)∪E(G)→{0,±1,±2,….,±(m+n)} as follows:
f(u_i )={█(-|(2n-i)/2|-m if i is odd and 1≤i≤n,@|(n+i-1)/2|+m if i is even and 2≤i≤n)┤
f(b_(1_j ) )= |(n-1)/2|+j,1≤j≤m,
f(〖u_1 b〗_(1_j ) )= -m-|n/2|,1≤i≤n-1
Then, f is a super pair sum labelling and hence S(m,0,0,….,0) is a super pair sum graph.
EXAMPLE:
A super pair sum labelling of s(6,0,0,0,0,0,0,0) is shown in figure 4.8
Figure:4.8 A super pair sum labelling of s(6,0,0,0,0,0,0,0).
Comments
Post a Comment