Graph Theory37 sections · 1633 units
Open in Course

Centroid Existence Proof

(Every tree has one)

Start at any node. If it is a centroid, you are done. If not, one of its subtrees has more than n/2n/2 nodes. Move into that subtree and repeat. You cannot loop forever because each step decreases the maximum subtree size. Eventually you reach a node where no subtree exceeds n/2n/2. That is your centroid.

The parent direction also forms a component, but it has fewer than n/2n/2 nodes (otherwise you would not have moved here). This proof also gives you an algorithm: walk toward the heavy subtree until you find balance. It is constructive and efficient.