Ein Spannbaum eines zusammenhängenden Graphen ist ein Teilgraph, der alle Knoten von enthält und ein Baum ist, das heißt, er ist zusammenhängend und zyklenfrei.
Ein Spannbaum eines Graphen hat die Eigenschaften:
Gegeben sei der Graph :
Ein möglicher Spannbaum aus könnte sein: