This is an important exercise/conclusion in graph theory about connectivity.
- Suppose G : = ( V , E ) G:=(V,E) G:=(V,E) is a connected graph that contains some cycle. Suppose e e e is an edge in that cycle. Prove that the graph obtained by removing e e e (and all other vertices and edges remain intact, G ′ G' G′, is connected.
- Proof
- The idea of the proof can be concluded with one sentense: you can simply go from the other side of the original cycle, and connectivity is retained. The picture below is a simple example illustrating this idea.
- Suppose the edge removed, e e e, is incident on v , w ∈ V v,w\in V v,w∈V.
- In the original cycle in
G
G
G, to get from
v
v
v to
w
w
w, we can either go from
e
e
e, or we have another way: Because
e
e
e is part of a cycle containing
v
v
v and
w
w
w, the cycle goes
a
,
.
.
.
.
.
,
v
,
w
,
.
.
.
.
,
a
a,.....,v,w,....,a
a,.....,v,w,....,a (all are vertices, and between
v
,
w
v,w
v,w is the edge
e
e
e). Starting from
v
v
v, we can first travel to
a
a
a without having to go through
e
e
e as a cycle contains no repeated edge, and then we go the other way around to reach
w
w
w.
Side Remark: a a a does not have to be different from v v v or w w w for this to work. - This means: if a path in G G G contains e e e, in G ′ G' G′ we can replace it the other path we found above; or if a path in G G G does not contain e e e, we are done.
- Thus, connectivity is maintained in G ′ G' G′.
- The idea of the proof can be concluded with one sentense: you can simply go from the other side of the original cycle, and connectivity is retained. The picture below is a simple example illustrating this idea.