Ein Spannbaum (auch aufspannender Baum oder Gerüst genannt; englisch spanning tree, manchmal fälschlich als „spannender Baum“ übersetzt) ist in der Graphentheorie ein Teilgraph eines ungerichteten Graphen, der ein Baum ist und alle Knoten dieses Graphen enthält. Spannbäume existieren nur in zusammenhängenden Graphen.
In einem vollständigen Graphen
K
n
{\displaystyle K_{n}}
findet man nach der Cayley-Formel
n
n
−
2
{\displaystyle n^{n-2}}
verschiedene Spannbäume. Im nebenstehenden Beispiel des
K
4
{\displaystyle K_{4}}
sind es
4
4
−
2
=
16
{\displaystyle 4^{4-2}=16}
Stück.