Ein Spannbaum ist eine minimale Menge von Kanten eines Graphen, die alle Knoten des Graphen verbindet.