A connected and acyclic graph. In this module, only undirected trees are discussed.
Any tree T satisfies: ∣E(T)∣=∣V(T)∣−1.
Forest
A graph where all of its connected components are trees. All acyclic graphs are forests. All subgraphs of a forest is also a forest.
If a forest has m number of trees, it satisfies: ∣E(T)∣=∣V(T)∣−m.
Subtree
A subgraph of a tree which is also a tree. Any connected subgraph of a tree is a subtree (as acyclicity is inherited).
Theorem
All 4 below statements are equivalent:
- T is a tree
- Any two vertices of T are joined by a unique path
- T is connected and ∣E(T)∣=∣V(T)∣−1
- T is acyclic and ∣E(T)∣=∣V(T)∣−1
Leaf
A vertex with degree 1, in a tree.
Any tree with 2 or more vertices, contains at least 2 leaves.