Kurs:Diskrete Mathematik (Osnabrück 2020)/Vorlesung 26/latex
\setcounter{section}{26}
\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {Waeller33.jpg} }
\end{center}
\bildtext {Uff, das wär geschafft. Nicht nur Vorli braucht jetzt erstmal Urlaub. Irgendwas mit Bergen und Meer. Land egal.} }
\bildlizenz { Waeller33.jpg } {} {Odatrulle} {Commons} {CC-by-sa 4.0} {}
\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {Four color world map.svg} }
\end{center}
\bildtext {} }
\bildlizenz { Four color world map.svg } {} {XalD} {Commons} {public domain} {}
Die Länder auf der Erde bilden zusammenhängende Gebiete
\zusatzklammer {Exklaven werden ausgeschlossen} {} {,}
ihre Grenzen bilden kurvige Wege. Wir repräsentieren diese Situation durch einen \stichwort {Nachbarschaftsgraphen} {,} wobei die Länder zu Knotenpunkten werden und zwei Knotenpunkte miteinander durch eine Kante verbunden werden, wenn die zugehörigen Länder eine Grenze gemeinsam haben, wobei wir Berührungen in einem einzigen Punkt ausschließen. Wenn man bei einer Karte jedem Land eine Farbe geben möchte derart, dass angrenzende Länder unterschiedliche Farben bekommen, so bedeutet dies, für den Graphen eine zulässige Färbung zu finden. Eine wichtige Frage der Graphentheorie ist, mit wie vielen Farben dies möglich ist. Da die Länder in der Ebene gegeben sind, ist der zugehörige Graph planar. Deshalb ist die Frage letztlich, was die chromatische Zahl eines ebenen Graphen ist. Wir werden hier den sogenannten Fünf-Farben-Satz beweisen, der besagt, dass man für jeden ebenen Graphen eine zulässige Färbung mit höchstens fünf Farben finden kann. Als Einstimmung beweisen wir zuerst den Sechs-Farben-Satz.
\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {Allmänhetens partisympatier 1999.svg} }
\end{center}
\bildtext {Wenn auch nur punktweise Berührungen zwischen Ländern als Grenzen denkbar sind, so lässt sich dies nicht durch einen planaren Graphen realisieren, da dann beliebig große vollständige Graphen auftreten können.} }
\bildlizenz { Allmänhetens partisympatier 1999.svg } {} {Slarre~commonswiki} {Commons} {CC-by-sa 3.0} {}
\inputfaktbeweis
{Ebener Graph/Sechs Farben/Fakt}
{Satz}
{}
{
\faktsituation {Für jeden
\definitionsverweis {ebenen Graphen}{}{}}
\faktfolgerung {besteht eine
\definitionsverweis {zulässige Färbung}{}{}
mit höchstens sechs Farben.}
\faktzusatz {}
\faktzusatz {}
}
{
Wir führen Induktion über die Anzahl der Knoten, wobei die Aussage bei höchstens $6$ Knoten unmittelbar klar ist. Es liege also ein ebener Graph $G$ mit $n$ Knoten vor und für jeden ebenen Graphen mit weniger als $n$ Knoten wissen wir, dass es eine zulässige Färbung mit höchstens $6$ Farben gibt. Nach Korollar 25.6 (2) gibt es einen Knoten $u$ mit höchstens $5$ Nachbarn. Es sei $H$ der Graph, der aus $G$ entsteht, wenn man $u$ und die an $u$ anliegenden Kanten herausnimmt. Nach Induktionsvoraussetzung besitzt $H$ eine zulässige Färbung mit höchstens sechs Farben. Die $5$ Nachbarn von $u$ verwenden höchstens $5$ Farben davon und daher kann man für $u$ eine sechste Farbe wählen, was insgesamt eine zulässige Färbung von $G$ mit $6$ Farben ergibt.
\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {Dinhlynammau.jpg} }
\end{center}
\bildtext {} }
\bildlizenz { Dinhlynammau.jpg } {} {Ntmyhue} {Commons} {CC-by-sa 3.0} {}
\inputfaktbeweis
{Ebener Graph/Fünf Farben/Fakt}
{Satz}
{}
{
\faktsituation {Für jeden
\definitionsverweis {ebenen Graphen}{}{}}
\faktfolgerung {besteht eine
\definitionsverweis {zulässige Färbung}{}{}
mit höchstens fünf Farben.}
\faktzusatz {}
\faktzusatz {}
}
{
Wir führen Induktion über die Anzahl der Knoten, wobei die Aussage bei höchstens $5$ Knoten unmittelbar klar ist. Es liege also ein ebener Graph $G$ mit $n$ Knoten vor und für jeden ebenen Graphen mit weniger als $n$ Knoten wissen wir, dass es eine zulässige Färbung mit höchstens $5$ Farben gibt. Nach Korollar 25.6 (2) gibt es einen Knoten $u$ mit höchstens $5$ Nachbarn. Es sei $H$ der Graph, der aus $G$ entsteht, wenn man $u$ und die an $u$ anliegenden Kanten herausnimmt. Nach Induktionsvoraussetzung besitzt $H$ eine zulässige Färbung mit höchstens fünf Farben. Wenn die Nachbarn von $u$ nur höchstens vier Farben verwenden, was insbesondere dann der Fall ist, wenn $u$ höchstens vier Nachbarn besitzt, so kann man unmittelbar eine zulässige Färbung von $H$ zu einer zulässigen Färbung von $G$ ausbauen, indem man $u$ eine Farbe gibt, die in seinen Nachbarn nicht vorkommt.
Der Punkt $u$ habe also genau $5$ Nachbarn mit $5$ verschiedenen Farben. Wir fixieren eine ebene Realisierung und wir bezeichnen die Nachbarn von $u$ mit $v_1,v_2,v_3,v_4,v_5$ im Uhrzeigersinn
\zusatzklammer {ein kleiner Kreis um $u$ in $\R^2$, der keinen weiteren Knotenpunkt enthält, trifft jeden Verbindungsweg zu den Nachbarn in einem Punkt der Peripherie, dies legt die Reihenfolge fest} {} {.}
Es sei $c$ eine zulässige Färbung auf $H$. Wie betrachten den
\definitionsverweis {induzierten Untergraphen}{}{}
\mavergleichskettedisp
{\vergleichskette
{V_{13}
}
{ =} { { \left\{ v \in H \mid c(v) = c(v_1) \text{ oder } c(v) = c(v_3) \right\} }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Wir machen nun eine Fallunterscheidung je nachdem, ob
\mathkor {} {v_1} {und} {v_3} {}
in $V_{13}$ miteinander durch einen
\definitionsverweis {Weg}{}{}
verbunden sind oder nicht.
Fall 1. Sie sind nicht miteinander verbunden. Es sei
\mathl{W_{13}}{} die
\definitionsverweis {Zusammenhangskomponente}{}{}
von $V_{13}$, die $v_1$ enthält. Dabei gilt
\mavergleichskette
{\vergleichskette
{v_3
}
{ \notin }{ W_{13}
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Wir legen jetzt auf $H$ eine neue Färbung $c'$ fest, indem wir
\mavergleichskettedisp
{\vergleichskette
{ c'(v)
}
{ =} { \begin{cases} c(v),\, \text{ falls } v \notin W_{13} \, , \\ c(v_3),\, \text{ falls } v \in W_{13} \text{ und } c(v) = c(v_1) \, , \\ c(v_1),\, \text{ falls } v \in W_{13} \text{ und } c(v) = c(v_3) \, . \end{cases}
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
festlegen. Für die Knoten aus $W_{13}$ werden also die beiden Farben
\mathkor {} {c(v_1)} {und} {c(v_3)} {}
vertauscht, alle anderen Knoten behalten ihre Farben. Diese Färbung ist wieder zulässig. Dies ist klar für Kanten, die ganz außerhalb von $W_{13}$ oder ganz innerhalb von $W_{13}$ verlaufen. Bei
\mavergleichskette
{\vergleichskette
{x
}
{ \in }{W_{13}
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und
\mavergleichskette
{\vergleichskette
{y
}
{ \notin }{W_{13}
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
besitzt bei
\mavergleichskette
{\vergleichskette
{y
}
{ \notin }{ V_{13}
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
dieser Knoten eine von
\mathkor {} {c(v_1)} {und} {c(v_3)} {}
verschiedene Farbe, und bei
\mavergleichskette
{\vergleichskette
{y
}
{ \in }{V_{13}
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
gibt es keine Kante.
Fall 2. Es gibt nun einen verbindenen Weg in $V_{13}$ von $v_1$ nach $v_3$. Wenn es keinen verbindenden Weg von $v_2$ nach $v_4$ innerhalb des entsprechend definierten Untergraphen $V_{24}$ gibt, so sind wir aufgrund der Argumentation im ersten Fall fertig. Wir sind somit in der Situation, wo es einen Weg $P_{13}$ von $v_1$ nach $v_3$ in $V_{13}$ und einen Weg $P_{24}$ von $v_2$ nach $v_4$ in $V_{24}$ gibt. Wir ergänzen $P_{13}$ durch die Kanten
\mathkor {} {\{u, v_1\}} {und} {\{u, v_3\}} {}
zu einem
\definitionsverweis {Zykel}{}{}
in $G$, der in der ebenen Realisierung einem geschlossenen Weg entspricht
\zusatzklammer {indem wir $P_{13}$ ohne Knotenwiederholungen wählen, können wir diesen geschlossenen Weg als überschneidungsfrei annehmen} {} {.}
Hierbei liegt einer der Punkte
\mathkor {} {v_2} {oder} {v_4} {}
im Inneren des durch den Weg begrenzten Gebietes und der andere außerhalb davon. Dann gibt es aber eine Überschneidung der beiden Wege, und diese muss in einem Knotenpunkt vorliegen. Dies ist aber ein Widerspruch, da die Farben
\mathl{c(v_1),c(v_2),c(v_3),c(v_4)}{} alle verschieden sind.
Es war ein lange offenes Problem der Graphentheorie, ob auch der Vier-Farben-Satz gilt, ob man also jeden planaren Graphen mit vier Farben zulässig färben kann. Dieser Satz wurde erst 1976 von Kenneth Appel und Wolfgang Haken bewiesen, der Beweis erforderte den Einsatz von Computern, um die vielen nötigen Fallunterscheidungen zu beherrschen. Bis heute gibt es keinen computerfreien Beweis.
\inputfakt{Ebener Graph/Vier Farben/Fakt}{Satz}{}
{
\faktsituation {Für jeden
\definitionsverweis {ebenen Graphen}{}{}}
\faktfolgerung {besteht eine
\definitionsverweis {zulässige Färbung}{}{}
mit höchstens vier Farben.}
\faktzusatz {}
\faktzusatz {}
}