Definition:
Ein Spannbaum eines (zusammenhängenden) Graphen ist eine minimale Kantenmenge,
so dass der Graph zusammenhängend ist.
Definition:
Ein Minimaler Spannbaum eines gewichteten Graphen
ist ein (nicht notwendigerweise eindeutiger) Spannbaum mit minimalem Gesamtgewicht.