Show that the following are equivalent. Let be a graph with components.
is a spanning forest 22 2 This terminology is a slight abuse of our usual usage of the term ‘spanning’. i.e., a forest such that every component of the forest is a spanning tree of the corresponding compoent.
is a ’minimal’ spanning subgraph with components. Here minimality of means that has components for any .
is a maximal subgraph without cycles. Here maximality of means that there is no such that has no cycles.
Let be a subgraph and . Then exactly one of the following holds : (1) or (2) and there exists a cycle such that and is not a cycle in .
An edge is a cut-edge in a graph if A vertex is a cut-vertex in a graph if
An edge is a cut-edge iff it belongs to no cycle.
TFAE
is a forest
There exists a unique simple path between to for all which are in the same component.
Every edge is a cut-edge.
Since forest has no cycles, (i) (iii) follows from the above exercise. Since every edge is a cut-edge, this implies that there are no cycles and hence is a forest i.e., (iii) (i). If there exists two distinct simple paths from to for in the same component, then the union of the paths contains a cycle (Prove this as an exercise !). This contradicts (i) and (iii). Thus, (i) and (iii) both imply (ii). Assuming (ii), it is easy to see that there is no cycle in and hence both (i) and (ii) hold. ∎
Suppose is a spanning tree of and there exists . Then such that is also a spanning tree.
For any , has same number of edges as . Hence it suffices to show that there exists such that does not have a cycle. This can be seen easily as follows : Since is a spanning tree, contains a cycle. Now remove any edge in the cycle and we can see that does not contain a cycle. ∎
Suppose are spanning trees of and . Then such that is also a spanning tree.