Sets, Relations, & Functions
Mathematical Logic
Group Theory
Counting & Probability
Mathematical & Recurrence
Discrete Structures
Boolean Algebra
Discrete Mathematics Resources
- Discrete Mathematics - Discussion
- Discrete Mathematics - Resources
- Discrete Mathematics - Quick Guide
Selected Reading
- Who is Who
- Computer Glossary
- HR Interview Questions
- Effective Resume Writing
- Questions and Answers
- UPSC IAS Exams Notes
Graph & Graph Models
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-pfe 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 pnes called edges. The study of graphs, or graph theory is an important part of a number of discippnes 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.
Example − Let us consider, a Graph is $G = (V, E)$ where $V = lbrace a, b, c, d brace $ and $E = lbrace lbrace a, b brace, lbrace a, c brace, lbrace b, c brace, lbrace c, d brace brace$
![Graph](/discrete_mathematics/images/graph.jpg)
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.
Vertex | Degree | Even / Odd |
---|---|---|
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 $N_n$
![Null Graph](/discrete_mathematics/images/null_graph.jpg)
Simple Graph
A graph is called simple graph/strict graph if the graph is undirected and does not contain any loops or multiple edges.
![Simple Graph](/discrete_mathematics/images/simple_graph.jpg)
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.
![Multi-Graph](/discrete_mathematics/images/multi_graph.jpg)
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.
![Undirected Graph](/discrete_mathematics/images/undirected_graph.jpg)
![Directed Graph](/discrete_mathematics/images/directed_graph.jpg)
Connected and Disconnected Graph
A graph is connected if any two vertices of the graph are connected by a path; while a graph is disconnected if at least two vertices of the graph are not connected by a path. If a graph G is disconnected, then every maximal connected subgraph of $G$ is called a connected component of the graph $G$.
![Connected graph](/discrete_mathematics/images/connected_graph.jpg)
![Unconnected graph](/discrete_mathematics/images/unconnected_graph.jpg)
Regular Graph
A graph is regular if all the vertices of the graph have the same degree. In a regular graph G of degree $r$, the degree of each vertex of $G$ is r.
![regular_graph](/discrete_mathematics/images/regular_graph.jpg)
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 $K_n$
![Complete Graph](/discrete_mathematics/images/complete_graph.jpg)
Cycle Graph
If a graph consists of a single cycle, it is called cycle graph. The cycle graph with n vertices is denoted by $C_n$
![Cycle Graph](/discrete_mathematics/images/cycpc_graph.jpg)
Bipartite Graph
If the vertex-set of a graph G can be sppt into two disjoint sets, $V_1$ and $V_2$, in such a way that each edge in the graph joins a vertex in $V_1$ to a vertex in $V_2$, and there are no edges in G that connect two vertices in $V_1$ or two vertices in $V_2$, then the graph $G$ is called a bipartite graph.
![Bipartite graph](/discrete_mathematics/images/bipartite_graph.jpg)
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 $K_{x,y}$ where the graph $G$ contains $x$ vertices in the first set and $y$ vertices in the second set.
![Complete Bipartite Graph](/discrete_mathematics/images/complete_bipartite.jpg)
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 imes V$ where $V$ is the number of vertices in a undirected graph. If there is an edge between $V_x$ to $V_y$ then the value of $A[V_x][V_y]=1$ and $A[V_y][V_x]=1$, otherwise the value will be zero. And for a directed graph, if there is an edge between $V_x$ to $V_y$, then the value of $A[V_x][V_y]=1$, otherwise the value will be zero.
Adjacency Matrix of an Undirected Graph
Let us consider the following undirected graph and construct the adjacency matrix −
![Adjacency undirected](/discrete_mathematics/images/adjacency_undirected.jpg)
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 |
Adjacency Matrix of a Directed Graph
Let us consider the following directed graph and construct its adjacency matrix −
![Adjacency directed](/discrete_mathematics/images/adjacency_directed.jpg)
Adjacency matrix of the above directed graph will be −
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 pst, an array $(A[V])$ of pnked psts is used to represent the graph G with $V$ number of vertices. An entry $A[V_x]$ represents the pnked pst of vertices adjacent to the $Vx-th$ vertex. The adjacency pst of the undirected graph is as shown in the figure below −
![Adjacency List](/discrete_mathematics/images/adjacency_pst.jpg)
Planar vs. Non-planar graph
Planar graph − A graph $G$ is called a planar graph if it can be drawn in a plane without any edges crossed. If we draw graph in the plane without edge crossing, it is called embedding the graph in the plane.
![Planar graph](/discrete_mathematics/images/planar_graph.jpg)
Non-planar graph − A graph is non-planar if it cannot be drawn in a plane without graph edges crossing.
![Non-planar graph](/discrete_mathematics/images/nonplanar_graph.jpg)
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 cong H$).
It is easier to check non-isomorphism than isomorphism. If any of these following conditions occurs, then two graphs are non-isomorphic −
The number of connected components are different
Vertex-set cardinapties are different
Edge-set cardinapties are different
Degree sequences are different
Example
The following graphs are isomorphic −
![Isomorphism](/discrete_mathematics/images/isomorphism.jpg)
Homomorphism
A homomorphism from a graph $G$ to a graph $H$ is a mapping (May not be a bijective mapping)$ h: G ightarrow H$ such that − $(x, y) in E(G) ightarrow (h(x), h(y)) in 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.
Homomorphism always preserves edges and connectedness of a graph.
The compositions of homomorphisms are also homomorphisms.
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.
![Euler graph](/discrete_mathematics/images/euler_graph.jpg)
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.
![Non-Euler graph](/discrete_mathematics/images/non_euler_graph.jpg)
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.
If $G$ is a simple graph with n vertices, where $n geq 3$ If $deg(v) geq frac{n}{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 geq 2$ if $deg(x) + deg(y) geq n$ for each pair of non-adjacent vertices x and y, then the graph $G$ is Hamiltonian graph. This is called Ore s theorem.
![Hamiltonian graph](/discrete_mathematics/images/hamiltonian_graph.jpg)
![Non-Hamiltonian graph](/discrete_mathematics/images/non_hamiltonian_graph.jpg)