To begin, we first must define a simple undirected graph. A
simple undirected graph consists of a set which is a
nonempty, finite set of elements called vertices, and a set
which is a set of unordered pairs called edges, where
are distinct elements of . is called the vertex set
of , and is called the edge set of . A simple graph
can have at most one edge between any two vertices. From now on
we will use the word graph to mean a simple undirected graph.
We now define some classes of graphs. The complete graph, ,
has n vertices and every pair of vertices share an edge. The
complete m-partite graph,
, has partite sets
with
having the property
that if , , then
and
when . One class of complete
m-partite graphs is which is a m-partite graph which
each partite set containing vertices. A cycle containing n
vertices is denoted . Also a wheel contains a cycle
of length n and an additional vertex which is adjacent to every
vertex on the cycle. A tree is a acyclic connected graph
containing vertices, while a forest is a acyclic graph
containing vertices.
The concept of sum graph was introduced by Harary at the
Nineteenth Southeastern Conference on Combinatorics at Baton Rouge
in 1988. A graph, , is a sum graph if there exist a set
and a bijection
such that if are distinct elements of , then
if and only if
. In this
paper, we will refer to vertices by their corresponding label in
. The first obvious class of graphs which are not sum
graphs are connected graphs. Then not all graphs are sum graphs
and so it is a natural extension to define sum number of a
graph. The sum number of graph , denoted , is the
smallest number of isolated vertices that can be added to to
yield a sum graph.