Path and Rechability
Path and Rechability
Karthic Subramani.S
2113171075005
Path :
Definition 2.1. A walk in a graph is a sequence of the form
v1,e1,v2,e2...vr, for some r 1, where the vi are vertices and ei is an
edge from vi to vi+1 for each 1 i < r. Remark. If r = 1 the walk
consists of a single vertex and no edges; this is still valid.
Proof. First note that, since any path is also a trail and any trail is
also a walk, 1) ⇒ 2) ⇒ 3). So it suffices to prove that 3) ⇒ 1). We
will complete the proof in lectures. Write x 0 so x y if there is a path
from x to y; recall that the single vertex x is a path of length x. The
relation is an equivalence relation, since if x y and y z then we can
put the two paths together to get a walk from x to z, and by Lemma
2.4 this implies x z. Consequently we may partition the vertices into
equivalence classes of these the components of G.
Reachability: