Characterizations of trees
Statement
Let be a graph with vertices. Show that the following are equivalent:
1. is a tree;
2. is connected and has edges;
3. is acyclic and has edges;
4. Between any two vertices there is a unique path.
Hint
For : if had a cycle, removing an edge would keep it connected but reduce edges below , contradicting the tree edge count.
Show solutionHide solution
Solution
: by definition of tree (connected acyclic) plus the previous result.
: suppose connected, edges, and has a cycle. Remove an edge of the cycle: still connected, edges. But a connected graph on vertices needs at least edges. Contradiction. So acyclic.
: acyclic means no repeated-vertex cycle, so paths between any two vertices, if they exist, are unique. Connected follows from "acyclic with edges".
: unique paths imply connected (paths exist) and acyclic (a cycle would give two paths).
Conclusion. The four are equivalent.