1. Introduction
The graphs considered here will be finite, undirected and simple.
and
will denote the vertex set and edge set of a graph G. The cardinality of the vertex set of a graph G is denoted by p and the cardinality of its edge set is denoted by q. The corona
of two graphs
and
is defined as the graph obtained by taking one copy of
(with
vertices) and
copies of
and then joining the ith vertex of
to all the vertices in the ith copy of
. If e = uv is an edge of G and w is a vertex not in G then e is said to be subdivided when it is replaced by the edges uw and wv. The graph obtained by subdividing each edge of a graph G is called the subdivision graph of G and it is denoted by
. The graph
is called the ladder. A dragon is a graph formed by joining an end vertex of a path
to a vertex of the cycle
. It is denoted as
. The triangular snake
is obtained from the path
by replacing every edge of a path by a triangle
. The quadrilateral snake
is obtained from the path
by every edge of a path is replaced by a cycle
. The concept of pair sum labeling has been introduced in [1]. The Pair sum labeling behavior of some standard graphs like complete graph, cycle, path, bistar, and some more standard graphs are investigated in [1-3]. That all the trees of order ≤9 are pair sum have been proved in [4]. Terms not defined here are used in the sense of Harary [5]. Let x be any real number. Then
stands for the largest integer less than or equal to x and
stands for the smallest integer greater than or equal to x. Here we investigate the pair sum labeling behavior of
, for some standard graphs G.
2. Pair Sum Labeling
Definition 2.1. Let G be a
graph. An injective map
is called a pair sum labeling if the induced edge function,
defined by
is one-one and
is either of the form

or

according as q is even or odd. A graph with a pair sum labeling defined on it is called a pair sum graph.
Theorem 2.2 [1]. Any path is a pair sum graph.
Theorem 2.3 [1]. Any cycle is a pair sum graph.
3. On Standard Graphs
Here we investigate pair sum labeling behavior of
and
.
Theorem 3.1. If n is even,
is a pair sum graph.
Proof. Let
be the cycle
and let
be the path
.
Case 1. 
Define

by




.
Here

Therefore f is a pair sum labeling.
Case 2. 
Define

by





Here

Hence f is a pair sum labeling.
Case 3. 
Label the vertex
,
as in Case 1. Then label
to
.
Case 4. 
Assign the label
to
and assign the label to the remaining vertices as in Case 2.
Illustration 1. A pair sum labeling of
is shown in Figure 1.
Theorem 3.2.
is pair sum graph if n is even.
Proof: Let
be the vertices of
and u, v, w, z. be the vertices in
Let

and

Define

by




Here

Therefore f is a pair sum labeling.
Illustration 2. A pair sum labeling of
is shown in Figure 2.
4. On Subdivision Graph
Here we investigate the pair sum labeling behavior of
for some standard graphs G.
Theorem 4.1.
is a pair sum graph, where
is a ladder on n vertices.
Proof. Let

Let

Case 1: n is even.
When n = 2, the proof follows from the Theorem 2.3. For n > 2Define

by















When n = 4,
For n > 4,

Therefore f is a pair sum labeling.
Case 2. n is odd.
Clearly
and hence
is a pair sum graph by Theorem 2.2. For n > 1Define

by

















Therefore

and

when n > 5,

Then f is a pair sum labeling.
Illustration 3. A pair sum labeling of
is shown in Figure 3.
Theorem 4.2.
is a pair sum graph Proof. Let
Let

Case 1. n is even.
Define

by






Here

Then f is pair sum labeling.
Case 2. n is odd.
Define

by






Here

Then f is pair sum labeling.
Illustration 4. A pair sum labeling of
is shown in Figure 4.
Theorem 4.3.
is a pair sum graph.
Proof. Let

Let

Case 1. n is even.
When n = 2, the proof follows from Theorem 2.2. For n > 2, Define

by












Here

For n > 4,

Then f is pair sum labeling.
Case 2. n is odd.
Since
, which is a pair sum graph by Theorem 2.3. For n > 1, Define

by














Here


When n > 5,

Then f is pair sum labeling.
Illustration 5. A pair sum labeling of
is shown in Figure 5.
Theorem 4.4.
is a pair sum graph where
is a triangular snake with n triangle.
Proof. Let

and

Case 1. n is even.
When n = 2, Define f(u1) = 7, f(u2) = 6, f(u3) = 1, f(u4) = –6, f(u5) = –7, f(v1) = 5, f(v2) = 2, f(v3) = –4, f(v4) = –5, f(w1) = 3, f(w2) = –3. When n > 2, Define

by
















For n = 4,

For n > 4

Then f is pair sum labeling.
Case 2. n is odd.
Clearly
, and hence
is a pair sum graph by Theorem 2.3.
For > 1, Define

by
















,


Here n = 3,

For n > 3,

Then f is pair sum labeling.
Illustration 6. A pair sum labeling of
is shown in Figure 6.
Theorem 4.5.
is a pair sum graph.
Proof. Let

and

Case 1. n is even.
When n = 2, Define f(u1) = 11, f(u2) = 6, f(u3) = 1, f(u4) = –6, f(u5) = –11, f(w1) = 9, f(w2) = 2, f(w3) = –4, f(w4) = –9, f(v1) = 7, f(v2) = 5, f(v3) = 3, f(v4) = –3, f(v5) = –5, f(v6) = –7. When > 2, Define

by




















Here

Then f is pair sum labeling.
Case 2. n is odd.
is a pair sum graph follows from Theorem 2.3.When n > 1. Define

by
























For n = 3,

n > 3,

Then f is pair sum labeling Illustration 7. A pair sum labeling of
is shown in Figure 7.
5. Acknowledgements
We thank the referees for their valuable comments and suggestions.