walks, paths and circuits walks, paths and circuits sanjay jain, lecturer, school of computing
TRANSCRIPT
Walks, Paths and CircuitsWalks, Paths and Circuits
Sanjay Jain, Lecturer, Sanjay Jain, Lecturer,
School of ComputingSchool of Computing
Walks Paths and Circuits Notation for Walks Connected Graphs Lemma Euler Circuit Euler Path Connected Component Hamiltonian Circuit
Main Menu Main Menu (Click on the topics below)
WalksWalks
A walk from a vertex u to v (in G) is a sequence of the form
v0 e1 v1 e2 v2 e3……….. ek vk
where u = v0 , v = vk and
for any ei, endpoints(ei) = {vi-1 , vi} Trivial walk from u to u consists of just
u
Length of a walk: number of edges in the walk, where we count different appearance of an edge in the walk separately.
WalksWalks
v1e2v2e3v3e3v2 is a walk from v1 to v2 with length 3.
v1 v2e2
e3
v3
e1
e4
v4
v5
e5 e6
e7
v6
Notation for WalksNotation for Walks
In graphs without parallel edges, we often omit the name of edges from the walk.
This is so, since the edges are uniquely determined by the end points.
Thus, we can reinsert the edges if needed.
END OF SEGMENT
Paths and CircuitsPaths and Circuits
Path from u to v (in G) is a walk from u to v such that no edges are repeated.
A Simple Path from u to v (in G) is a path from u to v in which no vertices are repeated.
A closed walk is a walk which starts and ends at the same vertex.
A circuit is a closed walk in which no edges are repeated.
A simple circuit is a circuit in which no vertices (except for the last vertex, which is the same as first vertex) are repeated.
Paths and CircuitsPaths and Circuits
v1e2v2e3v3e3v2 is walk but not a path. v1e2v2e3v3 is a path from v1to v3
v1e2v2e3v3e3v2e2v1 is a closed walk but not a circuit v1e2v2e3v3e1v1 is a simple circuit
v1 v2e2
e3
v3
e1
e4
v4
v5
e5 e6
e7
v6
END OF SEGMENT
TheoremTheorem
Suppose G is a graph, u and v are vertices in V(G), and there is a walk from u to v (in G).
Then there is a simple path from u to v in G.
ProofProofSince there is a walk from u to v, there must be a shortest
walk from u to v. Let it be
W = v0 e1 v1 e2... vi ei+1…… vj ej+1 ….. ek vk
If it is a simple path, then we are done.
Otherwise suppose vi = vj , ij.
Then, W’ = v0 e1 v1 e2... vi ej+1 ….. ek vk
v0
vi =vj
vk
is also a walk from u to v, with length smaller than W. A contradiction to W being of shortest length. Thus W must be simple path..
END OF SEGMENT
Connected GraphsConnected Graphs
Two vertices u and v in a graph G, are connected iff there is a walk from u to v.
G is connected iff all pair of vertices in G are connected.
ExampleExample
v1 v2e2
e3
v3
e1
e4
ExampleExample
v1 v2e2
e3
v3
e1
e4
v4
v5
e5 e6
e7
v6
END OF SEGMENT
TheoremTheorem
Suppose G is a graph and C is a circuit in G containing vertices u, v. Suppose e is an edge in G.
Let G’ be formed by deleting edge e from the graph G.Then there is still a path from u to v in G’.
ProofProof
Suppose the circuit C in G isw…… u ……v ….. ……w
e can be in only one of the above paths.So at least one path remains intact after removal of e. Thus, in G’, there is a path from u to v.
END OF SEGMENT
LemmaLemma
(a) If G is a connected graph, then any two distinct vertices of G can be connected by a simple path
(b) If two distinct vertices v and w are part of a non-trivial circuit and one edge is removed from the circuit, then there still exists a path from v to w in the new graph so formed.
(c) If G is connected and we remove an edge in a circuit, then G still remains connected.
END OF SEGMENT
Proof of Lemma (a)Proof of Lemma (a)
Suppose v, w are vertices in G.Then since G is connected, there exists a walk from u
to v (in G). Therefore, by a theorem done earlier, there is a
simple path from u to v.
(a) If G is a connected graph, then any two distinct vertices of G can be connected by a simple path
END OF SEGMENT
Proof of Lemma (b)Proof of Lemma (b)
In earlier theorem we showed: Suppose G is a graph and C is a circuit in G
containing vertices u and v. Suppose e is an edge in G.
Let G’ be formed by deleting edge e from the graph G.
Then there is still a path from u to v in G’.
(b) If two distinct vertices v and w are part of a non-trivial circuit and one edge is removed from the circuit, then there still exists a path from v to w in the new graph so formed.
END OF SEGMENT
Proof of Lemma (c)Proof of Lemma (c)
(c) If G is connected and we remove an edge in a circuit, then G still remains connected.
Proof of Lemma (c)Proof of Lemma (c)
Suppose e is the edge in a circuit of G which is removed. Suppose e has endpoints u and v. Suppose G’ be the new graph. By part (b) there is a path, say P, from u to v in G’.
To show: for all u’,v’ in V(G), there exists a walk from u’ to v’ in G’.Consider any u’, v’ in G.G is connected --> there is a walk and thus a path, say Q, from u’
to v’ in G. If Q doesn’t contain e: Q is a path from u’ to v’ in G’.If Q contains e: replace “uev” in Q by P and “veu” in Q by reverse of P.That is, if Q=u’……uev…..v’then consider the walk u’……P…….v’Note that this new walk is a walk in G’ from u’ to v’. Since u’, v’ were arbitrary element of V(G’), we get that G’ is
connected.
END OF SEGMENT
Euler CircuitEuler Circuit
Suppose G is a graph. Euler circuit of G (in G) is a circuit which goes through all the edges (exactly once) and all the vertices of G.
Note that the vertices may be repeated in an Euler circuit.
Euler Circuit - ExampleEuler Circuit - Example
. ... .
.v0 v2 v4
v5v3v1
v0v1v3v2v5v4v2v0 is an Euler circuit of the above graph
Euler Circuit - ExampleEuler Circuit - Example
. ... .
.v0 v2 v4
v5v3v1
END OF SEGMENT
TheoremTheorem
If a graph G has Euler circuit, then (a) G is connected, and (b) every vertex of G has even degree.
Part (a): If G is not-connected then no circuit goes through all the vertices.
Proof (b)Proof (b)Suppose the Euler circuit is:
v0 e1 v1 e2….. ei vi ei+1……ej vj ej+1 ….. ek v0
For any vertex v (except v0):
Coming in, going out occur in pairs. Each coming in and going out are via different edges (no repetition of edges in a circuit). Thus the degree of vertex v in G must be even. Similar reasoning holds for v0 also, except that we consider the first exit and last entry separately.
.come in,
go out, ..…..
go out, ..
come in,
END OF SEGMENT
TheoremTheorem
If G is connected and every vertex of G has even degree, then G has an Euler circuit.
Corollary: G has Euler circuit iff it is connected and every vertex of G has even degree.
Proof
.v
u.C
(b) No edges left: Done. Or: we made a circuit C and v (in C) still has an edge unused in C.
a) From u, walk until you are back at u (don’t repeat an edge).
C’
c) From v build circuit C’ (using only unused edges).
d) Insert C’ in C to form C’’ as follows:
e) Let C =C’’, and go to step b).
C’’
C: …… v…… …..Then C’’: …..C’….. ….. (v is replaced by C’).
C’’ uses all the edges in C and C’ exactly once.
.
END OF SEGMENT
Euler PathEuler Path
Suppose G is a graph. Let u and v be two distinct vertices of G. Then Euler path of G, from u to v, is a path from u to v which goes through all the edges of G (exactly once) and all the vertices of G.
Euler Path - ExampleEuler Path - Example
. ... .
.v0 v2 v4
v5v3v1
v2v0v1v3v5v4v2v3 is an Euler path from v2 to v3
Euler PathEuler Path
Corollary: Suppose G is a connected graph, and u, v are two distinct vertices in G.
Then G has an Euler path from u to v, iff degree of u and v is odd, and the degree of all other vertices in G is even.
END OF SEGMENT
Connected ComponentConnected Component
A Graph H is a connected component of G iff
a) H is a subgraph of Gb) H is connectedc) No connected subgraph H’ of G has H as its proper
subgraph.
Connected ComponentConnected Component
v1 v2e2
e3
v3
e1
e4
v4
v5
e5 e6
e7
v6
END OF SEGMENT
Hamiltonian CircuitHamiltonian Circuit
A Hamiltonian Circuit of G is a simple circuit of G which goes through every vertex of G.
Hamiltonian Circuit - ExampleHamiltonian Circuit - Example
. ... .
.v0 v2 v4
v5v3v1
v0v1v3v5v4v2v0 is an Hamiltonian circuit of the above graph
END OF SEGMENT
Hamiltonian Circuit - TheoremHamiltonian Circuit - Theorem
A non-empty graph G has Hamiltonian Circuit iff
1. G has only one vertexor2. G has at least two vertices and G has a subgraph H
such that
a) H contains every vertex of G
b) H is connected
c) every vertex of H has degree 2
(note that this means H has same number of vertices as edges)
END OF SEGMENT