Graph & Graph Models by me
Graph & Graph Models by me
The previous part brought forth the different tools for reasoning, proofing and problem solving. In this
part, we will study the discrete structures that form the basis of formulating many a real-life problem.
The two discrete structures that we will cover are graphs and trees. A graph is a set of points, called
nodes or vertices, which are interconnected by a set of lines called edges. The study of graphs, or graph
theory is an important part of a number of disciplines in the fields of mathematics, engineering and
computer science.
What is a Graph?
Definition − A graph (denoted as G = (V , E)) consists of a non-empty set of vertices or nodes V and
a set of edges E.
Degree of a Vertex − The degree of a vertex V of a graph G (denoted by deg (V)) is the number of edges
incident with the vertex V.
a 2 even
b 2 even
c 3 odd
d 1 odd
Even and Odd Vertex − If the degree of a vertex is even, the vertex is called an even vertex and if the
degree of a vertex is odd, the vertex is called an odd vertex.
Degree of a Graph − The degree of a graph is the largest vertex degree of that graph. For the above
graph the degree of the graph is 3.
The Handshaking Lemma − In a graph, the sum of all the degrees of all the vertices is equal to twice the
number of edges.
Types of Graphs
There are different types of graphs, which we will learn in the following section.
Null Graph
A null graph has no edges. The null graph of n vertices is denoted by Nn
Simple Graph
A graph is called simple graph/strict graph if the graph is undirected and does not contain any loops or
multiple edges.
Multi-Graph
If in a graph multiple edges between the same set of vertices are allowed, it is called Multigraph. In
other words, it is a graph having at least one loop or multiple edges.
Directed and Undirected Graph
A graph G = (V , E) is called a directed graph if the edge set is made of ordered vertex pair and a
graph is called undirected if the edge set is made of unordered vertex pair.
Complete Graph
A graph is called complete graph if every two vertices pair are joined by exactly one edge. The complete
graph with n vertices is denoted by Kn
Cycle Graph
If a graph consists of a single cycle, it is called cycle graph. The cycle graph with n vertices is denoted
by Cn
Bipartite Graph
If the vertex-set of a graph G can be split into two disjoint sets, V1 and V2 , in such a way that each edge
in the graph joins a vertex in V1 to a vertex in V2 , and there are no edges in G that connect two vertices
in V1 or two vertices in V2 , then the graph G is called a bipartite graph.
Complete Bipartite Graph
A complete bipartite graph is a bipartite graph in which each vertex in the first set is joined to every
single vertex in the second set. The complete bipartite graph is denoted by Kx,y where the graph G
contains x vertices in the first set and y vertices in the second set.
Explore our latest online courses and learn new skills at your own pace. Enroll and become a certified
expert to boost your career.
Representation of Graphs
There are mainly two ways to represent a graph −
Adjacency Matrix
Adjacency List
Adjacency Matrix
An Adjacency Matrix A[V ][V ] is a 2D array of size V × V where V is the number of vertices in a
undirected graph. If there is an edge between Vx to Vy then the value of A[Vx ][Vy ] = 1 and
A[Vy ][Vx ] = 1 , otherwise the value will be zero. And for a directed graph, if there is an edge between
Vx to Vy , then the value of A[Vx ][Vy ] = 1 , otherwise the value will be zero.
Let us consider the following undirected graph and construct the adjacency matrix −
Adjacency matrix of the above undirected graph will be −
a b c d
a 0 1 1 0
b 1 0 1 0
c 1 1 0 1
d 0 0 1 0
Let us consider the following directed graph and construct its adjacency matrix −
a b c d
a 0 1 1 0
b 0 0 1 0
c 0 0 0 1
d 0 0 0 0
Adjacency List
In adjacency list, an array (A[V ]) of linked lists is used to represent the graph G with V number of
vertices. An entry A[Vx ] represents the linked list of vertices adjacent to the V x − th vertex. The
adjacency list of the undirected graph is as shown in the figure below −
Non-planar graph − A graph is non-planar if it cannot be drawn in a plane without graph edges crossing.
Isomorphism
If two graphs G and H contain the same number of vertices connected in the same way, they are called
isomorphic graphs (denoted by G ≅H ).
It is easier to check non-isomorphism than isomorphism. If any of these following conditions occurs,
then two graphs are non-isomorphic −
Example
The following graphs are isomorphic −
Homomorphism
A homomorphism from a graph G to a graph H is a mapping (May not be a bijective mapping)
h : G → H such that − (x, y) ∈ E(G) → (h(x), h(y)) ∈ E(H) . It maps adjacent vertices of
graph G to the adjacent vertices of the graph H .
Properties of Homomorphisms
A homomorphism is an isomorphism if it is a bijective mapping.
To find out if there exists any homomorphic graph of another graph is a NPcomplete problem.
Euler Graphs
A connected graph G is called an Euler graph, if there is a closed trail which includes every edge of the
graph G. An Euler path is a path that uses every edge of a graph exactly once. An Euler path starts and
ends at different vertices.
An Euler circuit is a circuit that uses every edge of a graph exactly once. An Euler circuit always starts
and ends at the same vertex. A connected graph G is an Euler graph if and only if all vertices of G are
of even degree, and a connected graph G is Eulerian if and only if its edge set can be decomposed into
cycles.
The above graph is an Euler graph as “a 1 b 2 c 3 d 4 e 5 c 6 f 7 g” covers all the edges of the graph.
Hamiltonian Graphs
A connected graph G is called Hamiltonian graph if there is a cycle which includes every vertex of G
and the cycle is called Hamiltonian cycle. Hamiltonian walk in graph G is a walk that passes through
each vertex exactly once.
n
If G is a simple graph with n vertices, where n ≥ 3 If deg(v) ≥ 2
for each vertex v, then the graph G
is Hamiltonian graph. This is called Dirac's Theorem.
If G is a simple graph with n vertices, where n ≥ 2 if deg(x) + deg(y) ≥ n for each pair of non-
adjacent vertices x and y, then the graph G is Hamiltonian graph. This is called Ore's theorem.