Kurs:Diskrete Mathematik (Osnabrück 2020)/Vorlesung 18/latex

\setcounter{section}{18}






\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {Waeller48.jpg} }
\end{center}
\bildtext {Da der Wurf ziemlich groß war, und Vorli als letzte geboren wurde, bekam sie wenig Milch ab. Die prallen Zitzen waren immer schon von den Geschwistern besetzt. Eine Zeitlang stand es kritisch um sie und sie musste von Hand aufgezogen werden.} }

\bildlizenz { Waeller48.jpg } {} {Odatrulle} {Commons} {CC-by-sa 4.0} {}






\zwischenueberschrift{Aufspannende Bäume}






\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {4x4_grid_spanning_tree.svg} }
\end{center}
\bildtext {} }

\bildlizenz { 4x4_grid_spanning_tree.svg } {David Eppstein} {} {Commons} {gemeinfrei} {}

Die U-Bahn Osnabrück soll renoviert werden, deshalb müssen einzelne Streckenabschnitte geschlossen werden. Einerseits möchte man möglichst viele Streckenabschnitte gleichzeitig renovieren, andererseits möchte man sicherstellen, dass noch jede Station angefahren wird und dass das Netz zusammenhängend bleibt. In einem engmaschigen Netz wie der Osnabrücker U-Bahn gibt es viele Möglichkeiten, das Netz in der beschriebenen Weise aufzubrechen. Ein solches verbleibendes Restnetz nennt man einen Spannbaum oder aufspannenden Baum.




\inputdefinition
{}
{

Ein \definitionsverweis {Untergraph}{}{}
\mavergleichskette
{\vergleichskette
{B }
{ \subseteq }{G }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} eines \definitionsverweis {Graphen}{}{}
\mavergleichskette
{\vergleichskette
{G }
{ = }{(V,E) }
{ }{ }
{ }{ }
{ }{}
} {}{}{} heißt \definitionswort {aufspannender Baum}{} von $G$, wenn $B$ ein \definitionsverweis {Baum}{}{} mit der vollen Knotenmenge $V$ ist.

}

Ein Graph, der einen aufspannenden Baum besitzt, ist zusammenhängend. Davon gilt auch die Umkehrung.





\inputfaktbeweis
{Zusammenhängender Graph/Aufspannender Baum/Fakt}
{Satz}
{}
{

\faktsituation {Ein \definitionsverweis {zusammenhängender Graph}{}{}}
\faktfolgerung {besitzt einen \definitionsverweis {aufspannenden Baum}{}{.}}
\faktzusatz {}
\faktzusatz {}

}
{

Wir führen Induktion über die Anzahl der Kanten. Der Induktionsanfang ist klar, da ein kantenfreier Graph nur im einpunktigen Fall zusammenhängend ist, und dies ein Baum ist. Sei
\mavergleichskette
{\vergleichskette
{G }
{ = }{(V,E) }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} ein zusammenhängender Graph mit $m$ Kanten. Wenn $G$ ein Baum ist, sind wir fertig. Es sei also $G$ kein Baum. Dann gibt es einen \definitionsverweis {Kreis}{}{}
\mathdisp {v_1 ,v_2 , \ldots , v_r, v_{r+1} = v_1} { }
mit
\mavergleichskette
{\vergleichskette
{r }
{ \geq }{3 }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} in $G$. Wir betrachten den Graphen $G'$ mit der gleichen Knotenmenge $V$ und der neuen Kantenmenge
\mavergleichskettedisp
{\vergleichskette
{E' }
{ =} { E \setminus \{ v_1 v_2\} }
{ } { }
{ } { }
{ } { }
} {}{}{.} Dieser Graph hat eine Kante weniger und er ist zusammenhängend, da der Zusammenhang zwischen \mathkor {} {v_1} {und} {v_2} {} über das verbleibende \anfuehrung{Kreissegment}{}
\mathl{v_2 , \ldots , v_r = v_1}{} gesichert ist. Nach Induktionsvoraussetzung gibt es einen aufspannenden Baum in $G'$, und dieser ist auch ein aufspannender Baum von $G$.

}


Dieser Beweis zeigt zugleich, wie man einen aufspannenden Baum in einem zusammenhängenden Graphen finden kann. Nach Satz 17.22 ist die Anzahl der Kanten in einem Spannbaum eindeutig bestimmt, sie ist um $1$ kleiner als die Knotenanzahl des Graphen. Insbesondere besitzt jeder Spannbaum die gleiche Kantenanzahl.




\inputbeispiel{}
{

Wir betrachten den \definitionsverweis {Spielzuggraphen}{}{} des Turmes auf dem Schachbrett und interessieren uns für die \definitionsverweis {Spannbäume}{}{} darauf. Beispielsweise gibt es lineare Spannbäume, man kann ja die erste Zeile ablaufen, an deren Ende vertikal zur zweiten Zeile überwechseln und diese rückwärts durchlaufen u.s.w. Man kann auch \anfuehrung{eckig spiralförmig}{} lineare Spannbäume angeben. Nichtlineare Spannbäume erhält man, wenn man eine Zeile linear durchläuft und an jeden Punkt der Zeile linear eine Spalte anhängt. Diese Spannbäume verfügen alle über $63$ Kanten. Die angegebenen Bäume sind auch Spannbäume auf der gleichknotigen Menge, bei der nur geometrisch direkt \zusatzklammer {vertikal oder horizontal} {} {} nebeneinander liegende Felder durch eine Kante verbunden sind.


}






\zwischenueberschrift{Matroide}

Wie wollen die Gesamtheit aller Wälder und insbesondere aller Bäume in einem Graphen verstehen. Dazu ist ein kombinatorisches Konzept hilfreich, das auch in anderen Kontexten auftritt und eine abstakte Theorie von Unabhängigkeit beschreibt.




\inputdefinition
{}
{

Zu einer endlichen Menge $E$ heißt eine Teilmenge
\mavergleichskettedisp
{\vergleichskette
{ {\mathcal M } }
{ \subseteq} { \mathfrak {P} \, (E ) }
{ } { }
{ } { }
{ } { }
} {}{}{} ein \definitionswort {Matroid}{,} wenn folgende Bedingungen erfüllt sind. \aufzaehlungdrei{Es ist
\mavergleichskette
{\vergleichskette
{ \emptyset }
{ \in }{ {\mathcal M } }
{ }{ }
{ }{ }
{ }{ }
} {}{}{.} }{Aus
\mavergleichskette
{\vergleichskette
{ A }
{ \in }{ {\mathcal M } }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} und
\mavergleichskette
{\vergleichskette
{B }
{ \subseteq }{A }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} folgt
\mavergleichskette
{\vergleichskette
{B }
{ \in }{{\mathcal M } }
{ }{ }
{ }{ }
{ }{ }
} {}{}{.} }{Wenn
\mavergleichskette
{\vergleichskette
{A,B }
{ \in }{ {\mathcal M } }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} mit
\mavergleichskettedisp
{\vergleichskette
{ { \# \left( A \right) } }
{ =} { { \# \left( B \right) } +1 }
{ } { }
{ } { }
{ } { }
} {}{}{,} so gibt es ein
\mavergleichskette
{\vergleichskette
{a }
{ \in }{A \setminus B }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} derart, dass
\mavergleichskette
{\vergleichskette
{ B \cup \{ a \} }
{ \in }{ {\mathcal M } }
{ }{ }
{ }{ }
{ }{ }
} {}{}{.} }

}

Die dritte Eigenschaft heißt dabei die \stichwort {Austauscheigenschaft} {.} Sie besagt, dass man jede Menge $B$, die zu dem Matroid gehört, zu einer größeren Menge des Matroids mit Hilfe eines Elements von $A$ auffüllen kann, sobald $A$ mehr Elemente als $B$ besitzt und ebenfalls zum Matroid gehört. Das folgende Standardbeispiel für ein Matroid ist aus der linearen Algebra bekannt.


\inputbeispiel{}
{

Es sei $V$ ein $K$-\definitionsverweis {Vektorraum}{}{} und sei
\mathbed {v_i} {}
{i \in I} {}
{} {} {} {,} eine Familie von Vektoren in $V$ zu einer endlichen Indexmenge $I$. Wir setzen
\mavergleichskettedisphandlinks
{\vergleichskettedisphandlinks
{ {\mathcal M } }
{ =} { { \left\{ J \subseteq I \mid \text{Die Familie } v_j, j \in J, \text{ ist linear unabhängig} \right\} } }
{ } { }
{ } { }
{ } { }
} {}{}{} und behaupten, dass es sich dabei um ein \definitionsverweis {Matroid}{}{} handelt. Die Eigenschaften ergeben sich aus Lemma 23.8 (Mathematik für Anwender (Osnabrück 2023-2024))  (1,2) und aus folgender Überlegung: Wenn die Teilfamilien
\mathbed {v_j} {}
{j \in J} {}
{} {} {} {} und
\mathbed {v_\ell} {}
{\ell \in L} {}
{} {} {} {} zu
\mavergleichskette
{\vergleichskette
{J,L }
{ \subseteq }{I }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} jeweils linear unabhängig sind, und $L$ ein Element mehr als $J$ besitzt, so gilt für die \definitionsverweis {erzeugten Untervektorräume}{}{} aus Dimensionsgründen
\mavergleichskettedisp
{\vergleichskette
{ \langle v_\ell, \ell \in L \rangle }
{ \not \subseteq} {\langle v_j, j \in J \rangle }
{ } { }
{ } { }
{ } { }
} {}{}{.} Daher gibt es auch ein
\mathbed {v_k} {}
{k \in L} {}
{} {} {} {,} mit
\mavergleichskette
{\vergleichskette
{v_k }
{ \notin }{ \langle v_j, j \in J \rangle }
{ }{ }
{ }{ }
{ }{ }
} {}{}{.} Doch dann ist die erweiterte Familie
\mathl{v_j, j \in J, v_k}{} ebenfalls linear unabhängig.


}

Wegen dieses Beispiels nennt man die Mengen aus $E$, die zu einem Matroid gehören, die \stichwort {unabhängigen Mengen} {.} Die folgende Terminologie orientiert sich ebenfalls an der linearen Algebra.




\inputdefinition
{}
{

In einem \definitionsverweis {Matroid}{}{} ${\mathcal M }$ auf einer Menge $I$ nennt man die maximalen Mengen aus ${\mathcal M }$ \definitionswort {Basen}{.}

}

Ein
\mavergleichskette
{\vergleichskette
{B }
{ \in }{ {\mathcal M } }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} ist also genau dann eine Basis, wenn keine Teilmenge
\mavergleichskette
{\vergleichskette
{A }
{ \subseteq }{I }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} mit
\mavergleichskette
{\vergleichskette
{B }
{ \subset }{A }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} zu ${\mathcal M }$ gehört. Aufgrund der Austauscheigenschaft besitzt jede Basis in einem Matroid die gleiche Anzahl.


\inputdefinition
{}
{

In einem \definitionsverweis {Matroid}{}{} ${\mathcal M }$ auf einer Menge $I$ nennt man die gemeinsame Anzahl der Elemente in einer jeden \definitionsverweis {Basis}{}{} von ${\mathcal M }$ den \definitionswort {Rang}{} des Matroids.

}

Wir werden im Folgenden zeigen, dass auch die Wälder in einem Graphen ein Matroid bilden.






\zwischenueberschrift{Aufspannende Wälder}




\inputdefinition
{}
{

Ein \definitionsverweis {Untergraph}{}{}
\mavergleichskette
{\vergleichskette
{W }
{ \subseteq }{G }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} eines \definitionsverweis {Graphen}{}{}
\mavergleichskette
{\vergleichskette
{G }
{ = }{(V,E) }
{ }{ }
{ }{ }
{ }{}
} {}{}{} heißt \definitionswort {aufspannender Wald}{} von $G$, wenn $W$ ein \definitionsverweis {Wald}{}{} ist, dessen Bäume mit den Zusammenhangskomponenten von $V$ übereinstimmen.

}

Ein aufspannender Wald ist also dadurch gekennzeichnet, dass er auf jeder Zusammenhangskomponenten von $G$ ein \definitionsverweis {aufspannender Baum}{}{} ist. Insbesondere ist ein aufspannender Wald knotengleich zu $G$ und er lässt sich nicht zu einem Unterwald von $G$ vergrößern.

Wir bezeichnen die Menge der Wälder in einem Graphen
\mavergleichskette
{\vergleichskette
{G }
{ = }{(V,E) }
{ }{ }
{ }{ }
{ }{ }
} {}{}{,} die $V$ als Knotenmenge besitzen, mit ${\mathcal W } (G)$. Ein solcher Wald ist durch seine Kanten festgelegt, da ja die Knotenmenge mit der von $G$ übereinstimmt. Insbesondere gehört jeder aufspannende Wald von $G$ zu
\mathl{{\mathcal W } (G)}{,} aber auch der kantenfreie Graph auf $V$ gehört dazu. Es gibt natürlich auch Wälder in $G$, deren Knotenmenge kleiner ist, das folgende Lemma gilt auch für sie.





\inputfaktbeweis
{Graph/Wald/Ergänzung/Fakt}
{Lemma}
{}
{

\faktsituation {Es sei
\mavergleichskette
{\vergleichskette
{G }
{ = }{(V,E) }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} ein \definitionsverweis {Graph}{}{} mit $n$ Knotenpunkten und $c$ \definitionsverweis {Zusammenhangskomponenten}{}{.}}
\faktfolgerung {Dann lässt sich jeder \definitionsverweis {Unterwald}{}{}
\mavergleichskette
{\vergleichskette
{(W,F) }
{ \subseteq }{(V,E) }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} mit weniger als
\mathl{n-c}{} Kanten zu einem Unterwald mit
\mathl{n-c}{} Kanten ergänzen.}
\faktzusatz {}
\faktzusatz {}

}
{

Wir zeigen, dass wir den Wald unter der vorgegebenen Bedingung um eine Kante \zusatzklammer {eventuell unter Hinzunahme von weiteren Knotenpunkten} {} {} zu einem größeren Wald ergänzen können. Jede Zusammenhangskomponente des Waldes
\mathl{(W,F)}{} liegt ganz in einer Zusammenhangskomponente von $G$. Nach Satz 17.22 gilt die Voraussetzung entsprechend in mindestens einer Zusammenhangskomponente von $G$, d.h. wir können annehmen, dass $G$ zusammenhängend ist. Es sei
\mavergleichskettedisp
{\vergleichskette
{ (B,H) }
{ \subseteq} { (W,F) }
{ } { }
{ } { }
{ } { }
} {}{}{} ein Baum von $W$ \zusatzklammer {wenn $W$ leer ist, so können wir direkt zu einem einpunktigen Baum übergehen} {} {.} Dieser besitzt weniger als $n-1$ Elemente. Sei
\mavergleichskette
{\vergleichskette
{v }
{ \in }{V }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} ein Punkt, der nicht in $B$ vorkommt. Es gibt einen Weg
\mathl{u=u_1 , \ldots , u_n = v}{} in $G$ mit
\mavergleichskette
{\vergleichskette
{u }
{ \in }{B }
{ }{ }
{ }{ }
{ }{ }
} {}{}{.} Dabei findet irgendwo längs des Weges der Übergang von $B$ zu nicht $B$ statt, d.h. man kann davon ausgehen, dass
\mavergleichskette
{\vergleichskette
{u_2 }
{ = }{v }
{ \notin }{B }
{ }{ }
{ }{ }
} {}{}{} ist. Wir nehmen die Kante
\mathl{\{u ,v \}}{} \zusatzklammer {und eventuell den Punkt $v$} {} {} zu $W$ hinzu und müssen begründen, dass dies nach wie vor ein Wald ist. Bei
\mavergleichskette
{\vergleichskette
{v }
{ \notin }{W }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} ist
\mavergleichskettedisp
{\vergleichskette
{(B',H') }
{ =} {(B \cup \{ v \}, H \cup \{u ,v\}) }
{ } { }
{ } { }
{ } { }
} {}{}{} nach Lemma 17.21 ein größerer Baum, da ja $v$ ein \definitionsverweis {Blatt}{}{} von $B'$ ist. Bei
\mavergleichskette
{\vergleichskette
{v }
{ \in }{W }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} wird $B$ mit einem anderen Baum aus $W$ vereinigt, was wieder einen Baum ergibt.

}





\inputfaktbeweis
{Graph/Wälder/Matroid/Fakt}
{Satz}
{}
{

\faktsituation {Zu einem \definitionsverweis {Graphen}{}{}
\mavergleichskette
{\vergleichskette
{G }
{ = }{(V,E) }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} ist die Waldmenge
\mathl{{\mathcal W }(G)}{} \zusatzklammer {mit der vollen Knotenmenge} {} {}}
\faktfolgerung {ein \definitionsverweis {Matroid}{}{} auf $E$.}
\faktzusatz {Der \definitionsverweis {Rang}{}{} dieses Matroids ist die Anzahl der Kanten in einem aufspannenden Wald.}
\faktzusatz {}

}
{

Wir gehen die Axiome für ein Matroid durch. Die Menge
\mathl{(V, \emptyset)}{} ist ein Wald, bestehend aus den einpunktigen Bäumen. Ein Untergraph eines Waldes ist wieder ein Wald. Es seien nun \mathkor {} {W} {und} {Z} {} Wälder von $G$ und $Z$ enthalte eine Kante mehr als $W$. Es ist zu zeigen, dass man $W$ durch eine Kante aus $E$ zu einem größeren Wald ergänzen kann. Da aber die Anzahl der Kanten von $Z$ durch die Zahl aus Lemma 18.9 beschränkt ist, folgt aus dieser Aussage, dass man $W$ vergrößern kann.

}


Mit dem Sprachgebrauch der Matroidtheorie kann man sagen, dass die Wälder den unabhängigen Untergraphen und die aufspannenden Wälder den maximal unabhängigen Untergraphen, also den Basen, entsprechen, wobei unabhängig im graphentheoretischen Kontext als zykelfrei zu verstehen ist.






\zwischenueberschrift{Multigraphen}

Wir beschreiben eine rekursive Möglichkeit, um die Anzahl der aufspannenden Bäume in einem Graphen zu bestimmen. Dazu ist es für den induktiven Aufbau der Argumentation sinnvoll, mit Multigraphen zu arbeiten.






\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {Dipole graph.svg} }
\end{center}
\bildtext {} }

\bildlizenz { Dipole graph.svg } {} {Claudio Roccini, Stannered} {Commons} {CC-by-sa 3.0} {}





\inputdefinition
{}
{

Ein \definitionswort {Multigraph}{}
\mathl{(V,E, \theta)}{} besteht aus einer Knotenmenge $V$, einer Kantenmenge $E$ und einer Abbildung \maabbdisp {\theta} {E} { \mathfrak {P}_2 \, (V ) } {.}

}

Genauer spricht man von einem ungerichteten Multigraphen ohne Schleifen. In der Definition ist $E$ zunächst eine abstrakte Kantenmenge, wobei
\mavergleichskette
{\vergleichskette
{e }
{ \in }{E }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} erst über durch die Abbildung $\theta$ die beiden Punkte aus
\mathl{\theta (e)}{} miteinander \anfuehrung{verbindet}{.} Einen Multigraphen kann man einfach skizzieren, indem man $V$ als Punktemenge skizziert und für jede abstrakte Kante jeweils eine Verbindungskante zwischen den zugehörigen Punkten zeichnet. Zwei Punkte können dann durch mehrere Kanten miteinander verbunden sein. Wichtig ist, dass die Kanten als verschieden anzusehen sind, was von einem Bildchen her klar ist. Die Kanten haben eine eigene Identität.






\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {Shannon multigraph 5.svg} }
\end{center}
\bildtext {} }

\bildlizenz { Shannon multigraph 5.svg } {} {Kmhkmh} {Commons} {CC-ba-sa 3.0} {}

Ein Multigraph ist etwas anderes als ein einfacher ungerichteter Graph, bei dem die Kanten noch zusätzlich positive natürliche Zahlen \zusatzklammer {Gewichte} {} {} bekommen. Man überlege sich, was jeweils ein Unterobjekt ist.

Ein ungerichteter Graph ist dasselbe wie ein Multigraph, bei dem die Abbildung $\theta$ injektiv ist. In diesem Fall kann man $E$ mit einer gewissen Menge von zweielementigen Teilmengen der Knotenmenge identifizieren.

Die Definition eines Spannbaumes ändert sich für einen Multigraphen nicht. Unter der Kontraktion entlang einer Kante $e$ verstehen wir im Kontext von Multigraphen denjenigen Graphen, der entsteht, wenn die beiden Endpunkte von $e$ miteinander identifiziert werden und jede Kante des Ausgangsgraphen im Kontraktionsgraphen übernommen wird, entstehende Schleifen aber weggelassen werden. Insbesondere werden sämtliche Kanten, die mit $e$ Anfangs- und Endpunkt teilen, ebenfalls kontrahiert. Dabei kann aus einem einfachen Graphen ein Multigraph entstehen. Diese Kontraktion wird wieder mit $G/e$ bezeichnet.






\zwischenueberschrift{Zur Anzahl von aufspannenden Bäumen}






\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {Spanning_Trees_qtl1.svg} }
\end{center}
\bildtext {Die Spannbäume des vollständigen Graphen $K_4$.} }

\bildlizenz { Spanning_Trees_qtl1.svg } {} {Quartl} {Commons} {CC-by-sa 3.0} {}





\inputfaktbeweis
{Multigraph/Aufspannender Baum/Rekursionsformel/Fakt}
{Lemma}
{}
{

\faktsituation {Es sei $G$ ein schleifenfreier \definitionsverweis {Multigraph}{}{} und $e$ eine Kante von $G$.}
\faktfolgerung {Dann besteht für die Anzahl der \definitionsverweis {aufspannenden Bäume}{}{} der Zusammenhang
\mavergleichskettedisp
{\vergleichskette
{ t(G) }
{ =} { t(G \setminus e) + t (G/e) }
{ } { }
{ } { }
{ } {}
} {}{}{.}}
\faktzusatz {}
\faktzusatz {}

}
{

Sei
\mavergleichskette
{\vergleichskette
{e }
{ = }{ \{u,v\} }
{ }{ }
{ }{ }
{ }{ }
} {}{}{.} Ein Spannbaum in $G$ enthält entweder diese Kante oder nicht. Wir zeigen, dass es im ersten Fall eine Bijektion zu den Spannbäumen der Kontraktion $G/(e)$ und im zweiten Fall eine Bijektion zu den Spannbäumen von
\mathl{G \setminus \{e\}}{} gibt. Dies ist im zweiten Fall unmittelbar klar. Betrachten wir also die Spannbäume in $G$, in denen $e$ vorkommt. Wenn man diese Kante herausnimmt, so erhält man einen Spannbaum von $G/(e)$, da ja die Endpunkte von $e$ miteinander identifiziert werden. Es sei umgekehrt ein Spannbaum von $G/(e)$ gegeben. Dieser durchläuft jeden Punkt von $G/(e)$, also auch den Kontraktionspunkt
\mavergleichskette
{\vergleichskette
{ [u] }
{ = }{ [v] }
{ }{ }
{ }{ }
{ }{ }
} {}{}{.} Indem man die Kante $e$ an dieser Stelle einbaut, erhält man einen Spannbaum von $G$.

}


Im vorstehenden Lemma ist es durchaus erlaubt, dass der Graph nicht zusammenhängend ist \zusatzklammer {dann gibt es keine aufspannenden Bäume} {} {,} oder dass durch die Herausnahme einer Kante der Zusammenhang verloren geht. Das Konzept Multigraph ist für die vorstehende Argumentation unverzichtbar, man denke etwa an einen Rundgang mit drei Knotenpunkten. Dieser hat offenbar drei Spannbäume. Wenn man eine Kante herausnimmt, so erhält man einerseits einen dreipunktigen Pfad und andererseits bei der Kontraktion einen zweipunktigen Graphen, wo aber zwei verbindende Kanten geerbt werden.




\inputbeispiel{}
{






\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {Deletion-contraction.svg} }
\end{center}
\bildtext {} }

\bildlizenz { Deletion-contraction.svg } {} {Jumpow} {Commons} {CC-by-sa 3.0} {}

Wir betrachten den Diamantgraphen und führen die Kontraktionen und Herausnahmen wie im Bild durch. Dieser Algorithmus liefert letztlich $8$ lineare Graphen, die jeweils einen Spannbaum haben \zusatzklammer {und einen Spannbaum des ursprünglichen Graphen repräsentieren} {} {.} Nach Lemma 18.12 gibt es also $8$ Spannbäume.


}