Week 1 Edit
Week 1 Edit
Graph G consists:
Vertex
edge
endpoints
Graph Basics and Definitions
1.13 Sub graphs, Unions, Isomorphism
Adjacency edges
Handshaking Lemma (First Theorem of
Graph Theory)
The degree sum formula (Handshaking lemma):
∑v ∈ Vdeg(v) = 2 |E|
This means, that the sum of degrees of all the vertices is equal to the number
of edges multiplied by 2. We can conclude, that the number of vertices with
odd degree has to be even. This statement is known as the handshaking
lemma. The name "handshaking lemma" stems from a popular mathematical
problem: In any group of people the number of people who have shaken hands
with an odd number of other people from the group is even.
unions
union
Same degree of V
Same edge
https://www.youtube.com/watch?v=71XbdtoG7P8
Undirected Graph
Simple graph
A simple graph is a graph having no loops or multiple edges. In this case,
each edge e in E(G) can be specifed by its endpoints u; v in V (G). Sometimes
we write e = uv.
Multigraphs…have a loops…regular grap doesnot have
loops
Pseudographs.
Pseudographs.
Exercises
Regular Graph: A graph in which every vertex has the same degree is called
a regular graph. If all vertices have degree k, the graph is said to be k-
regular.
Bipartite
Bipartite
Complete Graphs
Complete Graph: The complete graph on n vertices Kn consists of the vertex set V = {v1,v2,…,vn}
and the edge set E containing all pairs (vi,vj) of vertices in V.
A complete graph is a simple graph whose vertices are pairwise adjacent. The
complete graph with n vertices is denoted Kn
Complete Graphs
Cycles
Wheels
a wheel graph Wn is a graph with n vertices (n ≥ 4), formed by connecting a single
vertex to all vertices of an (n-1)-cycle. The numerical notation for wheels is used
inconsistently in the literature: some authors instead use n to refer to the length of
the cycle, so that their Wn is the graph we denote Wn+1.[1] A wheel graph can also be
defined as the 1-skeleton of an (n-1)-gonal pyramid.
Cubes
The petersen graph is the simple graph whose vertices are the 2-
element subsets of a 5-element set and whose edges are pairs of
disjoint 2-element subsets
Graph
Ch. 1. Fundamental Concept 117
Theory
Petersen Graph 1.1.37
12
45: (4, 5)
35
45 25 34
13
Disjoint, so
24 connected
14
15
Ch. 1. Fundamental Concept 23 Graph
118
Theory
Peterson Graph
A Petersen graph is a graph with
10 vertices and 15 edges.
Before we can talk about complete bipartite graphs, we must understand
bipartite graphs.
An independent set in a graph is a set of vertices that are pairwise
nonadjacent.
A graph G is bipartite if V (G) is the union of two disjoint (possibly empty)
independent sets, called partite sets of G.
Similarly, a graph is k-partite if V (G) is the union of k disjoint independent
sets.
Theorem: A graph is bipartite if and only if it has no
odd cycle. 1.2.18
Examples:
A B
A B
F C
E D
D C
A B
A B
C D
C D
E F
Graph
Ch. 1. Fundamental Concept 126
Theory
Definitions and Fundamental Concepts
No Yes Yes
To be traversable it must have 2 or 0 odd nodes
In order to start and end at the same node the network must be
Eularian (all nodes must be even).
To be route for a
postman it must be
closed and so have
0 odd nodes
Traversability
A network is said to be Traversable if you can draw it without
removing your pen from the paper and without retracing the same arc
twice. It is Closed if you can start anywhere and finish at the start
point.
We will first present some definitions and then present a theorem that Euler used to
show that it is in fact impossible to walk through the town and traverse all the
bridges only once.
Definitions
Eulerian trail: An Eulerian trail is a trail that visits every edge of the graph once and only
once. It can end on a vertex different from the one on which it began. A graph of this
kind is said to be traversable
Eulerian Circuit: An Eulerian circuit is an Eulerian trail that is a circuit. That is, it begins
and ends on the same vertex.
A vertex is odd if its degree is odd and even if its degree is even