Kapitel 3 - Institut für Algebra, Zahlentheorie und Diskrete Mathematik

Diskrete Mathematik
Marcel Erné
Fakultät für Mathematik und Physik
Vorlesung
für Studierende des
Bachelor- und Master-Studienganges Mathematik
Sommersemester 2011
3. Graphentheorie
57

Inhaltsverzeichnis
3 Graphentheorie 59
3.1 Isomorphie . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 60
3.2 Eulersche und Hamiltonsche Wege . . . . . . . . . . . . . . . . . 67
3.3 Bäume und Wälder . . . . . . . . . . . . . . . . . . . . . . . . . . 75
3.4 Mehrfacher Zusammenhang . . . . . . . . . . . . . . . . . . . . . 88
58

3 Graphentheorie
In diesem Kapitel widmen wir uns einigen elementaren, aber reizvollen Themen
aus der Theorie der (schlichten) Graphen, also der irreflexiven und symmetrischen
Digraphen (X, S). Die Relation S ist hier eindeutig durch die Menge
E S
= {xy | xS y} (wobei xy = {x, y})
der Kanten (edges) festgelegt, und umgekehrt gibt es zu jeder Teilmenge E von
P 2 X = {xy | x, y ∈ X, x ≠ y} = {Y ⊆X | |Y | = 2},
der Menge aller zweielementigen Teilmengen von X, genau einen Graphen (X, S)
mit E = E S , nämlich denjenigen mit der irreflexiven und symmetrischen Relation
S = {(x, y) | xy ∈ E}. Deshalb werden wir der gängigen Konvention folgen,
auch die Paare (X, E) mit E ⊆ P 2 X Graphen zu nennen.
Wie der Name schon sagt, lassen sich zumindest alle endlichen Graphen leicht
graphisch veranschaulichen, indem man die Ecken oder Knoten (vertices), also
die Elemente der Grundmenge X, durch Punkte oder kleine Kreise in der
Ebene darstellt und je zwei solche durch eine Linie verbindet, wenn die entsprechenden
Ecken x, y des Graphen eine Kante xy bilden. Man sagt in diesem
Fall: x und y inzidieren mit der Kante xy, oder x und y sind adjazent (die
deutsche Übersetzung ”
benachbart” vermeiden wir, um Verwechslungen mit
dem gleichlautenden ordnungstheoretischen Begriff auszuschließen). Im Fall
X = {x 1 , ..., x n } ist die zugehörige (symmetrische!) Adjazenzmatrix A = (a ij )
in {0, 1} n×n gegeben durch
a ij = 1 ⇔ x i x j ∈ E.
Beachten Sie, dass in der Graphentheorie die gezeichneten Darstellungen eine
andere Bedeutung haben als in der Ordnungstheorie: Während dort nur aufsteigende
Kanten vorkommen und stets als von unten nach oben gerichtet angesehen
werden, haben Kanten in der Graphentheorie keine Orientierung, können also
stets ”
in beiden Richtungen durchlaufen” werden. Zwischen beiden Theorien
bestehen aber enge Verbindungen: Indem man Pfeilspitzen wegläßt, also die
entsprechenden Relationen symmetrisiert, erhält man
(1) zu jeder geordneten Menge (X, ⊑)
(2) den Vergleichbarkeitsgraphen (X, ⊏ s ) mit x⊏ s y ⇔ x ⊏ y oder y ⊏ x,
(3) den Unvergleichbarkeitsgraphen (X, ⊑ cs ) mit x⊑ cs y ⇔ x ⋢ y und y ⋢ x,
(4) und den Nachbarschaftsgraphen (X, ⊏ ∨s ) mit x ⊏ ∨s y ⇔ x ⊏ ∨ y oder y ⊏ ∨ x.
Beispiel 3.1 Die geordnete Menge der Teiler von 12 und ihre Graphen
12
✟ ✟✟✯ 6 ✡ ✡✣ ✻❏❏❪
4
❏
3
✡ ✡✣ ✻✄ ✄✄✗
❏❏❪ ✡ ✡✣ 2 ❏❏❪
1❏❏❪
✟✄
✡ ✡✣ ✄
✟✟
(1)
12 ❝
✟ ✟✟ 6 ❝ ✡☎
❏ ❝ 4
3❏❏
❝ ✡ ❏ ❝ ✡
☎ ☎ 2 ❏❏
❏
1 ❝ ☎✟ ✡ ✟✟
(2)
3
12 ❝
6 ❝ ❝ 4
❝ ✟ ✟✟ ❝ 2
1 ❝
(3)
3
12 ❝
❝ ✡ ❏
6 ❝ 4
❝ ✡ ❏ ❝ ✡ 2
❏
1 ❝ ✡
(4)
59

3.1 Isomorphie
Von essentieller Bedeutung in der Graphentheorie ist wie bei allen strukturellen
Untersuchungen die Frage, wann zwei Graphen oder Digraphen ”
im Wesentlichen
gleich” sind, d.h. durch geeignete Umbenennung ihrer Elemente auseinander
hervorgehen. Hierzu braucht man wieder den Begriff der Isomorphie
(Gleichgestaltigkeit), den wir in Kapitel 1 schon kennengelernt haben.
Es seien zwei Digraphen (X, R) und (X ′ , R ′ ) gegeben. Dann heißt eine Abbildung
ϕ : X −→ X ′
• inzidenz-erhaltend,
falls xR y ⇒ ϕ(x)R ′ ϕ(y)
• inzidenz-reflektierend, falls xR y ⇐ ϕ(x)R ′ ϕ(y)
• Quasi-Einbettung,
falls xR y ⇔ ϕ(x)R ′ ϕ(y)
für alle x, y ∈ X gilt. Eine Einbettung ist eine injektive Quasi-Einbettung, und
ein Isomorphismus eine bijektive Einbettung. Entsprechend ist ein Isomorphismus
zwischen Graphen (X, E) und (X ′ , E ′ ) eine Bijektion ϕ:X −→ X ′ mit
xy ∈ E ⇔ ϕ(x)ϕ(y) ∈ E ′ .
Die Bezeichnungen
ϕ + (R) = {(ϕ(x), ϕ(y)) | xR y} und ϕ − (R ′ ) = {(x, y) ∈ X×X | ϕ(x)R ′ ϕ(y)}
erlauben folgende kurze Charakterisierungen der obigen Eigenschaften:
ϕ ist inzidenz-erhaltend ⇔ R ⊆ ϕ − (R ′ ) ⇔ ϕ + (R) ⊆ R ′
ϕ ist inzidenz-reflektierend ⇔ R ⊇ ϕ − (R ′ )
ϕ ist eine Quasi-Einbettung ⇔ R = ϕ − (R ′ )
ϕ ist eine Einbettung ⇔ R = ϕ − (R ′ ) und ϕ ist injektiv
ϕ ist ein Isomorphismus ⇔ R = ϕ − (R ′ ) und ϕ ist bijektiv.
Zwei Graphen bzw. Digraphen G und G ′ heißen isomorph, in Zeichen G ≃ G ′ ,
falls ein Isomorphismus zwischen ihnen existiert. Dies liefert wie bei jedem Isomorphiebegriff
eine Äquivalenzrelation. Die Isomorphieklassen oder speziell ausgewählte
Vertreter dieser Klassen nennt man auch Isomorphietypen.
Die anschaulich einleuchtende Tatsache, dass zwei endliche geordnete Mengen
genau dann isomorph sind, wenn sie gleiche Darstellungen durch Diagramme
haben, lässt sich dahin gehend präzisieren und verallgemeinern, dass die
Isomorphie maximal verketteter geordneter Mengen äquivalent zur Isomorphie
ihrer Nachbarschaftsdiagramme ist.
Beispiel 3.2 Nicht-isomorphe geordnete Mengen und Graphen
Wir betrachten auf der Menge X = {1, 2, 3, 6} die Teilbarkeitsrelation |, die
gewöhnliche lineare Ordnung ≤ und die nicht totale Ordnung
x ⊑ y ⇔ x ≤ y und (1, 2) ≠ (x, y) ≠ (3, 6).
So erhalten wir drei geordnete Mengen G = (X, |), G ′ = (X, ≤), G ′′ = (X, ⊑).
Die Identität id X : X → X ist dann
60

inzidenz-erhaltend, aber nicht -reflektierend als Abbildung von G bzw. G ′′ in G ′
inzidenz-reflektierend, aber nicht -erhaltend als Abbildung von G ′ in G bzw. G ′′
weder inzidenz-erhaltend noch -reflektierend als Abbildung von G in G ′′ .
Denn es gilt x | y ⇒ x ≤ y und x ⊑ y ⇒ x ≤ y, aber weder x | y ⇒ x ⊑ y
noch x ⊑ y ⇒ x | y (betrachte x = 1 und y = 2 bzw. x = 2 und y = 3).
❝ 6
6
❝ ✏ ✏ ✏✶ 2❵ 3 6 ❵❵❵❵
❝
❝ ❝
3 ❝ ✡ ❏ 3
G ✘ ✘✘ ✘✿ ✭✾ ✭✭
❝2
✡
❏ ❝ ✡ ❝
❏❏ G′ ✡ G ′′
2 2❤ ❝ ❝
1 ❝ ✥✾ ✥ ❤❤ ✡ ❏
✥✥✥
2 1
1
Es gibt keine inzidenz-erhaltende Bijektion zwischen den Nachbarschaftsgraphen
von G (bzw. G ′′ ) und G ′ , während die Nachbarschaftsgraphen der nichtisomorphen
geordneten Mengen G und G ′′ isomorph sind (1 und 3 vertauschen)!
6
❝
3 ❝ ✡ ❏ ❝2
❏ ❝ ✡
1
≃
3
❝
❏❏ ❏
✡
✡
❝ ✡
2
Ein Graph T ist Teilgraph eines Graphen G, wenn sowohl die Eckenmenge
als auch die Kantenmenge von T in der jeweiligen von G enthalten ist. Das
bedeutet nichts anderes, als dass die Inklusionsabbildung von T in G (die jede
Ecke auf sich selbst abbildet) die Inzidenz erhält. Ist sie sogar eine Einbettung,
so spricht man von einem induzierten (Teil-)Graphen. Analog bildet man für
Digraphen (X, R) und Teilmengen Y ⊆ X die von R auf Y induzierte Relation
R| Y = R ∩ (Y ×Y )
und nennt (Y, R| Y ) einen induzierten Digraphen. Für einen Graphen G = (X, E)
und eine Eckenmenge Y ⊆ X wird der auf X \ Y induzierte ”Restgraph” mit
G − Y bezeichnet. Entsprechend bezeichnet man für eine Kantenmenge K ⊆ E
den Graphen (X, E \ K) mit G − K.
Beispiel 3.3 Einige Teilgraphen des vollständigen Graphen mit 5 Ecken
❝ ❝
❝
❝
❝ ✑ ◗ ❝
❈❩
❈❝
✂✚ ✂✂ ❇
✚ ❝ ✑ ◗ ❝
❇
❩ ❇❝
✄ ❩
✄ ❝ ✂✚ ✂✂ ❇
❇ ✚ ❝ ❝
❈ ❩ ❇❝
❈❝
✚ ✚ ❝ ❝
❩
❩ ❝
✄ ❈ ✄ ❈❝
✚ ✚
❝ ✄ ✄
❝ ✂ ✂✂ ❇ ❝ ❝ ❝ ✑ ◗ ❝
❇
❈❩
❇❝
❈❝
✚ ✚ ❝
✄ ❩ ✄
(a) (b) (c) (d) (e) (f)
(a) Gleiche Eckenmenge, nicht induziert.
(b) Verschiedene Eckenmenge, induziert.
(c) Teilgraph, verschiedene Eckenmenge, nicht induziert.
(d) eingebettet in (a), (b), (c), aber kein Teilgraph von (a), (b) oder (c).
(e) Restgraph nach Entfernen der Knoten aus (d).
(f) Restgraph nach Entfernen der Kanten aus (d).
6
❝
❝
1
61

Viele wichtige Eigenschaften von Graphen lassen sich durch Existenz oder
Ausschluss bestimmter Teilgraphen charakterisieren. Spezielle induzierte Teilgraphen
sind die sogenannten n-Ecke. Das sind die induzierten Teilgraphen mit
n Ecken, die einen Zykel bilden. Ein Nachbarschaftsgraph ist stets ”
dreiecksfrei”,
d.h. er enthält keine Dreiecke als Teilgraphen. Kein Vergleichbarkeitsgraph
enthält ein induziertes n-Eck mit einer ungeraden Kantenzahl n > 3. (Warum?)
Unter einer Symmetrie oder einem Automorphismus eines Graphen (oder Digraphen)
G vesteht man einen Isomorphismus zwischen G und sich selbst. Jeder
Graph hat einen trivialen Automorphismus, nämlich die Identität id X . Die Automorphismen
eines festen Graphen G bilden eine Gruppe, die Automorphismengruppe
oder Symmetriegruppe Aut G = S(G). Offenbar besitzt ein Graph
G = (X, E) stets genau die gleichen Symmetrien wir der komplementäre Graph
G = (X, P 2 X \ E).
Da die Summe der beiden Kantenzahlen von G und G bei n Ecken n(n − 1)/2
ergibt, kann ein Graph nur dann zu seinem Komplement isomorph sein, wenn
seine Kantenzahl n(n − 1)/4 beträgt; das ist natürlich nur dann möglich, wenn
n(n − 1)/2 gerade ist, also z.B. nicht für n = 2, 3, 6, 7 oder 10. Die Fälle n = 4
und n = 5 studieren wir in Kürze genauer.
Beispiel 3.4 Ein zu seinem Komplement isomorpher Graph mit 8 Ecken
8 ❝ ❝ 1
❛
❝ ❛
7 ☞ ☞ ❛ ❅❝
2
❛ ☞☞
❛❛❛❛
6 ❝ ☞ ❝
❛
❅ ❛
❝ ☞☞ ☞ ☞☞
3
❛ ❝ ☞
5 4
ϕ(7) ❝ ❝
❝ ✦ ✦ ▲❅
✦ ϕ(2)
ϕ(4) ▲ ❝
❅
▲ ✦
ϕ(5)
❝ ✦
✦✦✦ ❅
▲
▲
❅
▲
ϕ(1) ❅
❝ ▲▲
▲▲ ❝ ✦ ❅ ✦ ❝
✦ ▲
ϕ(8)
ϕ(6) ϕ(3)
Bei strukturellen Untersuchungen eines Graphen G interessiert besonders
a(G), die Anzahl der Automorphismen (Symmetrien) von G, und
i(G), die Anzahl der zu G isomorphen Graphen mit gleicher Eckenmenge.
Nach Satz 1.12 kann man jede dieser beiden Zahlen aus der anderen berechnen:
Satz 3.5 Für jeden endlichen (Di-)Graphen G mit n Ecken gilt
n! = a(G)i(G).
Wieviele Graphen gibt es auf einer festen Menge von n Ecken? Offenbar
genau so viele, wie es Teilmengen von P 2 n gibt, also
2 1 2 n(n−1) .
Eine erheblich schwierigere Frage ist, wieviele Isomorphietypen von Graphen mit
n Ecken es gibt. Wir können diese Anzahl g(n) hier nicht allgemein berechnen,
notieren aber die ersten Werte:
62

n 1 2 3 4 5 6
g(n) 1 2 4 11 34 156
Für n = 1, 2, 3 sieht man das sofort; für n = 4 und n = 5 stellen wir in Kürze
eine komplette Liste der Isomorphietypen auf. Aufgrund von Satz 3.5 erhält
man allgemein durch Summation über alle Graphen G mit Eckenmenge n :
g(n) = ∑ 1
i(G) = 1 n!
∑
a(G)
insbesondere 1
n! 2 1 2 n(n−1) ≤ g(n) ≤ 2 1 2 n(n−1) .
Obwohl n! schnell zu riesigen Zahlen anwächst, sind diese im Verhältnis zu den
Zahlen 2 n(n−1)/2 aller Graphen mit n Ecken doch verschwindend klein:
log 2 (n!) = ∑ n
k=1 log 2(k) ≤ n log 2 (n)
2 1 2 n2 (1− 1 n − 2 log 2 n
n ) ≤ 1 n! 2 1 2 n(n−1) ≤ g(n) ≤ 2 1 2 n2 (1− 1 n ) .
Da der Term 2 log 2 n
n
Folgerung 3.6
für n → ∞ gegen 0 geht, haben wir:
log
lim 2 g(n)
n→∞ n 2 = 1 2 .
Zwei endliche Graphen sind genau dann zueinander isomorph, wenn sie eine
übereinstimmende graphische Darstellung (eventuell mit unterschiedlicher Beschriftung
der Knoten) besitzen. Es ist aber keineswegs immer einfach, von zwei
Graphen anhand gegebener Zeichnungen festzustellen, ob sie isomorph sind –
denn ein Graph kann sehr verschieden aussehende Darstellungen besitzen.
Beispiel 3.7 Isomorph oder nicht?
Von den nachfolgend skizzierten sechs Graphen mit jeweils 10 Knoten sind keine
zwei in einer Reihe zueinander isomorph, während je zwei Diagramme in einer
Spalte erstaunlicherweise gleiche bzw. isomorphe Graphen darstellen!
❝
❝
❝
❝
❝ ✑ ✑✑ ◗
◗
❝
❝ ❝ ❝
❩ ✂ ✂ ◗
❇ ✏ ❝ ✑ ✑✑ ◗
◗
❝
❇❇ ❇
❝ ✚ ✚ ✂ ❝ ❝ ❝
❇
❇ ✂ ❩ ❇❝
✂
❇❝
✂✂ ✂ ◗
❇ ✏ ❝ ✑ ✑✑ ◗
◗
❇❇ ❇
❇ ❇❝
✂ ✂ ✂ ❝ ✑ ◗ ◗
❝ ✏ ❝
❇❇
❇
✂
❇❝
❝ ✂ ✂ ✂ ❇ ✂
❇❝
✁ ❆❝
✂ ❇❝
✁ ❆❝
✂ ❇❝
✁ ❆❝
✂
G 1
❝ ❝
✁ ❝ ❆
❝ ✁✧ ✧ ❜❜
❝ ❜ ❆ ❝
❆
❝ ✧ ❜ ❝
❜ ✁
❆❝ ✧ ✧✧ ❜ ❝ ✁
G 2
❝ ❝
✁ ❝ ❆
❝ ✁✧ ✧ ❜❜
❝ ❜❆ ❝
❆
❝ ✧ ❜ ❝
✁
❆❝ ❝ ✁
G 3
❝ ❝
✁ ❚ ❝ ✧
❆
❝ ✁ ❚ ❝ ❚ ❆ ❝
❆
❝ ✧ ❚ ❝
✁
❆❝ ❝ ✁
63

Die beiden Bilder in der ersten Spalte zeigen den Petersen-Graph (P 2 M, E) mit
{x, y} ∈ E ⇔ x ∩ y = ∅ für eine fünfelementige Menge M. Hier ist P 2 M ausnahmsweise
die Eckenmenge, nicht die Kantenmenge! Ein Isomorphismus zwischen
den beiden Petersen-Graphen klappt die waagerechte Kante des Fünfecks
und die beiden Fußpunkte des Sterns nach oben. Bei den beiden mittleren Graphen
muss man nur die obere waagerechte Kante verschieben. Im dritten Fall
(rechts) bildet man das Außenfünfeck im oberen Graphen auf das linke und das
Innenfünfeck auf das rechte im unteren Graphen ab (oder umgekehrt).
Sehr mühsam kann der Nachweis werden, dass zwei gegebene Graphen nicht
isomorph sind, denn ohne schlaue Ideen müßte man bei n Ecken im Prinzip n!
Bijektionen testen. Glücklicherweise gibt es aber eine Vielzahl von sogenannten
Invarianten, die bei Isomorphie übertragen werden. Erweist sich eine dieser
Invarianten für zwei vorgegebene Graphen als verschieden, so ist man sicher, dass
diese nicht isomorph sein können – ohne eine einzige Bijektion auszuprobieren!
Zwei offensichtliche Invarianten sind die Eckenzahl und die Kantenzahl ; denn
ein Isomorphismus ϕ zwischen (X, E) und (X ′ , E ′ ) liefert nicht nur eine Bijektion
zwischen den Ecken, sondern wegen ϕ + (E) = E ′ auch eine zwischen den
Kanten. Die Komponentenzahl ist eine weitere Invariante, da ein Isomorphismus
ϕ jeden Weg zwischen x und y auf einen Weg zwischen ϕ(x) und ϕ(y) abbildet.
Eine feinere Invariante liefert die sogenannte Gradfolge. Die Zahl der zu
einer Ecke x in einem Graphen G adjazenten Ecken nennt man Grad (degree)
oder Valenz von x und bezeichnet sie mit d(x) oder genauer mit d G (x). Für
endliche Graphen (X, E) gilt die nützliche Gleichung ∑ x∈X
d(x) = 2|E|. Bei
einer Ecke x eines Digraphen (X, R) unterscheidet man zwischen der positiven
Valenz (Anzahl der hinauslaufenden Pfeile”) d + (x) = |{y | xR y}| und der negativen
Valenz (Anzahl der hineinlaufenden Pfeile”) d − (x) = |{y | yR x}|. Die
”
”
Gradfolge eines endlichen Graphen ist die Folge der einzelnen Eckengrade, meist
in (schwach) monoton wachsender Reihenfolge notiert. Da Isomorphismen die
Adjazenz übertragen, müssen isomorphe Graphen identische Gradfolgen haben.
Im Gegensatz zu Beispiel 3.7 kann man bei weniger als fünf Ecken anhand der
Gradfolgen entscheiden, ob zwei Graphen isomorph sind oder nicht.
Beispiel 3.8 Isomorphietypen aller Graphen mit 4 Ecken
❝ ❝
0
❝ ❝
0000
24
❝ ❝
❅
❝ ❅
6
❝
3333
❝ ❝
1
❝ ❝
0011
4
❝ ❝
❅
❝ ❅
5
❝
2233
❝ ❝
2
❝ ❝
0112
2
❝ ❝
❅
❝ ❅
4
❝
1223
❝ ❝
2
❝ ❝
1111
8
❝ ❝
❅
❝ ❅
4
❝
2222
❝ ❝
❅
✟✙
✟ Kantenzahl
❝ ❅ 3
❝ ❝ ❝ ❄
0222 3
6 ❝ ❝
❝ ❝ 1122 2
❝ ❆❑
3 ❆
❝ Automorphismen ✻
1113 ✛ Gradfolge
Je ein Paar komplementärer Graphen ist zu einem ”
Dominostein” verbunden.
Nur der letzte der viereckigen Graphen ist zu seinem Komplement isomorph.
64

Beispiel 3.9 Isomorphietypen und Anzahl aller Graphen mit 5 Ecken
❝
▲
❝ ❝ ▲▲
0 ❝
❝ ❝ ❝ ✑ ▲
❝
00000 1 ▲▲
❝ 120
❝
❝
❝ ❝ ❝ ✑ ❝ ❝ ✑ ◗ ❝
❝ ✑ ◗ ❝
❈❩
❈❝
✂✚ ✂✂ ❇ 00011
❇ ✚ ❩ ❇❝
✄ 10 ❝ 12
✄ ❝ ◗
❝ ❝ ✄ ✄ 2
2
❝ ❝
❝
44444 ❈❩
❈❝
✂✚ ✂✂ ❇
❇ ✚ ❩ ❇❝
✄
01111 00112
9
❝ 8
❝ 4
✄
❝ ◗ ❝
33444
❈ ❩
❈
✚ ❝ ✂✂ ✂ ❇ ❝ ❝
❇ 8 ❈
✚❩
❇❝
❈
❩ ✂ ✂ ❇
❇
❝ ✚ ✚ ❩ ❝
✄ 8
✂ ❇ ✄
33334 23344
✂
✂
❇
✂
✦✂
✦✦✦✦✦✦ ✂
❇
✂
❇
❝
❝
❝
❝
❝ ✑ ◗ ❝ ❝ ✑ ◗ ❝ ❝ ✑ ◗ ❝ ❝ ✑ ◗ ❝
❝ ❝ ✄ ✄ 3
3
3
❝ ❝ ❝ ❝ ❝ ✂ ✂✂ 3
❝
01122 11112 00222 01113
❝ 2
❝ 4
❝ 12
❝ 6
❝ ❝
❈❩ ✂ ✂ ❇ ❝ ❝
❇✚ 7 ❈
❈❝
✂✚ ❩ ❇❝
❈
❩ ✂ ✂ ❇
❇
❝ ✚ ✚ ❝ ❝
❩ ❝
✄ ✂ ❇
7 ❈ ✄ ❈
❩ ✂ ✂ ❇
❝ ✚ ✚ ❝ ❝
❇
❩ ❝
✄ ✂ ❇
7 ❈ ✄ ❈
❩ ❇
❇
❝ ✚ ✚ ❝
✄ 7
❩ ❇ ✄
22334 23333 22244 13334
❛
✂
❇ ❛❛❛❛❛ ❛ ❛❛❛❛❛
✂
❇❇
✦✂
✦ ✦✦✦✦✦
✂
❇ ✂
❇
✂
❇❇
✦✂
❛ ✦✦✦✦✦✦ ✂
❇❇
✂ ❛
❝
❝
❝
❝
❝
❝
❝ ✑ ◗ ❝ ❝ ✑ ◗ ❝ ❝ ✑ ◗ ❝ ❝ ✑ ◗ ❝
❝ ❝ ✄ ✄ 4 ❩
❝ ❩ ❝ ✄ ✄ 4
❝ ❝ ✄ ✄ 4 ✂ ✂ ❝ ✑ ◗ ❝ ❝ ✑ ◗ ❝
❝ ✂ ❝ ✄ ✄ 4
4
❝ ❝ ❝ ✂✂ ✂ ❇
❇ 4
❇❝
11222 02222 01223 11123 11222 11114
❝ 2
❝ 8
❝ 2
❝ 2
❝ 12
❝ 24
❝ ❝
❈❩ ✂ ✂ ❇ ❝ ❝
❇✚ 6 ❈ ✚
❈❝
✂✚ ❩ ❇❝
❈❝
✂ ✂✂ ❇ ❝ ❝
❇ 6 ❈❩ ✂ ✂ ❇ ❝ ❇ ❝ ❝ ❝
❇✚ 6 ❈❩ ❇✚ 6 ❈
✚ ❇❝
❈❝
✂✚ ❩ ❇❝
❈❝
✚❩
❇ ❝ ❈
❩ ❝ ✚ ✂ ✂ ❇
✚ ❝ ❝
❇
❝
✄ ✂ ❩ ❇
6 ❈ ✄ ❈
❩ ❝ ✚ ✚ ❝
✄ 6
❩ ✄
22233 22224 12234 12333 22233 03333
❇ ❆✂
❆
❇ ✂ ❆ ❆
❇ ✦✂
❵❵❵❵❵❵❵❵❵❵❵❵❵ ✦
❆
✦✦✦✦✦
✁
✁
✁
✁
✁❆
✁ ❵
❝
❝
❝ ❝
❝ ❝
❝ ✑ ◗ ❝ ❝ ✑ ◗ ❝ ❝ ◗ ❝ ❝ ✑ ❝
❈
❈❝
❝ ✄ ✄ 5 ❈
❈❝
❝ ✄ ✄ 5 ❈
❈❝
❝ ✄ ✄ 5 ❩
❝ ✂✂ ✂ ❇
✚ ✚ ❝ ❝
❇ 5 ❈
❩ ❇❝
❈❝
✚ ✚ ❝ ✑ ◗ ❝
❝ ✄ ✄ 5 ❩
❝ ✂✂ ✂ ❇
❇ 5
❩ ❇❝
22222 10 11233 2 12223 2 12223
02233 4 11224
Die Verbindungskanten zwischen den einzelnen Dominosteinen bedeuten, dass
die jeweilige obere Hälfte des höheren Steines in die des tieferen einbettbar ist,
während es sich bei den unteren Hälften umgekehrt verhält. Nur die beiden Graphen
in der linken unteren Ecke sind zu ihrem eigenen Komplement isomorph!
5!/a(G)
2 · 1
+ 2 · 10
+ 2 · 15
+ 2 · 30
+ 2 · 60
+ 2 · 30
+ 2 · 10
+ 2 · 20
+ 2 · 60
+ 2 · 15
+ 2 · 60
+ 2 · 60
+ 2 · 10
+ 2 · 5
+ 12
+ 60
+ 2 · 60
+ 2 · 30
1024 = 2 10
65

Leider offenbart unsere Liste der Graphen mit 5 Ecken, dass auch die Gradfolgen
nicht ausreichen, um nicht-isomorphe Graphen stets zu unterscheiden:
Der vorletzte Dominostein in der Liste zeigt zwei nicht-isomorphe, zusammenhängende
und zueinander komplementäre Graphen mit gleicher Gradfolge.
Die einzigen weiteren Beispiele von Gradfolgen, zu denen zwei nicht-isomorphe
Graphen mit 5 Ecken gehören, sind (1, 1, 2, 2, 2) in der drittletzten Zeile und
(2, 2, 2, 3, 3) in der vorletzten Zeile des großen Diagramms.
Man könnte jetzt noch einen Schritt weiter gehen, für jede Ecke die Gradfolge
der adjazenten Ecken bilden und diese Gradfolgen zu einem großen Vektor zusammenhängen.
Damit hat man eine Invariante, die schon sehr gute Unterscheidungsmöglichkeiten
bietet. Jedoch ist diese ”
doppelte Gradfolge” bei größeren
Graphen recht kompliziert. Im Falle der beiden komplementären Graphen mit
5 Ecken und gleicher Gradfolge ergeben sich beispielsweise die beiden verschiedenen
doppelten Gradfolgen (3, 2 2, 2 3, 2 3, 1 2 2) und (2, 1 3, 2 3, 2 3, 2 2 2). Allerdings
kommen wir auch damit in Beispiel 3.7 nicht weiter: Dort bestehen alle
doppelten Gradfolgen aus der gleichen Anzahl von Dreien.
Weitere Invarianten sind die Vieleckfolgen (z 1 , ..., z n ), wobei z m die Anzahl
der m-Ecke des gegebenen Graphen ist. Speziell ist z 1 die Zahl der Ecken, z 2
die der Kanten und z 3 die der Dreiecke. Auch hierin unterscheiden sich die zwei
komplementären fünfeckigen Graphen mit gleicher Gradfolge: Die Vielecksfolgen
lauten (5, 5, 0, 1, 0) und (5, 5, 1, 0, 0): der linke Graph des Dominosteins enthält
ein Viereck, aber kein Dreieck, während es bei dem rechten gerade umgekehrt
ist. Und jetzt können wir endlich auch die Nicht-Isomorphie der drei Graphen
in Beispiel 3.7 begünden: G 1 hat keine Vierecke, G 2 hat zwei Vierecke, und G 3
hat fünf Vierecke.
Ein Graph ohne nicht-triviale Symmetrien heißt starr. Gibt es überhaupt solche
Graphen? Nach Definition ist jeder einpunktige Graph trivialerweise starr,
aber die Listen der Graphen mit 4 oder 5 Ecken halten eine weitere kleine
Überraschung bereit: Außer den einpunktigen Graphen gibt keinen einzigen starren
Graphen mit weniger als 6 Ecken. Darf man daraus schließen, dass starre
Graphen eine Rarität sind? Nein, im Gegenteil! Mit Methoden, die wir hier nicht
erläutern können, läßt sich zeigen, dass der Anteil der starren Graphen mit n
Ecken bei wachsendem n sogar gegen 1 geht.
Don’t trust in small numbers!
Beispiel 3.10 Konstruktion von starren Grafen
❝ ❝ ❝
❝ ❝ ❝
❝ ❝ ❝
❝ ❝ ❣
❝
❝
❝
❝
❝ ❝ ❝
❝ ❣
❝
❝
❝ ❝
✁❝ ✁ ❝❆❝
✁ ❆❝ ❆❝
✁❝ ❆❝
❝ ❝
66

3.2 Eulersche und Hamiltonsche Wege
Als älteste Aufgabe der Graphentheorie gilt das von Leonhard Euler stammende
Königsberger Brückenproblem
Gibt es einen Rundweg durch die Stadt Königsberg, bei dem man jede Brücke
genau einmal besucht? (“ Über sieben Brücken mußt du geh’n ...”)
A
✛
✚
B
C
✘✛
D
✙✚
(1)
A ❝
✂ ❇❅
❇ ✂ ❅
B ❝
❝ D
✂ ❇
❇ ✂
C ❝
(2)
A ❝
✂
❇❅
❇ ✂ ❅
B ❝
❝ D
✂
❇
❇ ✂
C ❝
(3)
Bei graphentheoretischer Reduktion dieses Problems ”
auf das Wesentliche” bieten
sich die vier Stadtteile A, B, C, D als Knoten und die sieben Brücken als
Kanten an. Es ergibt sich das vereinfachte Diagramm (2). Allerdings haben wir
es hier offenbar mit Mehrfachkanten, also mit keinem schlichten Graphen zu
tun. Das spielt aber bei der Lösung des Problems keine Rolle: Indem wir auf
jede Mehrfachkante (oder sogar auf jede Kante) einen weiteren Knoten setzen,
entsteht ein schlichter Graph (3). Nach einigem Probieren kommt man zu der
Überzeugung, dass es dennoch keine Lösung gibt: Stets bleibt man nach ein paar
Schritten in einem Stadtteil stecken, weil keine weiteren Brücken zur Verfügung
stehen, um diesen wieder zu verlassen. Wir fragen daher:
Wieviele zusätzliche Brücken müsste man bauen, um einen ”
Eulerschen Rundweg”
zu ermöglichen?
Es ist naheliegend, dass an jeden Stadtteil eine gerade Anzahl von Brücken
anschließen muß, damit man diesen stets wieder verlassen kann, nachdem man
dort gelandet ist. Also bauen wir zwei weitere Brücken:
✓
✏A
✛
✒
✓B
✚
✓
✏
✘✛
✑✞
✌
✏✝
D☞
✙✚
✒ ✑ ✒ ✑
C
(4)
A ❝
✂
❇❅ 4
2 3
❇ ✂ 5
❝ ❅❅
1 B ✏
❝ D
❅ ✂ ❇ 6 9 8
7
❅❇
❝ ✂
C
Und jetzt ist ein Rundweg schnell gefunden. Würden wir auf eine der beiden
zusätzlichen Brücken 1 oder 6 verzichten, so bliebe immerhin noch ein Weg
zwischen zwei Endpunkten, bei dem alle Brücken einmal besucht werden.
(5)
67

Zur allgemeinen Formulierung und Lösung des zuvor beschriebenen Problems
nennt man eine Folge K = (x 0 x 1 , x 1 x 2 , ..., x l−1 x l ) von paarweise verschiedenen
Kanten eines Graphen G = (X, E), wobei jeweils die nächste mit
der vorherigen einen Endpunkt gemeinsam hat, einen Kantenzug. Eine Folge
(x 0 , ..., x l ) von Ecken heißt Eulerscher Weg, falls K = (x 0 x 1 , x 1 x 2 , ..., x l−1 x l )
ein Kantenzug mit E = {x i−1 x i | i ∈ l} ist, also alle Kanten des Graphen genau
einmal ”
durchlaufen” werden (Ecken dürfen mehrfach besucht werden). Der
Weg ist offen, falls x 0 ≠ x l . Gilt hingegen x 0 = x l , so spricht man von einem
Eulerschen Rundweg oder einer Euler-Tour des Graphen G.
Beispiel 3.11 Das Haus vom Nikolaus
ist das bekannteste Beispiel eines Graphen, der mehrere Eulersche Wege, aber
keinen Eulerschen Rundweg besitzt.
c
c
❝
b ❝ ❅❝d
b ❅
❅ d
❅
❅
❝ ❅ ❝
a e
a
❅
❅
❅
Jeder Euler-Weg hat hier die Endpunkte a und e, da dies die einzigen Ecken
mit ungeradem Grad sind; zum Beispiel: (a, b, c, d, e, b, d, a, e).
Und nun zum klassischen Satz von Euler (1736):
Satz 3.12 Ein endlicher zusammenhängender Graph besitzt genau dann eine
Euler-Tour, wenn jede seiner Ecken einen geraden Grad hat.
Wir beweisen bald einen allgemeineren Sachverhalt. Für das ”
Haus vom Nikolaus”
und analoge Aufgaben braucht man die ”
offene Variante” des Eulerschen
Satzes:
Folgerung 3.13 Ein endlicher zusammenhängender Graph besitzt genau dann
einen offenen Euler-Weg, wenn alle bis auf zwei Ecken einen geraden Grad
haben. Diese sind dann die Endpunkte eines jeden Euler-Weges.
Man führt diese Aussage auf 3.12 zurück, indem man die beiden Ecken ungeraden
Grades mit einer neu hinzugefügten Ecke verbindet und so die Gradbedingung
in Satz 3.12 erfüllt. Der erweiterte Graph hat dann einen Eulerschen
Rundweg, und nach Wegnahme der ”
Hilfsecke” (und der beiden Verbindungskanten)
bleibt ein Eulerscher Weg im ursprünglichen Graphen übrig.
Auf die Zusammenhangsvoraussetzung in Satz 3.12 kann man verzichten,
indem man die einzelnen Komponenten betrachtet. Unter einem Kreis in einem
Graphen versteht man eine Folge (x 0 , ..., x l ) von mindestens drei Ecken,
so dass x i−1 x i stets eine Kante ist und x i ≠ x j für alle i < j < l, aber
x 0 = x l und l ≥ 3 gilt. Alternativ nennt man auch den zugehörigen Kantenzug
(x 0 x 1 , x 1 x 2 , ..., x l−1 x l ) oder den entsprechenden Teilgraphen einen Kreis.
e
68

Satz 3.14 Für einen endlichen Graphen G sind folgende Aussagen äquivalent:
(a)
(b)
(c)
Der Grad jeder Ecke von G ist gerade.
Die Kantenmenge von G zerfällt in kantendisjunkte Kreise.
Jede Komponente von G besitzt eine Euler-Tour.
❞ k ′4 ❞
k k4 3 k ❞ ✁ 3
❞ k ❆ ′ 2 ❞ ✁ ❆ ❞ k′ 5 ❞
k 1 ◗
❞ ✁ ✑
✑ k 6❆
k ✁❞ k 5 ◗
k ✁❞
1
′ ❞ k′ 7
❞
2
Beweis. (a)⇒(b): Induktion nach der Anzahl der Kanten. Gibt es überhaupt
keine Kanten, so ist nichts zu zeigen. Andernfalls findet man, startend mit einer
beliebigen Ecke vom Grad > 0, durch Anhängen von Kanten einen Kreis K. Im
Restgraphen, der durch Herausnahme von K entsteht, haben wieder alle Ecken
einen geraden Grad. Nach Induktionsannahme kann die Kantenmenge dieses
Restgraphen in disjunkte Kreise zerlegt werden. Durch Hinzunahme des Kreises
K bekommen wir eine Zerlegung der Kantenmenge von G in Kreise.
(b)⇒(c). Die Kantenmenge einer Komponente Z ist nach (b) disjunkte Vereinigung
von Kreisen (denn jeder Kreis ist zusammenhängend, liegt also ganz in
einer Komponente). Sei Y eine maximale Vereinigung solcher Kreise, die eine
Euler-Tour (k 1 , ..., k l ) enthält. Unter der Annahme, dass Y echt in Z enthalten
ist, finden wir wegen des Zusammenhangs von Z eine Kante k ′ 1 in Z \ Y , die mit
einer Kante k i aus Y einen Endpunkt gemeinsam hat. Diese Kante liegt dann auf
einem zu Y kantendisjunkten Kreis K ′ = (k ′ 1, ..., k ′ m) von Z. Aber dann wäre
(k 1 , ..., k i , k ′ 1, ..., k ′ m, k i+1 , ..., k l ) eine Euler-Tour (durch einen Teilgraphen), im
Widerspruch zur maximalen Wahl von Y .
Der Schluss (c)⇒(a) ist klar: Bei einer Euler-Tour tritt jede Ecke ebenso oft als
Endpunkt wie als Anfangspunkt einer Kante auf.
□
Stellen wir uns vor, das Brückenproblem sollte durch eine Rundfahrt per Bus
gelöst werden, und es gäbe Brücken, die nur in einer Richtung überfahren werden
dürfen. Für diese Situation braucht man nur eine allgemeinere Definition von
Digraphen mit Mehrfachkanten. Die Aussagen und ihre Beweise können dann
nahezu wörtlich übernommen werden.
Man definiert daher einen allgemeinen Digraphen als Quadrupel (X, P, a, e),
bestehend aus einer Menge X (von Ecken” oder Knoten”), einer Menge P
” ”
(von Pfeilen” oder gerichteten Kanten”) und zwei Funktionen a : P −→ X
” ”
und e : P −→ X, die jedem Pfeil p ∈ P einen Anfangspunkt” a(p) und einen
”
Endpunkt” e(p) zuordnen. Damit hat man alle Spezialfälle (inklusive Mehrfachkanten,
Schleifen und Richtungen) erfasst. Einen gerichteten Weg definiert man
”
dann zweckmäßigerweise als Folge (p 1 , ..., p l ) von Pfeilen mit e(p i−1 ) = a(p i )
für 1 < i ≤ l und spricht von einem Kantenzug, falls die Pfeile paarweise
verschieden sind. Speziell ist ein solcher Kantenzug (p 1 , ..., p l ) ein (gerichteter)
Eulerscher Weg, falls er alle Pfeile des Graphen enthält. Entsprechend definiert
69

man gerichtete Kreise, Pfade und Euler-Touren (bei denen noch e(p l ) = a(p 1 )
zu fordern ist). Schließlich erklärt man für jede Ecke x eines allgemeinen Digraphen
die positive Valenz d + (x) als Anzahl der Pfeile p mit Anfangspunkt x, d.h.
a(p) = x, und die negative Valenz d − (x) als Anzahl der Pfeile p mit Endpunkt
x, d.h. e(p) = x. Der Eulersche Satz lautet für diesen Fall:
Satz 3.15 Für einen endlichen Digraphen sind folgende Aussagen äquivalent:
(a)
(b)
(c)
Für jede Ecke von G ist die positive Valenz gleich der negativen Valenz.
Die Kantenmenge von G zerfällt in kantendisjunkte gerichtete Kreise.
Jede Komponente von G besitzt eine gerichtete Euler-Tour.
Der Beweis bleibt, wie schon gesagt, im Wesentlichen der gleiche, man muss
lediglich statt ungerichteter Kanten Pfeile betrachten.
❞ k ′ ❞
k k4
3
4 ✛ ❞ ✁☛
k 3
❞✲ k ❆❑ ′ 2 ❞ ✁✕ ❆❯ ❞ k′ 5 ❞
k 1 ◗
❞ ✁✕ ✑
✑✰ k 6❆❑
k ✁☛❞ k 5 ◗
k ◗ ✁✕❞
1
′ ❞ k′ 7
❞
2
Bei verallgemeinerten (symmetrischen) Graphen hat man statt der beiden
Funktionen a und e nur eine Funktion e, die jeder Kante eine zweielementige
Menge (die der beiden ”
Endknoten”) zuordnet. Der Grad einer Ecke x ist dann
die Anzahl aller Kanten k mit x ∈ e(k).
Satz 3.14 und seine gleichlautende Verallgemeinerung auf Graphen mit Mehrfachkanten
läßt sich als Spezialfall von Satz 3.15 interpretieren, indem man in
einem (ungerichteten) Graphen, dessen sämtliche Ecken geraden Grad haben,
jede Kante so orientiert, dass für alle Ecken die positive Valenz gleich der negativen
Valenz wird. Dass dies möglich ist, folgt aus der ”
ungerichteten” Version,
die zu jeder Komponente eine (ungerichtete) Euler-Tour liefert, entlang der man
die Orientierung der durchlaufenen Kanten definieren kann.
Ein Spezialfall soll nicht unerwähnt bleiben, das sogenannte
Labyrinthproblem : In einem (ungerichteten) Graphen soll man, bei einem
Knoten startend, alle Kanten in beiden Richtungen einmal durchlaufen und zum
Ausganspunkt zurückkehren.
Dass dies möglich ist, sichert Satz 3.15, denn nach Vorschrift laufen stets
gleich viele Pfeile in einen Knoten hinein wie hinaus.
70

Während bei Euler-Touren die Aufgabe darin besteht, jede Kante genau einmal
zu durchlaufen, soll bei Hamilton-Kreisen jede Ecke des gegebenen Graphen
genau einmal besucht werden. Das erste Beispiel für solche Problemstellungen
stammt auch aus alten Zeiten:
Hamilton’s Puzzle (1859) ”
Around the World”
Auf dem Globus sind 20 Städte durch kreuzungsfreie Wege so verbunden, dass
von jeder Stadt drei Wege ausgehen und jede von Wegen berandete Fläche genau
fünf Grenzwege hat. Finde einen Rundweg, auf dem jede Stadt genau einmal
besucht wird!
Die Städte liegen auf den Ecken eines Dodekaeders (eines regulären Polyeders
mit zwöf Flächen) (1). Aus Gründen der Übersichtlichkeit legen wir die 20 Ecken
in die Zeichenebene, indem wir das Dodekaeder von einer der 12 Flächen aus
betrachten und die äußeren Kanten genügend dehnen (2).
✏
✏
✜❚ ✔❭ ❚ ✔
✂
✑ ✑✑ ◗
◗ ❭❭
✜
❛ ❇
◗✦ ❇
✂
✂
❇❇
✏ ✏ ❇
❩ ✚
❇ ✂ ✂✂
❙ ❇
❩❩
✚
✚
✂
✓ ❙✔ ❚ (1)
✏
✏ ✏
✓
❞
✑
◗ ✑ ❝
◗◗◗
✑
❞
✑ ❝ ✑ ◗ ❝ ❞
❛ ❝
✑
❆
✁
◗ ❝ ✦
❇
❇❇
❇
❝
✂
❇
❝
✂ ❇
✏ ✂ ◗
✑
✂ ✂✂
❇ ❇
❝ ❝ ❝ ✂ ✂
❇
❇❞
❞
✂ ✂ (2)
✔ ❚
Ein Rundweg durch alle 20 Städte ist in das Diagramm (2) eingezeichnet.
Dass es 12 Flächen sein müssen, besagt die
Eulersche Polyederformel:
Eckenzahl - Kantenzahl + Flächenzahl = 2,
welche für alle kreuzungsfrei in die Ebene zeichenbaren Graphen gilt und leicht
durch Induktion (z.B. nach Anzahl der Kanten) zu beweisen ist.
Allgemein nennt man eine Eckenfolge (x 1 , ..., x l ) eines endlichen Graphen
G = (X, E) einen Pfad, falls je zwei aufeinanderfolgende Ecken durch eine Kante
verbunden sind, d.h. x i−1 x i ∈ E für jedes i ∈ l gilt, und einen Hamilton-
Pfad, falls zusätzlich alle Ecken des Graphen genau einmal auftreten. Von einem
Hamilton-Kreis spricht man, wenn auch noch x l x 1 ∈ E erfüllt ist. Ein Graph
heißt Hamiltonsch, falls er einen Hamilton-Kreis besitzt.
Beispiele 3.16 (1) Jedes n-Eck besitzt 2n Hamilton-Kreise (die alle durch zyklische
Vertauschung oder Spiegelung auseinander hervorgehen).
(2) Jeder vollständige Graph K n = (n, P 2 n) (auch n-dimensionales Simplex
genannt) mit n ≥ 3 ist sicher Hamiltonsch: Hier ist für jede Permutation σ
der Zahlen 1, ..., n die Folge (σ(1), ..., σ(n), σ(1)) ein Hamilton-Kreis. Im n-
dimensionalen Simplex gibt es also n! Hamilton-Kreise.
71

❝
❝
✑ ❝
❩ ✂ ✂ ❇◗
❈ ❇
❈❝
✚ ✚ ❝
✂ ❩ ❇✄ ✄
❝
❝ ✑ ◗ ❝
❈
❩ ✂ ✂ ❇
❇
❈❝
❝ ✄ ✄
✚ ✚ ✂ ❩
❇
❝
❝ ✑ ◗ ❝
❩ ✂ ❈
❈❝
✚ ✚ ❝
✂ ✂✂ ✂ ❇
❇
❩
❇✄ ✄
Beachten Sie, dass ein n-dimensionales Simplex nur für ungerades n eine Euler-
Tour enthält! (Warum?)
(3) Ein Graph (X, E) heißt bipartit, falls es eine Teilmenge Y von X gibt, so dass
alle Kanten zwischen X\Y und Y verlaufen, also E ⊆ {xy | x∈X \ Y, y ∈Y } gilt.
Im Fall der Gleichheit spricht man von einem vollständigen bipartiten Graphen.
Die Eckenmenge eines solchen Graphen zerfällt also in zwei disjunkte Teilmengen,
so dass jede Ecke der einen Menge mit jeder der anderen verbunden ist,
aber keine zwei Ecken innerhalb einer der beiden Mengen eine Kante bilden.
Man bezeichnet einen solchen Graphen mit K m,n , falls die eine Menge m und
die andere n Elemente hat. Explizit ist also
K m,n = (m+n, {xy | x ∈ m, y ∈ m+n \ m = {m+1, ..., m+n}).
Während K m,n nach Satz 3.12 genau dann eine Euler-Tour besitzt, wenn sowohl
m als auch n gerade ist, hat K m,n genau dann einen Hamilton-Kreis, wenn m
mit n übereinstimmt. Ein Hamilton-Pfad existiert auch für den Fall, dass sich
m und n um 1 unterscheiden.
❝ ❝
❍ ❝ ❝ ❝
❅
❝ ✟ ✟✟✟ ❍ ❅ ❝ ❍❍
❅
❍ ❝ ❝ ✟ ✟✟✟ ❍ ❝ ❍❍
❅ ❅
❅ ❝
K 2,3
K 3,3
Ohne Beweis sei erwähnt, dass ein Graph genau dann bipartit ist, wenn er
keine Kreise ungerader Länge enthält. (Übungsaufgabe!)
(4) Alle fünf Platonischen Körper besitzen Hamilton-Kreise. Beim Dodekaeder
haben wir das schon gesehen. Hier sind die vier anderen (in die Ebene gelegt
und deshalb etwas verzerrt):
❝
❝ ❝
✔☞
▲
❚
❝
❅
❝ ❝
❝
✔☞
❝
✔ ❚
✔✂
✔ ❝ ❚ ❝ ❝
✔❝ ✂ ❚ ❝
✧ ❚❚
❝ ✔
✧
❜ ❜ ❝ ❝ ❅ ❝ ❝ ✔ ❝❚ ❇ ✔❝. ❝ ✔ ❚
❇
❝
▲ ❚
☞★
▲ ♣♣♣
❝ ❚
✔
❆ ✁ ❚
✥✥ ❵❵
❅
✔❝ ❝ ✁ ❚❉
✔ ❳
❝
.❝
❝ ❝ ✔✜✜ ✜ ☎
❵❵❵
◗ ❆ ❭ ❚ ✥✥✥ ✘ ❚
✑ ❭
❚ ❝
Ikosaeder
Tetraeder
Hexaeder
Oktaeder
Nur das Oktaeder besitzt einen Euler-Weg bzw. eine Euler-Tour!
Leider kennt man im Gegensatz zur Gradbedingung für Eulersche Graphen
kein einfaches Kriterium, das genau die Hamiltonschen Graphen charakterisiert.
Allerdings gibt es einige ziemlich gute Bedingungen an die Grade, die in vielen
Fällen die Existenz eines Hamilton-Kreises sichern. Soviel ist klar: Je mehr Kanten
ein Graph hat, desto größer ist die Chance, einen Hamilton-Kreis zu finden.
72

Genauer gesagt: Ist G = (X, E) Hamiltonsch, so auch jeder Graph G ′ = (X, E ′ )
mit E ⊆ E ′ . Man wird also versuchen, untere Abschätzungen für die Eckengrade
zu finden, die eine Hamilton-Tour garantieren. Das beste bekannte Kriterium
ist der folgende Satz von Chvátal (1972):
Satz 3.17 Erfüllt die aufsteigende Gradfolge (d 1 , ..., d n ) eines Graphen G =
(X, E) mit n ≥ 3 Ecken für alle i < n 2
die Bedingung
(1) d i > i oder d n−i ≥ n−i (d.h. max{d i −i−1, d n−i −n+i} ≥ 0),
so gilt:
(2) E = P 2 X, oder es gibt ein xy ∈ P 2 X \ E mit d(x) + d(y) ≥ n.
(3) G ist Hamiltonsch.
Beweis. (2) Wir betrachten eine Nichtkante” xy ∈ P ” 2 X \ E mit maximaler
Gradsumme d(x) + d(y) und d(x) ≤ d(y). Unter der Annahme d(x) + d(y) < n
ist i := d(x) < n 2
. Die Menge
Z = X \ {x} \ Ey = {z ∈ X | z ≠ x, zy ∉ E}
hat wegen
|Z| = |X| − 1 − |Ey| = n − 1 − d(y) ≥ d(x) = i
mindestens i Elemente z, die wegen zy ∈ P 2 X \ E und der maximalen Wahl
von d(x) + d(y) allesamt d(z) ≤ d(x) = i erfüllen müssen. Daher gilt für das i-te
Glied der aufsteigenden Gradfolge d i ≤ i, und (1) liefert n−i ≤ d n−i ≤ ... ≤ d n ,
d.h. es gibt mindestens i + 1 Elemente w mit d(w) ≥ n−i, darunter mindestens
eines, das nicht mit x verbunden ist (wegen d(x) = i). Aber dann wäre doch
d(x) + d(y) ≥ d(x) + d(w) ≥ i+ n−i = n.
(3) Angenommen, es gäbe ein Gegenbeispiel G = (X, E) mit maximaler Kantenmenge
E ≠ P 2 X. (Der Fall E = P 2 X wurde in Beispiel 3.16 (2) erledigt.)
Wir wählen gemäß Teil (2) ein xy ∈ P 2 X \ E mit d(x) + d(y) ≥ n. Dann hat
der erweiterte Graph G + xy = (X, E ∪ {xy}) einen Hamilton-Kreis, und nach
Wegnahme der Kante xy bleibt ein Hamilton-Pfad (x 0 , x 1 , ..., x n ) von x nach y
übrig. Die Mengen
I = {i ∈ n | xx i+1 ∈ E} und J = {j ∈ n | yx j ∈ E}
haben wegen |I| + |J| = d(x) + d(y) ≥ n ein gemeinsames Element i, denn die
Vereinigung I ∪ J ist in n−1 enthalten (beachte xy ∉ E). Und nun erweist sich
(x = x 0 , x i+1 , x i+2 , ..., x n = y, x i , x i−1 , ..., x 0 ) doch als Hamilton-Kreis in G. □
x i
❝ ❞ ❝ ❞
x i+1
x i−1 ❝ ❞
▲
❝
❝
❛ ☞☞ x i+2
❞❝ I
▲ ❅
☞ J
❝
❝
▲ ☞ ☞☞
x 1 ☞
❛ ☞ x n−1
❅ ❝ ❞
❛
❝ ☞
x = x .......
▲ ☞
0 x n = y
73

Es gibt natürlich Hamiltonsche Graphen, für welche Bedingung (1) verletzt
ist, zum Beispiel ein Fünfeck. Aber der Satz von Chvátal ist scharf in folgendem
Sinn:
Eine aufsteigende Folge (d 1 , ..., d n ) erfüllt genau dann (1), wenn jeder Graph,
dessen Gradfolge durch diese Folge elementweise minorisiert wird,
Hamiltonsch ist.
Zum Beweis muss man zu jeder Folge (d 1 , ..., d n ), welche (1) verletzt, einen nicht
Hamiltonschen Graphen G konstruieren, dessen Gradfolge (d 1 (G), ..., d n (G)) die
Ungleichungen d i ≤ d i (G) für alle i ∈ n erfüllt. Gilt für ein k < n 2 sowohl d k ≤ k
als auch d n−k ≤ n − k − 1, so erweist sich der Graph G = (n, E) mit
E = {ij | i, j > k} ∪ {ij | i ≤ k, j > n − k}
tatsächlich als nicht Hamiltonsch (warum?) und erfüllt die verlangten Ungleichungen
d i ≤ d i (G).
5
❝
2 ❝ 7 ❝ ✑ ◗ 4
❜
1 ❝ ✚ ❜❜ ✚ ❈❩
❈ ❝ ✂✚ ✂✂ ❇
❇ ✚ ❩ ❇❝❝
✄ ✄ n = 7, k = 2
6 3
Bezeichnet g i = g i (G) die Anzahl aller Ecken vom Grad höchstens i, so ist
wegen der Konvention, dass die Gradfolge aufsteigen soll, die Ungleichung d i ≤ i
gleichbedeutend mit i ≤ g i . Daher entspricht (1) der Ungleichung
(1’) min{max{i − g i , n −i − g n−i−1 } | i < n 2 } > 0.
Definitionsgemäß ist g n−1 = g n = n.
Die Bedingung (1) ist offenbar eine Konsequenz des folgenden Ungleichungssystems:
(1”) d i + d n−i ≥ n (i < n 2 ).
Der gleiche Beweis wie zu (3) zeigt außerdem:
Satz 3.18 Haben in einem Graphen mit n ≥ 3 Ecken je zwei nicht adjazente
Ecken x und y eine Gradsumme d(x) + d(y) ≥ n, so ist G Hamiltonsch.
Als besonders einprägsamen Spezialfall erhält man den Satz von Dirac (1952):
Folgerung 3.19 Ist G = (X, E) ein Graph mit mindestens drei Ecken und ist
jede Ecke zu mindestens der Hälfte aller Ecken adjazent (d.h. d(x) ≥ |X|
2
für
alle x ∈ X), so hat G = (X, E) einen Hamilton-Kreis.
74

3.3 Bäume und Wälder
Was ist die graphentheoretische Abstraktion eines Baumes? Man stellt sich ein
zusammenhängendes, verzweigtes Gebilde vor, bei dem ”
nie zwei Äste wieder
zusammenwachsen”. Deshalb nennt man einen zusammenhängenden und kreisfreien
Graphen (also einen ohne Kreise) einen Baum. Ein Wald ist ein kreisfreier
Graph, also eine disjunkte Vereinigung von Bäumen (die Kreisfreiheit überträgt
sich offenbar auf die Komponenten, und umgekehrt). Die Komponenten eines
Waldes sind genau seine maximalen Bäume.
Bäume und Wälder treten in einer Vielzahl von Anwendungsbereichen auf:
nicht nur in der Botanik, sondern auch der Chemie, der Genetik, der Paläontologie,
der Logik und der Informatik.
In einem Graphen nennt man die Knoten vom Grad 1 anschaulich Blätter
(oder Endknoten). Das ”
Abpflücken” von Blättern geht graphentheoretisch folgendermaßen:
Für beliebige Graphen G = (X, E) und jeden Knoten y ∈ X
bezeichnet man den auf X \ {y} induzierten Teilgraphen mit G − y. Dann gilt
die folgende, für viele Induktionsbeweise nützliche Beziehung:
Lemma 3.20 Sei G ein Graph und y ein Blatt von G. Genau dann ist G ein
Baum, wenn G − y ein Baum ist.
Beweis. Bei Wegnahme eines Blattes von einem Baum bleibt offenbar ein kreisfreier
zusammenhängender Graph übrig, während Herausnahme von Knoten mit
einem Grad > 1 den Zusammenhang zerstört (sonst hätte G einen Kreis).
Umgekehrt entsteht aus einem Baum G − y durch Hinzufügen von y wieder
ein Baum, falls y mit genau einem Knoten x von G − y direkt verbunden wird:
Der Zusammenhang bleibt bestehen, da y dann mit allen Knoten von G−y durch
einen über x verlaufenden Weg verbunden werden kann, und Kreise können nicht
entstehen, da y nur einen Nachbarn hat.
□
Wir kommen nun zu drei weiteren wichtigen Charakterisierungen von Bäumen.
Dazu nennen wir einen Graphen
• maximal kreisfrei, wenn er keine Kreise besitzt, aber die Hinzunahme einer
beliebigen Kante einen Kreis erzeugt,
• minimal zusammenhängend, wenn er zusammenhängend ist, aber die Wegnahme
einer beliebigen Kante den Zusammenhang zerstört.
Satz 3.21 Für einen Graphen G = (X, E) sind die folgenden vier Aussagen
äquivalent:
(a)
(b)
(c)
(d)
G ist ein Baum.
Je zwei Knoten von G sind durch genau einen Pfad verbunden.
G ist minimal zusammenhängend.
G ist maximal kreisfrei.
75

Beweis. (a)⇒(b). Wegen des Zusammenhangs sind je zwei Knoten x und y durch
mindestens einen Pfad verbunden. Wären x und y durch zwei verschiedene Pfade
(x 0 , ..., x l ) und (y 0 , ..., y k ) verbunden, so wäre
(x=x 0 , x 1 , ..., x l =y =y k , y k−1 , ..., y 1 , y 0 =x)
ein geschlossenen Weg, aus dem man einen Kreis herausschneiden könnte.
(b)⇒(c). Natürlich ist G zusammenhängend. Wäre für eine Kante xy der Graph
G − xy = (X, E \ {xy}) immer noch zusammenhängend, so könnte man x und
y durch einen Pfad (x 0 , ..., x l ) verbinden, in dem die Kante xy nicht vorkommt.
(c)⇒(a). Hätte G einen Kreis, so könnte man aus diesem eine Kante xy entfernen
und behielte immer noch einen zusammenhängenden Graphen: denn jeder
Weg (x 0 , ..., x l ), der die Kante x i−1 x i = xy benutzt, kann durch einen anderen
Weg ersetzt werden, indem die Kante xy durch den Rest des Kreises ausgetauscht
wird, auf dem sie liegt.
(b)⇒(d). Hätte G einen Kreis (x 0 , ..., x l−1 , x l = x 0 ), so wären x 0 und x l−1
durch die beiden verschiedenen Pfade (x 0 , ..., x l−1 ) und (x 0 , x l−1 ) verbunden. Bei
Hinzunahme einer Kante xy liegen x und y auf einem Kreis.
(d)⇒(a). Gäbe es in G zwei durch keinen Weg verbundene Knoten x und y, so
wäre G + xy = (X, E ∪ {xy}) immer noch kreisfrei, denn ein Kreis (x 0 , ..., x l )
in G + xy müßte die neue Kante xy enthalten, d.h. es wäre x i−1 x i = xy für ein
i, etwa x = x i und y = x i−1 (sonst umgekehrter Durchlauf). Dann wäre aber
(x=x i , x i+1 , ..., x l , x 0 , x 1 , ..., x i−1 =y) ein Weg in G zwischen x und y. □
Für endliche Bäume gibt es besonders einfache Beschreibungen. Zunächst
notieren wir eine Eigenschaft endlicher zusammenhängender Graphen:
Lemma 3.22 Ein endlicher zusammenhängender Graph G mit n Knoten hat
mindestens n−1 Kanten.
Beweis. Die Aussage ist richtig für n = 1. Wir gehen induktiv vor und betrachen
einen Pfad maximaler Länge in einem Graphen G mit n Knoten, etwa
(x 0 , ..., x l ). Alle mit x 0 in G verbundenen Knoten müssen auf diesem Pfad liegen
(sonst könnte man den Pfad verlängern) und sind daher durch Wege verbunden,
die x 0 nicht enthalten. Deshalb ist G − x 0 immer noch zusammenhängend
(man ersetze alle Wege, die über x 0 führen, durch solche, die andere Knoten
des Pfades benutzen). Nach Induktionsannahme hat G − x 0 mindestens n − 2
Kanten, also G mindestens n−1 Kanten (denn mindestens eine an x 0 hängende
Kante kommt ja hinzu).
□
Satz 3.23 Für einen endlichen Graphen G mit n Knoten sind äquivalent:
(a)
(e)
(f)
G ist ein Baum.
G ist zusammenhängend und hat genau n−1 Kanten.
G ist kreisfrei und hat genau n−1 Kanten.
76

Beweis. (a)⇒(e) und (f). Die Entfernung einer Kante xy bewirkt nach Satz 3.21
(a)⇒(c) den Zerfall in zwei Komponenten. Jede der beiden Komponenten ist
natürlich immer noch kreisfrei, also jeweils ein Baum. Nach Induktionsannahme
haben beide jeweils eine Kante weniger als Knoten. Nach ”
Restaurieren” der
Kante xy gilt das dann auch für den Graphen G.
(e)⇒(a). Hat man eine Kante weniger als Knoten zur Verfügung, so ist G
minimal zusammenhängend, denn ein Graph mit n Knoten und weniger als n−1
Kanten ist, wie wir in Lemma 3.22 sahen, unzusammenhängend.
(f)⇒(a). Jede Komponente ist kreisfrei und zusammenhängend, also ein
Baum. Nach dem schon Bewiesenen hat sie jeweils eine Kante weniger als Knoten.
Das geht aber bei insgesamt n−1 Kanten nicht, außer es war überhaupt
nur eine einzige Komponente vorhanden (denn für jede Komponente wird 1
abgezogen). Also ist G zusammenhängend und damit ein Baum.
□
Das letzte Argument zusammen mit Lemma 3.22 liefert auch noch eine verblüffend
einfache Charakterisierung endlicher kreisfreier Graphen:
Folgerung 3.24 Die endlichen Wälder sind genau diejenigen endlichen Graphen,
die die folgende ”
Euler-Gleichung” erfüllen:
Anzahl der Knoten = Anzahl der Kanten + Anzahl der Komponenten.
Fassen wir zusammen:
(1) Nach Wegnahme einer Kante aus einem Wald bleibt ein Wald übrig, der
genau eine Komponente mehr als der ursprüngliche hat. Insbesondere zerfällt
ein Baum nach Wegnahme einer Kante in zwei Bäume. Umgekehrt entsteht
durch Verbinden zweier Bäume durch eine Kante ein einzelner Baum.
(2) Nach Wegnahme eines Blattes und der damit inzidierenden Kante von
einem Baum (bzw. Wald) bleibt ein Baum (bzw. Wald) übrig. Umgekehrt wird
aus einem Baum durch Hinzufügen einer Kante zwischen einem schon vorhandenen
und einem neuen Knoten wieder ein Baum.
(3) In allen anderen Fällen bewirkt die Wegnahme eines Knotens und der mit
ihm inzidierenden Kanten den Zerfall in ebensoviele Komponenten, wie Kanten
entfernt wurden. Umgekehrt wird aus einem Wald ein Baum, wenn man je einen
Knoten aus den Komponenten mit einem gemeinsamen neuen Knoten verbindet.
❞
❞
❞
❞
❞ ❞ ❞ ❞ ❞ ❞ ❞ ❞ ❞ ❞ ❞ ❞ ❞ ❞ ❞
❅ ❅
❅ ❅
❞ ❅
❅ ❞ ❅ ❞
❅
❅
❅
❞
(0)
❞
(1)
❞
(2)
❞
(3)
77

Während bei den zuvor eingeführten graphentheoretischen Bäumen keine
Richtung der Kanten vorgegeben ist, stellt man sich bei einem ”
echten” Baum
vor, dass er ”
von unten nach oben auseinander wächst”. Dieser Anschauung
wird eine ordnungstheoretische Variante des Baumbegriffes gerecht, die wir jetzt
betrachten wollen. Wir verstehen unter einem Wurzelbaum eine maximal verkettete
geordnete Menge (X, ⊑) mit einem kleinsten Element w (der Wurzel), so
dass keine zwei unvergleichbaren Elemente unter einem gemeinsamen Element
liegen, oder andersherum (durch Kontraposition) ausgedrückt:
(Ψ) x ⊑ z und y ⊑ z ⇒ x ⊑ y oder y ⊑ x.
Eine maximal verkettete geordnete Menge mit der Eigenschaft (Ψ) nennen wir
Wurzelwald, falls jedes Element über einem minimalen liegt. (Beachten Sie den
Unterschied zwischen minimalen und kleinsten Elementen: Ein kleinstes Element
liegt unter allen anderen, während ein minimales nur die Eigenschaft hat, dass
kein anderes darunter liegt!) Ein Wurzelbaum heißt unär (binar, ternär), wenn
all seine Elemente höchstens einen bzw. zwei bzw. drei obere Nachbarn haben.
Beispiel 3.25 Ein Wurzelwald mit einem unären, einem binären und einem
ternären Wurzelbaum.
popo ❝ ❝pott ❝otto ❝ toto
000 001
❝ 4 ❝ ❝
010 011
❝ ❝
100 ❝
101 ❝
110 ❝ ❝ 111
pop
❈ ✄ ❈ ✄ ❈ ✄ ❈ ✄
❝ ❝
❝
3 ❝ 00
❝ 01
❝ 10
❝ pot ❝ ott top
❝ ❝ tot
11
❈ ✄
❈ ✄
❆ ✁ ❆ ✁
❝
❝ ❝
❆
2
❝ ✁ ❆
0
❝ ✁
po
ot
❝ to
1
❅
❝ ❝
❝
❅
1
❝
p
❍ o
❝ t
⊥
❍
❍ ❝ ✟ ✟✟✟
∅
Satz 3.26 Eine geordnete Menge ist genau dann ein Wurzelwald, wenn ihre
Komponenten Wurzelbäume sind.
Beweis. Sind die Komponenten Wurzelbäume, so überträgt sich (Ψ) von diesen
auf die Gesamtmenge (denn die Voraussetzung x ⊑ z und y ⊑ z ist nur erfüllbar,
wenn x und y in der gleichen Komponente liegen).
Umgekehrt ist jede Komponente B eines Wurzelwaldes zusammenhängend
und erfüllt (Ψ). Wir wählen ein minimales y in der geordneten Menge B und
behaupten, dass y unter jedem anderen x ∈ B liegt. Wegen des Zusammenhangs
von B gibt es eine Folge (x=x 0 , x 1 , ..., x l =y) minimaler Länge l mit x i−1 ⊏ x i
oder x i ⊏ x i−1 für jedes i ∈ l. Nun ist x l−1 ⊏ y wegen der Minimalität von y
ausgeschlossen; also muss der Fall y ⊏ x l−1 eintreten. Die kleinstmögliche Wahl
von l erzwingt unter der Annahme l > 1 die Beziehung x l−2 ⊏ x l−1 (sonst
könnte man x l−1 wegen der Transitivität weglassen). Aber nun liefert (Ψ) für
x l−2 statt x zusammen mit der Minimalität von y die Beziehung y ⊑ x l−2 , und
wir könnten x l−1 doch weglassen. Also ist nur l ≤ 1 und y ⊑ x möglich. □
❝ ❝ x l−1
❅
❝ ❅ ❝ ❅ ❅ ❝
x=x 0 x l−2 x l =y
78

Wurzelbäume und -wälder werden vielfach auf den Kopf gestellt (dualisiert). Die
Diagrammdarstellung liefert dann ein nach unten verzweigtes Wurzelgeflecht.
Vorsicht! Bei einem dualisierten Baum sind die Vorgänger” die Nachfolger!
”
❝
❝ ✡ ❏ ❝
❝ ✡ ❏ ❝ ❏ ❝
❝ ✡ ❏ ❝ ❝ ✡ ❏ ❝
Wie hängen die Bäume der Graphentheorie mit den Wurzelbäumen der Ordnungstheorie
zusammen? Erinnern wir uns daran, dass der Nachbarschaftsgraph
(X, E) einer geordneten Menge (X, ⊑) durch Symmetrisierung der Nachbarschaftsrelation
⊏ ∨ entsteht, also indem man nur die ungerichteten Kanten zwischen
benachbarten Elementen betrachtet:
E = {xy | x ⊏ ∨ y}.
Satz 3.27 Der Nachbarschaftsgraph eines Wurzelbaumes (X, ⊑) ist ein Baum,
und die Ordnung ist durch diesen Baum und die Wurzel w festgelegt:
(W) x ⊑ y ⇔ x liegt auf dem Pfad von w nach y.
Umgekehrt gibt es zu jedem Knoten w eines Baumes B = (X, E) genau einen
Wurzelbaum mit Wurzel w, dessen Nachbarschaftsgraph B ist, nämlich den
durch (W) definierten. Aus jedem Baum mit n Knoten entstehen also genau
n Wurzelbäume durch Festlegung der Wurzel.
❝
1
❝ 5
❝ 4
❝ ❝
2 3
3 ❝ ❝ 4
❅ ❝ 2
w = 1
❝ 5 ❝ 5
❝ 5 1 ❝ ❝ 4 ❝ ❝
1 ❝ ❝ 4 ❝ ❅ 3 ❝ 1 3
❅ 2 ❝ 2
❅ ❅
w = 2 w = 3 w = 4
❝ 1
❅ ❝2
❝ 3
❝ 5 ❝ 4
w = 5
Beweis. Für einen Wurzelbaum (X, ⊑) ist der Graph (X, E) mit E = {xy|x⊏ ∨ y}
wegen der maximalen Verkettung zusammenhängend. Wäre (x 0 , x 1 , ..., x l = x 0 )
ein Kreis in (X, E) minimaler Länge, so könnte nicht für jedes i < l die Beziehung
x i ⊏ ∨ x i+1 gelten (sonst wäre x 0 ⊏ x l ), also gibt es ein i mit x i−1 ⊏ ∨ x i
und x i+1 ⊏ ∨ x i (wobei x −1 = x l−1 und x l+1 = x 1 zu setzen ist). Aber wegen
der Bedingung (Ψ) wäre dann x i−1 mit x i+1 vergleichbar, und x i wäre zu einem
dieser Elemente nicht benachbart. Also kann (X, E) keine Kreise enthalten.
Nun sei B = (X, E) ein Baum und w ein fest gewählter Knoten. Wir definieren
eine Relation ⊑ auf X durch (W) und beachten, dass es nach Satz 3.21
stets einen eindeutigen Pfad zwischen w und y gibt. Die Relation ⊑ ist offenbar
reflexiv und transitiv. Antisymmetrisch ist sie wegen der Nichtexistenz von
Kreisen: Im Falle x ⊏ y ⊏ x gäbe es einen geschlossenen Weg durch x und y,
und dieser enthielte einen Kreis. Die so entstehende geordnete Menge (X, ⊑) ist
ein Wurzelbaum mit Wurzel w, denn nach Definition gilt w ⊑ y für alle y ∈ X,
und im Falle x ⊑ z und y ⊑ z liegen x und y auf dem Pfad von w nach z,
und es folgt x ⊑ y oder y ⊑ x. Der Nachbarschaftsgraph der Ordnung ⊑ ist der
ursprüngliche Baum B (wegen der Eindeutigkeit der verbindenden Pfade). □
79

Aufgrund des letzten Satzes kann man die Wurzelbäume mit ”
Stammbäumen”
identifizieren; das sind Paare (B, w), die aus einem Baum B und einem festgewählten
Knoten w bestehen. (Stammbäume ”
wachsen in die Vergangenheit”!)
Wurzelbäume und Wurzelwälder lassen sich ebenso einfach wie Bäume und
Wälder rekursiv aufbauen, indem man die folgenden beiden Schritte iteriert:
(A) Aus jedem Wurzelwald entsteht durch Hinzufügen eines disjunkten neuen
Baumes ein neuer Wurzelwald.
(B) Aus jedem Wurzelwald entsteht durch Hinzufügen einer Wurzel, die mit
allen Wurzeln der Komponenten verbunden wird, ein Wurzelbaum.
❞ ❞ ❞ ❞ ❞ ❞ ❞
❞ ❞ ❞ ❞ ❅
(A) +
=
❅ ❅ ❅
❞
❞ ❞
❅
❞ ❞
❞
❅
❞ ❞ ❞ ❞
❞ ❅
❅
(B)
❞
❞ ❞
❅
❞ ❞
❞
❅
+ =
❅
❅
❞ ❞ ❞
❞ ❞ ❞
❅ ❅
❅
❅
Konstruktion (B) kann man noch erweitern, indem man auf jeden Knoten
eines Wurzelbaumes einen weiteren Wurzelbaum ”
aufpfropft”.
Der nächste Satz ist anschaulich einleuchtend, bedarf aber doch eines Beweises:
Satz 3.28 Eine maximal verkettete geordnete Menge ist genau dann ein Wurzelbaum,
wenn sie ein kleinstes Element besitzt und jedes andere Element genau
einen unteren Nachbarn (“Nachfolger”) hat.
Beweis. Ist (X, ⊑) ein Wurzelbaum und (w =x 0 , ..., x l =y) der eindeutige Pfad
von der Wurzel w nach y, so ist x l−1 der eindeutige untere Nachbar von y.
Hat umgekehrt die maximal verkettete Menge (X, ⊑) das kleinste Element
w und die genannte Nachfolge-Eigenschaft, so muss (Ψ) gelten: Zu x ⊑ z und
y ⊑ z finden wir Pfade (z = x 0 , ..., x k = x) und (z = y 0 , ..., y l = y) mit x i ⊏ ∨ x i−1
für i ∈ k und y i ⊏ ∨ y i−1 für i ∈ l. Sei i der größte Index mit x i = y i . Im
Falle i < k und i < l wäre dann auch noch x i+1 ⊏ ∨ x i und y i+1 ⊏ ∨ x i erfüllt,
also x i+1 = y i+1 im Widerspruch zur Wahl von i. Also muss x ⊑ x i = y oder
y ⊑ y i = x gelten.
□
80

Die Isomorphietypen von Bäumen mit maximal 7 Knoten
Automorphismenzahl a und Anzahl i der isomorphen Kopien
❞
❞
1
1 1 = 1 −1
❞
2
1 1 = 2 0
❞ ❞
❞ ❞ ❞
❞ ❞
720
7
❞
❞
❞
❞
❞
❞
2
3 ❅ 3 = 3 1
❅
❞
6
❞
2
4 ❅
12 ❅
16 = 4 2
❅
❅
❞
❞
❞ ❞
❞ ❞ ❞
❞ ❞
❞
❞
❞
❞
24
❞
5
✘ ✘✘ ✘ ✘✘ ✘ ✘ 2
❞
2
❳
60 ❅ ❳ ❳ ❳❳
❳
60 ❅
❅ ❳❳
❅
❞
❞
❞
❞
❞ ❞ ❞ ❞
125 = 5 3
❞ ❞ ❞
❞ ❞ ❞ ❞ ❞
❞ ❞ ❞ ❞
❞
❞ ❞
❞ ❞ ❞
❞
❞
❞
120
❞
6
❞
8
❞ ❞
2
❞
6
✟
✟
✟ ✁ 120 ❆
❳❳ ✟ ❳❳
✟ ❳ 90 360◗ ❳❳ ❳❳
✟
✟
✟ ✁✁
✟ ❆❆ ❳❳ ◗◗◗
✟ ✥
✥✥✥✥✥✥✥✥✥✥✏
✥ ❳ ✏ ❳ ❳
❳ ❳❳
✘✘ ✘✘ ✘ ✘✘ ✘ ✘✘
2
❞ ❞
2
✑
✑ 360 ❇ 360 ❅ 1296 = 6 4
✑
❇❇ ❳
✑
❳ ❳
❅ ❞ ❞ ❞ ❞ ❞ ❞ ❞ ❞ ❞ ❞ ❞ ❞
❞ ❞
❞ ❞ ❞ ❞ ❞ ❞ ❞ ❞ ❞ ❞ ❞ ❞ ❞ ❞
❞ ❞ ❞ ❞ ❞ ❞
❞
❞ ❞ ❞ ❞ ❞ ❞ ❞ ❞ ❞ ❞ ❞ ❞
❞ ❞ ❞
❞ ❞ ❞ ❞ ❞ ❞ ❞ ❞ ❞
❞ ❞
24 12
❞
6
❞
8
❞
4
❞
2
❞
6
❞
1
❞
2
❞ ❞
2
210 420 840 630 1260 2520 840 5040 2520 2520
81
❞
❞
❞
16807 = 7 5

Die für n ≤ 7 gefundenen Anzahlen von Bäumen mit n Knoten suggerieren
den folgenden berühmten Satz von Cayley (1889):
Satz 3.29 Auf einer festen Menge von n Knoten gibt es genau
n n−2 Bäume
n n−1 Wurzelbäume
(n + 1) n−1 Wurzelwälder.
Jede dieser drei Anzahlaussagen ist aufgrund der vorausgegangenen Überlegungen
zu den beiden anderen äquivalent. Wir werden im Laufe dieses Abschnitts
insgesamt fünf Beweise geben. Jeder ist auf seine Weise durch die jeweils
zugrundeliegende Methode instruktiv.
Der erste und vielleicht direkteste Beweis liefert sogar noch eine sehr viel
präzisere Aussage, nämlich eine Formel für die Anzahl aller Bäume B mit Knotenmenge
n und fest vorgegebenen Gradzahlen d i = d B (i) (i = 1, .., n). Da die
Anzahl der Kanten n−1 beträgt, muss die folgende Gleichung erfüllt sein:
(K) ∑ n
i=1 d i = 2n−2 bzw.
∑ n
i=1 (d i−1) = n−2.
Dabei ist stets d i −1 ≥ 0, weil kein Knoten den Grad 0 hat. Mit der Gleichung
(K) läßt sich häufig leicht entscheiden, ob eine gegebene Folge die Gradfolge
eines Baumes sein kann oder nicht.
∑
Satz 3.30 Zu jeder Folge (k 1 , ..., k n ) von ganzen Zahlen k i mit 0 ≤ k i < n und
n
i=1 k i = n−2 gibt es genau
( )
n−2
= (n−2)!
k 1 ... k n k 1 ! · · · · · k n !
Bäume B mit der Knotenmenge n und den Gradzahlen d B (i) = k i +1 (i ∈ n).
Beweis. Der angegebene Multinomialkoeffizient beschreibt bekanntlich die Anzahl
der Zerlegungen einer (n−2)-elementigen Menge in (eventuell leere) Teilmengen
M i mit k i Elementen (i ∈ n). Zu einem Baum mit Knotenmenge n und
Gradfolge (d 1 , ..., d n ) = (k 1 + 1, ..., k n + 1) erhält man eine solche Zerlegung
von n \ {n, v}, wobei v der zu n adjazente Knoten mit der größten Nummer ist,
indem man man jedem Knoten außer n (aufgefasst als Wurzel) die Menge seiner
Vorgänger und der Wurzel n die Menge der Vorgänger bis auf v zuordnet. (Für
jedes Blatt ist die leere Vorgängermenge zu nehmen.)
✞
❞
☎ ✞
❞ ❞
☎
✞ ✝ ✆
❞
☎
✝
❅
✞
✝ ☎ ❞
✞ ✝
❞
☎ ✆
✆✝
❅
✞
✆ ✝ ☎ ✆
✆
v
✞
☎
❞
❅ ✝ ✆
❅
n
Umgekehrt ist aus dieser geordneten Zerlegung der Baum mittels Vorgängermengen
rekonstruierbar, und alle Bäume enstehen so auf genau eine Weise. □
82

Aus Satz 3.30 ergibt sich die Cayleysche Formel durch Summation über alle
Multinomialkoeffizienten:
∑
( ) n−2
1 k1 · · · · · 1 kn = (1 + ... + 1) n−2 = n n−2 .
k 1 ... k n
k i≥0,k 1+...+k n=n−2
Die Untersuchung von Bäumen wurde von Cayley im Zusammenhang mit
Fragen aus der Chemie initiiert.
Beispiel 3.31 Alkane sind Kohlenwasserstoffverbindungen C j H 2j+2 , wobei
Kohlenstoffatome (C = •) die Valenz 4 und Wasserstoffatome (H = ◦)
die Valenz 1 haben ( ”
Blätter”). Solche C − H−Moleküle entsprechen zusammenhängenden
Graphen mit j+2j+2 = 3j+2 Knoten und (4j+2j+2)/2 = 3j+1
Kanten. Nach Satz 3.23 sind also solche Verbindungen zwangsläufig Bäume ! Die
Anzahl solcher Bäume, wobei die ersten 2j + 2 Knoten Valenz 1 und die letzten
j Knoten Valenz 4 haben, ist nach Satz 3.30 gleich
(3j)!
, also 1 für j = 1, 20 für j = 2, 1680 für j = 3 und 369600 für j = 4.
(3!)
j
❞
❞ ❞
❞
j = 1, n = 5
❞ ❞
❞ ❞
❞ ❞
j = 2, n = 8
❞ ❞
❞
❞ ❞
❞ ❞ ❞
j = 3, n = 11
❞ ❞
❞ ❞ ❞ ❞ ❞
❞ ❞ ❞ ❞
❞ ❞ ❞ ❞ ❞ ❞ ❞ ❞
❞
j = 4, n = 14
Wenden wir uns jetzt der Frage zu, wie man Bäume und Wälder codieren,
d.h. durch geeignete Zahlenfolgen eindeutig beschreiben kann. Der Einfachheit
halber nehmen wir dabei wieder an, dass die Knotenmenge n = {1, ..., n} sei.
Das naheliegendste Codierungsverfahren wird durch Satz 3.28 geliefert:
Die Nachfolgerfunktion eines Wurzelwaldes ordnet jedem nichtminimalen
Knoten seinen eindeutigen unteren Nachbarn zu. Die Nachbarschaftsrelation
eines Wurzelbaumes ist allerdings dual zur Nachfolgerfunktion, also eine
Vorgängerfunktion (Funktionen sind ja spezielle Relationen)! Irreflexivität bedeutet
für eine Funktion F , dass sie keinen Fixpunkt hat (also F (x) = x nie
auftritt). Weiter ist F genau dann intransitiv, wenn F (x) = F k (x) nur für
k = 1 möglich ist. Im Falle x ≠ F k (x) für k ∈ N nennt man F aperiodisch.
Solche Funktionen beschreiben gerade die Wurzelwälder:
Satz 3.32 Für eine Relation F ⊆ n × n sind äquivalent:
(a) F ist die Nachfolgerfunktion eines Wurzelwaldes mit Knotenmenge n.
(b)
(c)
(d)
F ist eine aperiodische Funktion.
F ist eine intransitive Funktion.
F ist eine irreflexive und azyklische Funktion.
83

Beweis. (a) ⇔ (c) folgt unmittelbar aus Satz 3.28 und der bekannten Tatsache,
dass die maximal veketteten Ordnungen durch Übergang zu Nachbarschaftsrelationen
bijektiv den intransitiven Relationen entsprechen.
Die Äquivalenz von (b) und (c) beweist man durch Kontraposition:
(b)⇒(c): Aus k +1 > 1 und F (x) = F k+1 (x) folgt für y = F (x): y = F k (y).
(c)⇒(b): Aus k ∈ N und x = F k (x) folgt k +1 > 1 und F (x) = F k+1 (x).
(c) ⇔ (d) ist leicht zu sehen.
Folgerung 3.33 Man erhält eine Bijektion zwischen Wurzelwäldern mit Knotenmenge
n und intransitiven Funktionen von Teilmengen der Menge n nach
n, indem man jedem Wurzelwald seine Nachfolgerfunktion zuordnet. Dabei entsprechen
den Wurzelbäumen diejenigen intransitiven Funktionen, deren Definitionsbereich
genau ein Element von n (die Wurzel) nicht enthält.
Beispiel 3.34 Nachfolgercode eines Wurzelwaldes
❞
4
❞
9
❅ 8 ❞
3 6
❞ 1
❅ 2
5 7
( )
1 2 3 4 6 8 9
F =
2 7 2 8 1 5 8
Hingegen kann die an der Stelle 2 abgeänderte Funktion
( )
1 2 3 4 6 8 9
˜F =
2 6 2 8 1 5 8
wegen ˜F 3 (2) = 2 kein Nachfolgercode eines Wurzelwaldes sein. In der Tat
enthält der zugehörige Digraph einen Zykel:
4
❞
❅❘ 8 ✠
❄
5
9
❞
3
❞6
❞ ❄1
❅■
❅❘ ❄
2
7
Ein Vorteil der zuvor beschriebenen Codierung ist, dass man den zugehörigen
Wurzelwald sehr schnell rekonstruieren kann. Allerdings sieht man einer Funktion
(bzw. der entsprechenden endlichen Folge) nicht immer sofort an, ob sie
aperiodisch ist, also einen Wurzelwald bzw. -baum beschreibt. Man kann jedoch
alle Wurzelwälder bzw. -bäume durch einen sehr einfachen Algorithmus gewinnen:
Beginnend mit den n Knoten 1, ..., n und der leeren Kantenmenge, fügt man
Schritt für Schritt eine nummerierte und gerichtete Kante zwischen der Wurzel
einer Komponente und einem beliebigen Knoten einer anderen Komponente des
bis dahin entstandenen Wurzelwaldes hinzu. Für die k-te Kante (in Richtung der
□
84

Nachfolgerfunktion) hat man zwar n Möglichkeiten, den Endpunkt zu wählen,
aber nur noch n−k Möglichkeiten bei der Auswahl des Anfangspunktes (denn
von jedem Punkt darf höchstens ein Pfeil ausgehen, und nach dem k-ten Schritt
hat man k Pfeile und n − k Komponenten. Insgesamt gibt es also
∏ n−1
k=1
n(n − k) = (n−1)! nn−1
Möglichkeiten der nummerierten Kantenwahl. Am Schluss ist ein Wurzelbaum
entstanden, dessen Kanten mit einer Permutation der Zahlen von 1 bis n−1
belegt sind, und jeder ”
kanten-nummerierte” Wurzelbaum ensteht so genau einmal.
Da es (n−1)! solche Permutationen gibt, bleiben nach Entfernen der Nummerierung
der Kanten n n−1 Wurzelbäume. Damit ist der Satz von Cayley zum
zweiten Mal bewiesen.
Die vielleicht eleganteste Codierung von Bäumen geschieht mit Hilfe des
sogenannten Prüfer-Codes. Die simple, aber wirkungsvolle Grundidee besteht
darin, schrittweise die Blätter mit den kleinsten Nummern abzupflücken und
gleichzeitig die Folge der zum jeweiligen Blatt benachbarten Knoten zu notieren,
bis nur noch zwei Knoten übrigbleiben. (Aufgrund unserer Konvention sind die
Nummern die Blätter selbst.)
Satz 3.35 Zu einem gegebenen Baum G = (n, E) definiere man induktiv zwei
Folgen (b i | i = 1, ..., n−2) und (a i | i = 1, ..., n−2) durch die Festlegung, dass
b i das kleinste Blatt des Baumes G i = G − {b j | j < i} und a i sein Nachbar
in G i ist. Auf diese Weise erhält man eine Bijektion zwischen der Gesamtheit
aller Bäume mit der Knotenmenge n und der Menge n n−2 aller (n−2)-stelligen
Folgen (a 1 , ..., a n−2 ) mit Werten in n.
Dies bestätigt wiederum den Satz von Cayley. Die oben konstruierte Folge
(a 1 , ..., a n−2 ) heißt Prüfer-Code des Baumes G. Um Satz 3.35 zu begründen,
müssen wir uns vergewissern, dass jede Folge (a 1 , ..., a n−2 ) in n wirklich als
Prüfer-Code eines eindeutig bestimmten Baumes auftritt. Zu diesem Zweck rekonstruieren
wir den gesuchten Baum wie folgt. Wir setzen a n−1 := a n−2 und
bestimmen die zugehörigen Blätter rekursiv durch die Vorschrift, dass der Knoten
mit der nächsten Nummer der Folge mit einem neuen Blatt verbunden wird,
das die kleinste noch nicht verbrauchte Nummer erhält. b i ist also das kleinste
Element der folgenden Restmenge:
n \ {b 1 , ..., b i−1 , a i , a i+1 , ..., a n−1 } (i = 1, ..., n−1).
Der letzte Knoten b n ist dann der noch übrig gebliebene, und die Kanten des
Baumes sind die Zweiermengen a i b i (i = 1, ..., n−1).
Beispiel 3.36 Wir betrachten die Folge (3, 7, 3, 7, 3) und bauen schrittweise
den zugehörigen Baum mit der Knotenmenge 7 auf:
5 = min(7 \ {1, 2, 3, 4, 7})
b i 1
2
4
5
6
7
a i
85
3
7
3
7
3
3

7 \ {3, 7}
7 \ {1, 3, 7}
7 \ {1, 2, 3, 7}
7 \ {1, 2, 3, 4, 7}
7 \ {1, 2, 3, 4, 5}
7 \ {1, 2, 3, 4, 5, 6}
1
❞
❅ ❞ 3
1
❞
❅ ❞ 3
❞ 2
❞ 7
❞
1
2
❞ ❞ 7 ❞ 4
❅ ❞ 3
❞
1 5 ❞
❞ ❞ 7
❞2
4
❅ ❞ 3
❞ 5 ❞
1
❞ ❞ 7
❞2
4
❅ ❞ 3
❞
6
❞ 5 ❞
1
❞ ❞ 7
❞2
4
❅ ❞ 3
❞
6
Minimales Abblättern” führt auf die ursprüngliche Codierung:
”
❞ 5 ❞ ❞ 5 ❞
❞2
❞2
1
❞
❞ 7 4
❅ 3
❞
6
7 4
❞ 3
❞
6
❞ 5
❞ 7 ❞
4
3
❞
6
❞ 5
❞ 7 ❞ 7
3 ❞ 3
❞
6
7
❞ 3
❞
6
Eine andere, ebenfalls anschauliche Codierungsmethode für Bäume ist die Konstruktion
von “Wirbeltieren”. Am einfachsten läßt sie sich anhand von Wurzelbäumen
erklären. Wir wählen außer der Wurzel w noch einen beliebigen
weiteren “Wirbel” w ′ aus. Ein Wirbeltier ist also ein Baum zusammen mit
zwei speziellen Knoten (die auch gleich sein dürfen). Den eindeutigen Pfad
(w = w 0 , ..., w k = w ′ ) zwischen w und w ′ betrachten wir als “Wirbelsäule”.
✓✏
❜ ❜ ❜ ❜
❩ ❆ ✒✑
✄❝ ♣❝♣❝♣
❜ ❜ ❜ ❜ ❝❤❤ w ❦ ′ 4 ✲
❩
5
❆❝❳ ✄ ❳❳3 ❝✟ ✟
f ❈❈
❝ 2 ✲ 4
❜ ❜ ❜ ❜
❡✄ ✄ 3 ✲ 3
❜ ❜ ❜ ❏❏ ❜ ❇❝
✂❝
❈
❤ ❈
❏❏ ❇ ✂ ❤❤❤ ❝
❛ 1 ✲ 2
❝❤❤❤❤ ❝ ❳❳ ◗◗◗
✄ ✄ ❳ ❳ ✐w 5 ✲ 1
f
Wir nehmen als Knotenmenge m und ordnen die Wirbel der Größe nach, bestimmen
also die Permutation f der Wirbelsäule mit f(w 0 ) < f(w 1 ) < ... < f(w k ).
Für alle Knoten x außerhalb der Wirbelsäule sei f(x) der eindeutige Nachfolger
von x (auf dem Pfad nach w). Auf diese Weise entsteht eine Funktion
f : m −→ m, die das gegebene Wirbeltier eindeutig codiert.
Umgekehrt kann man aus jeder Funktion f : m −→ m ein Wirbeltier konstruieren,
das mit dem obigen Verfahren wieder die ursprüngliche Funktion liefert.
Dazu betrachtet man die Gesamtheit W aller “periodischen Elemente”, d.h. aller
x, für die es ein k ∈ N mit f k (x) = x gibt. Das wird die Wirbelsäule: ihre
Elemente werden “herumgewirbelt”, d.h. f induziert eine Permutation auf W .
(Wegen f k (f(x)) = f(f k (x)) = f(x) für x = f k (x) bildet f die Menge W in
86

sich ab, und zu x, y ∈ W mit f(x) = f(y) gibt es k und l mit f k (x) = x und
f l (y) = y, also x = f kl (x) = f kl (y) = y. Somit ist f| W injektiv und daher als
Abbildung auf der endlichen Menge W sogar bijektiv.) Als Teilmenge von m
ist W durch die gewöhnliche ≤-Relation geordnet. Wir definieren nun eine neue
Ordnung auf m, indem wir x ⊑ y setzen, falls x und y beide zu W gehören und
f(x) ≤ f(y) gilt, oder falls x nicht in W liegt und y = f k (x) für ein geeignetes k
gilt. Dann ist (m, ⊑) ein Wurzelbaum, dessen Wurzel das kleinste Element von
W ist, während man für w ′ das größte Element von W bezüglich ⊑ zu nehmen
hat. Aus diesen Überlegungen resultiert
Satz 3.37 Indem man jedem Wirbeltier, also jedem Tripel (G, w, w ′ ), bestehend
aus einem Baum und zwei Knoten, die obige Funktion f zuordnet, erhält man
eine Bijektion zwischen Wirbeltieren und Funktionen von m in m. Es gibt also
genau m m Wirbeltiere und m m−1 Wurzelbäume mit der Knotenmenge m.
Das bestätigt den Satz von Cayley, da man m 2 Möglichkeiten hat, die beiden
Endwirbel w und w ′ auszuwählen.
Schließlich erwähnen wir ohne Beweis (der einige Tricks der linearen Algebra
benutzt) eine geniale Formel, welche für einen beliebigen zusammenhängenden
Graphen die Anzahl seiner Spannbäume oder Gerüste, d.h. aller Teilbäume mit
gleicher Knotenmenge, angibt.
Satz 3.38 Für einen endlichen Graphen G = (n, E) ist die Laplace-Matrix
Q G = (q ij ) ∈ Z n×n definiert durch
q ii = d G (i), q ij = −1 für ij ∈ E und q ij = 0 sonst.
Der Betrag der Determinante jeder Matrix, die durch Streichen der i-ten Zeile
und j-ten Spalte von Q G entsteht, gibt die Anzahl der Spannbäume von G an.
Für den vollständigen Graphen G = K n ergibt dies wieder die Zahl n n−2 .
Beispiel 3.39 Ein Graph und seine 15 Spannbäume
❝
❝
❝
❝
❝
❝
❝
❝
❝
⎛
❝
❝
❝
❝
❝
❝
❝
❝
❝
❝
❝
❝
❝
❝
❝
❝
❝
❝
❝
❝
❝
❝
❝
❝
❝
❝
❝
❝
❝
❝
❝
❝
❝
❝
❝
❝
⎞
2 −1 −1 0 0 0 ⎛
⎞
−1 2 0 −1 0 0
2 0 −1 0 0
Q G =
−1 0 3 −1 −1 0
0 3 −1 −1 0
⎜ 0 −1 −1 3 0 −1
, Q 11 =
⎜−1 −1 3 0 −1
⎟
⎟ ⎝
⎝ 0 0 −1 0 2 −1⎠
0 −1 0 2 −1⎠ , | det Q ij|= 15.
0 0 −1 −1 2
0 0 0 −1 −1 2
❝
❝
❝
❝
❝
❝
❝
❝
❝
❝
❝
❝
❝
❝
❝
❝
❝
❝
❝
❝
❝
❝
❝
❝
❝
❝
❝
❝
❝
❝
❝
❝
❝
❝
❝
❝
❝
❝
❝
❝
❝
❝
❝
❝
❝
87

3.4 Mehrfacher Zusammenhang
Dieser Begriff ist für die Theorie der Netzwerke, Kommunikations- und Transportsysteme
(also generell für die Informatik) von großer Bedeutung, doch
können wir hier nur kurz auf einige wenige Aspekte eingehen.
Ein Netzwerk (bestehend aus Knoten und Verbindungen) ist umso stabiler,
je mehr Verbindungen zur Verfügungen stehen. So wird man sich häufig
wünschen, dass durch Ausfall einiger ”
Stationen” oder ”
Leitungen” nicht die
Kommunikation oder der Transport zusammenbricht. Der graphentheoretische
Begriff, der diese ”
Robustheit” beschreibt, ist der mehrfache Zusammenhang.
Genauer nennt man einen Graphen G = (X, E) k-fach eckenzusammenhängend
oder k-zusammenhängend, wenn er mehr als k Ecken hat und nach Herausnahme
einer beliebigen Menge Y von k−1 Ecken immer noch einen zusammenhängenden
Graphen auf der Restmenge X \ Y induziert. Entsprechend heißt G k-fach kantenzusammenhängend,
falls nach Entfernen von je k−1 Kanten immer noch ein
zusammenhängender Graph übrigbleibt.
Beispiele 3.40 (1) Ein 2-fach eckenzusammenhängender Graph ist stets auch
2-fach kantenzusammenhängend, aber die Umkehrung gilt nicht! Der folgende
Graph ist 2-fach kanten-, aber nicht 2-fach eckenzusammenhängend:
❞ ❞
❏ ✡ ❏ ❞ ✡
❞ ✡ ✡ ❏ ❏ ❞
(2) Bäume sind niemals 2-fach zusammenhängend, da es (außer im Extremfall
von höchstens zwei Ecken) immer einen Knoten gibt, der kein Blatt ist, und
nach Entfernen eines solchen Knotens zerfällt der Baum. Aus einem ähnlichen
Grund sind Bäume auch nie 2-fach kantenzusammenhängend.
(3) Ein n-Eck (mit n > 2) ist stets 2-fach, aber niemals 3-fach ecken- bzw. kantenzusammenhängend.
Allgemeiner ist jeder Hamiltonsche Graph 2-zusammenhängend
und jeder Eulersche Graph 2-fach kantenzusammenhängend.
❝ ❝
❝ ❅❝
❝ ❝
❝ ❅❝
❝
❝ ❝
❝ ❝
❝ ❅❝
❝ ❝
❝ ❅❝
❝ ❝ ❝ ❝ ❝ ❝ ❝ ❝ ❝ ❝
❅ ❝ ❝ ❝ ❝ ❅ ❝ ❝ ❅ ❝ ❝
(4) Am stärksten zusammenhängend sind natürlich die vollständigen Graphen
(Simplexe) K n = (n, P 2 n). Definitionsgemäß sind sie zwar nicht n-zusammenhängend
(da es nur n Knoten gibt), aber sie sind sowohl (n−1)-ecken- als auch
(n−1)-kantenzusammenhängend. Für den Eckenzusammenhang ist das klar, weil
alle induzierten Teilgraphen wieder Simplexe sind. Für den Kantenzusammenhang
beweisen wir ein stärkeres Resultat:
88

Satz 3.41 Jeder Graph mit n > k Knoten und mindestens
(n−1)(n−2)/2 + k = n(n−1)/2 − (n−k−1)
Kanten ist k-fach kantenzusammenhängend.
Nach Herausnahme von n−k−1 Kanten aus einem vollständigen Graphen K n
bleibt also noch ein k-fach kantenzusammenhängender Graph übrig.
Beweis. Zerfällt ein Graph mit n > k Knoten nach Entfernen von k−1 Kanten
in mindestens zwei Komponenten, von denen eine m Elemente hat, so besitzt
der Restgraph maximal
m(m−1)/2 + (n−m)(n−m−1)/2 = n(n−1)/2 − m(n−m) ≤ (n−1)(n−2)/2
Kanten. Der Ausgangsgraph hat also höchstens (n−1)(n−2)/2 + k−1 Kanten.
Durch Kontraposition folgt die Behauptung.
□
Beispiel 3.42 Ein 3-fach kantenzusammenhängender Graph, der nach Entfernen
von drei Kanten zerfällt, also nicht 4-fach kantenzusammenhängend ist:
❝ ❝ ❝ ❝ ❝ ❝
❅
❝ ❅
❅ ❝ ❝ ❅
❅ ❝ ❝ ❅ ❝
❝ ❝
❅
❝ ❅ ❝
Im Folgenden konzentriert sich unser Interesse auf 2-fachen Zusammenhang.
Deinitionsgemäß ist ein Graph mit mindestens drei Knoten genau dann 2-
zusammenhängend, wenn das Entfernen einer beliebigen Ecke den Zusammenhang
nicht zerstört. Solche Graphen besitzen eine naheliegende und einfache
Charakterisierung:
Satz 3.43 Ein Graph ist genau dann 2-zusammenhängend, wenn je zwei seiner
Ecken auf einem Kreis liegen.
Beweis. Wenn letzteres der Fall ist, kann man eine beliebige Ecke löschen, und
es bleibt mindenstens ein Weg zwischen je zwei Ecken des Restgraphen (da
sie auf einem Kreis des ursprünglichen Graphen liegen). Die Umkehrung ist
nicht so einfach zu sehen, man beweist sie zum Beispiel per Induktion über
den Abstand (die Länge eines kürzesten verbindenden Pfades) zwischen zwei
Ecken x und y. Ist dieser gleich 1, so ist xy eine Kante, und nach Entfernen
derselben bleibt ein Pfad zwischen x und y, der zusammen mit xy einen Kreis
liefert, auf dem x und y liegen. Ist die Aussage für alle Eckenpaare vom Abstand
< k bewiesen, so findet man für zwei beliebige Ecken x, y mit Abstand k einen
kürzesten Verbindungspfad (x = x 0 , ..., x k = y). Da x und x k−1 den Abstand
k−1 haben, liegen sie nach Induktionsannahme auf einem Kreis K in G. Der
Restgraph G − x k−1 ist zusammenhängend und enthält daher einen Pfad von x
nach y. Aus einem Teil dieses Pfades und einem Teil des Kreises K bastelt man
nun einen Kreis, der x und y enthält, gemäß der nachfolgenden Skizze:
89

❝ ❝
❝ ❅❝
x k−1
❝y
❝ ❝
❝
❝y
❝ ❝
❝ ❅❝
x k−1
❝y
x ❝ ❝
❅ ❝ ❝
x ❝ ❝ ❝
❅ ❝ ❝ ❝
x ❝
❅ ❝ ❝
❝
❝
Man kann alle 2-zusammenhängenden Graphen sukzessive generieren, indem
man, mit einem Kreis startend, schrittweise neue Pfade anhängt, deren
(verschiedene!) Endpunkte in dem jeweils zuletzt konstruierten Graphen liegen,
während alle anderen (”inneren”) Ecken des Pfades neu hinzukommen.
Beispiel 3.44 Anfügen von Ohren” ”
❝ ❝
❝ ❝
❝ ❝ ❝ ❅❝
❝ ❝ ❅❝
❝
❝ ❅❝
❝
❝ ❝
❝ ❅❝
❝
❅ ❝
❝ ❅❝
❝
❝
❝ ❝
❅ ❝ ❝
❝
❝ ❝
❅ ❝ ❝
❝ ❝ ❝ ❝
❅ ❝ ❅ ❝ ❝
❝ ❝
❅ ❝
Etwas anders formuliert, hat man folgende Charakterisierung:
Satz 3.45 Ein endlichen Graph ist genau dann 2-zusammenhängend, wenn er
aus einem Dreieck durch wiederholtes Hinzufügen von Kanten und Unterteilen
von bereits vorhandenen Kanten (d.h. Einfügen von neuen Ecken auf diesen
Kanten) hervorgeht.
Zu Satz 3.43 gibt es eine wichtige Verallgemeinerung auf k-fachen Zusammenhang,
den berühmten Satz von Menger (1927). Zu seiner Formulierung brauchen
wir sogenannte trennende Ecken- bzw. Kantenmengen. Man sagt, eine Teilmenge
T von Ecken trennt zwei nicht in T liegende Ecken x und y eines Graphen
G = (X, E), falls x und y in dem Restgraph G−T durch keinen Weg verbunden
werden können, also in zwei verschiedenen Komponenten liegen. Mit anderen
Worten: Jeder x mit y verbindende Weg enthält eine Ecke aus T . Entsprechend
trennt eine Kantenmenge K die Ecken x und y, falls x und y in verschiedenen
Komponenten des Restgraphen G − K liegen. Offenbar sind Ex = {z | xz ∈ E}
und Ey = {z | yz ∈ E} stets trennende Eckenmengen für x und y, sofern x und
y nicht adjazent sind. Entsprechend sind {e ∈ E | x ∈ e} und {e ∈ E | y ∈ e}
trennende Kantenmengen für x und y, manchmal sogar die einzigen.
90

Beispiele 3.46 (1) Ein Graph mit drei von sechs zweielementigen trennenden
Eckenmengen und zwei von fünf zweielementigen trennenden Kantenmengen für
x und y:
y
❝
❅
❅ ❝ ❅ ❝
❅ ❝ ❅ ❝
❅ ❝
x
y
❝
❝ ❅ ❝
❅
❅
❅ ❝ ❅ ❝
❅ ❝
x
y
❝
❝ ❅ ❝
❅ ❝ ❅
❅
❅ ❝
❅ ❝
x
y
❝
y
❝
❝ ❅❝
❝ ❅ ❝
❅ ❝ ❅ ❝ ❅ ❝
❅❝
❅ ❝ ❅ ❝ ❅
❝ ❅ ❝
❅ ❝ ❅ ❝
x
x
(2) Ein Graph mit drei von elf trennenden Eckenmengen und zwei von vier
trennenden Kantenmengen minimaler Mächtigkeit 3 für x und y:
y
❝
❅
❝ ❅ ❝ ❅ ❝
❅ ❝ ❝ ❅ ❝
❅ ❝
x
y
❝
❝ ❝ ❅ ❝
❅
❅
❅ ❝ ❝ ❅ ❝
❅ ❝
x
y
❝
❝ ❝ ❅ ❝
❝ ❅
❅
❅ ❝ ❅ ❝
❅ ❝
x
y
❝
❝ ❝
❅ ❝
❝ ❅ ❝ ❅ ❝
❅ ❝ ❝ ❅ ❝
❅ ❝
x
y
❝
❝ ❝ ❅ ❝
❝ ❅ ❝ ❅ ❝
❅ ❝ ❝ ❅ ❝
❅ ❝
x
(3) Ein Graph mit einer eindeutigen zweielementigen trennenden Eckenmenge
und nur zwei trennenden Kantenmengen minimaler Mächtigkeit 3 für x und y:
y
❝
❝ ❅
❝
❝ ✁✁ ✁ ❆ ✁ ❆❆ ❆✁
❆ ✁
❆❝
❅ ❝
x
y
❝
❝ ❝
❅ ❝
❝ ✁✁ ✁ ❆ ✁ ❆❆ ❆✁
❆ ❝ ✁ ❆❝
❅ ❝
x
y
❝
❝ ❝ ❅ ❝
❝ ✁✁ ✁ ❆ ✁ ❆❆ ❆✁
❆ ❝ ✁ ❆❝
❅ ❝
x
Zwei Wege zwischen x und y heißen eckendisjunkt, falls sie außer den Endecken
x und y keinen weiteren gemeinsamen Ecken haben, und kantendisjunkt,
falls sie keine gemeinsamen Kanten haben. Die Verallgemeinerung des Satzes
3.43 von 2 auf k lautet nun:
Satz 3.47 Für je zwei nichtadjazente Ecken x und y in einem endlichen Graphen
G ist die maximale Anzahl eckendisjunkter Wege von x nach y gleich der
Minimalzahl trennender Ecken. Analoges gilt für Kanten statt Ecken.
Beweisskizze. Eine trennende Eckenmenge muss natürlich mindestens so viele
Elemente haben, wie es disjunkte Wege zwischen x und y gibt (sonst könnte man
sich auf einem Weg an dieser Trennmenge ”
vorbeimogeln”). Zu zeigen ist also,
dass die Existenz einer x und y trennenden Menge T mit einer Minimalzahl von
k Ecken auch k eckendisjunkte Wege zwischen x und y garantiert. Dies beweist
man durch Induktion über die Anzahl n der Ecken des Graphen.
91

Der Induktionsbeginn ist klar: Hat G nur die zwei Ecken x und y, so ist k =0,
und es gibt keinen verbindenden Weg. Wir nehmen nun an, die Behauptung sei
für alle Graphen mit weniger als n Ecken wahr. Für die ”
Nachbarschaften”
Ex = {z | xz ∈ E} und Ey = {z | yz ∈ E} unterscheiden wir zwei Fälle.
Fall 1. Es gibt eine trennende Menge T mit k Ecken und T ⊈ Ex und T ⊈ Ey.
Wir betrachten den auf T ∪ K x induzierten Teilgraphen, wobei K x die x enthaltende
Komponente des Restgraphen G − T ist, und verbinden eine neue Ecke w
mit allen Ecken aus T ; auf diese Weise entsteht ein Graph G x , der weniger Ecken
als G hat, und T erweist sich als trennende Eckenmenge minimaler Mächtigkeit
von x und w in G x . Der Graph G y sei analog definiert. Wir demonstrieren die
Konstruktion an Beispiel 3.46 (3).
y
y
y
❝
❝
❝
❝ ❅
❝ ❝
❅ ❝
❝ ❅
❝
❆
❝ ✁✁ ✁ ❆ ✁
❆❆ ❆
❝
✁
✁
❆❝
❝ ✁✁ ❆
✁ ✁ ❆
w❆
❝ w
✁
❆
❆❆
✁
✁ ❆❝
✁
❝ ✁✁ ❆
✁ ✁
❆❆ ✁❆
✁
✁ ✁
❆❝
❅ ❝ ❅
❝
❅
❝
x G x x
G x
Nach Induktionsannahme gibt es je k eckendisjunkte Wege zwischen x und w
in G x , bzw. zwischen y und w in G y . Je ein Paar dieser Wege kleben wir an
den Schnittstellen in T zusammen und entfernen wieder die Hilfsecke w. Das
Ergebnis ist das rechtsstehende Bild mit k (hier 2) disjunkten Wegen zwischen
x und y im ursprünglichen Graphen G.
Fall 2. Alle trennenden Mengen mit k Ecken sind in Ex oder in Ey enthalten.
Falls es eine von x und y verschiedene Ecke v gibt, die in keiner solchen Trennmenge
vorkommt, kann man diese Ecke herausnehmen und bekommt bereits im
Restgraphen G − v (nach Induktionsannahme) k eckendisjunkte Wege zwischen
x und y. Also bleibt der Fall, dass alle Ecken außer x und y in Ex oder Ey
liegen. Ein kürzester Weg W zwischen x und y enthält dann höchstens zwei
Ecken außer x und y. Entfernt man diese, so haben in dem Restgraphen die x
und y trennenden Mengen mindestens k−1 Ecken, und die Induktionsannahme
liefert k−1 disjunkte Wege, zusammen mit W also k disjunkte Wege in G. □
Zu der Version 3.47 des Satzes von Menger gibt es mehrere naheliegende, aber
auch einige unerwartet weitreichende Varianten. Zum einen kann man eckendisjunkte
durch kantendisjunkte Wege und entsprechend trennende Eckenmengen
durch trennende Kantenmengen ersetzen. Zum anderen gelten analoge Aussagen
für gerichtete Wege in Digraphen. Das wohl allgemeinste Ergebnis in diesem
Bereich ist der berühmte Satz von Ford und Fulkerson (1956), der auch in der
Praxis der Netzplantechnik, der Verkehrsführung und anderer Steuerungen von
Flüssen in Netzwerken” eine wichtige Rolle spielt.
”
Um eine mathematisch tragfähige Begriffsbildung für solche Situationen zu
haben, definiert man ein Netzwerk als ein Tripel N = (X, R, C), bestehend aus
einer Menge X (von Knoten), einer Relation R ⊆ X ×X (deren Elemente als
G y
92

Kanten oder Pfeile interpretiert weren) und einer ”
Gewichts- oder Bewertungsfunktion”
C von R in eine Menge, in der Addition und Subtraktion möglich
sind; wir nehmen hierfür der Einfachheit halber stets die reelle Gerade R (aber
auch der R n oder andere Vektorräume bzw. Gruppen sind gute Kandidaten).
Hat C nur nichtnegative Werte, so spricht man von einer Kapazitätsfunktion.
Beispielsweise kann man mit Hilfe einer solchen Funktion Digraphen mit Mehrfachkanten
codieren, indem man jedem (x, y) ∈ R die Anzahl der Kanten zwischen
x und y zuordnet. Manchmal ist es bequem, C auf das ganze Produkt
X × X fortzusetzen, indem man C(x, y) = 0 für (x, y) ∈ R c = X ×X \ R setzt.
Für beliebige Funktionen F : R −→ R und Teilmengen S ⊆X definieren wir:
R S := R ∩ (S × (X \ S)) (Schnitt zwischen S und X \ S)
F + (S) := ∑ p∈R S
F (p)
F − (S) := F + (X \ S)
F ∼ (S) := F + (S) − F − (S)
(Strömung aus S heraus)
(Strömung nach S hinein)
(Strömung zwischen S und X \ S).
Wir schreiben F + (x) statt F + ({x}), F − (x) statt F − ({x}) und F ∼ (x) statt
F ∼ ({x}). Eine kurze Rechnung zeigt:
F ∼ (S) = ∑ s∈S F ∼ (s),
F ∼ (S ∪ T ) = F ∼ (S) + F ∼ (T ) für disjunkte Teilmengen S und T von X.
Sind zwei feste Knoten x, y eines Netzwerks N = (X, R, C) gegeben, so nennt
man eine Funktion F : R −→ R einen Fluss von x nach y, falls
(1) 0 ≤ F (p) ≤ C(p) für alle Paare p ∈ R und
(2) F ∼ (z) = 0 für alle z ∈ X \ {x, y}.
Da für einen Fluss F von x nach y die von x und y verschiedenen Knoten keinen
Beitrag zu F ∼ leisten, ist die Zahl
F ∼ (x) = F ∼ (S) = −F ∼ (X \ S) = −F ∼ (y)
konstant für alle ”
Schnittmengen” S ⊆X mit x ∈ S und y ∉ S. Falls dieser Wert
größtmöglich ist, nennt man F einen maximalen Fluss von x nach y. Aufgrund
der Bedingung (1) gilt für jede Schnittmenge S die Ungleichung
F ∼ (S) ≤ F + (S) ≤ C + (S).
Die Zahl C + (S) = ∑ p∈R S
C(p) nennt man die Kapazität des Schnittes R S .
93

Beispiel 3.48 Ein Fluss und vier Schnitte
❝
S 1
❝ ✒ ❅❘ 1 ❝
❝ ✒ 1
x ❅❘0 ❝ ✠2 ❅■ 1 ❝
❅❘2 ❝ ✒1
❅❘ 3
y
❝ ✒ 4
❅❘1 ❝ ✒ 1
❝
S 1
❝ ✒ ❅❘ 1 ❝
❝ ✒ 1
x ❅❘0 ❝ ✠2 ❅■ 1 ❝
❅❘2 ❝ ✒1
❅❘ 3
y
❝ ✒ 4
❅❘1 ❝ ✒ 1
❝
S 1
❝ ✒ ❅❘ 1 ❝
❝ ✒ 1
x ❅❘0 ❝ ✠2 ❅■ 1 ❝
❅❘2 ❝ ✒1
❅❘ 3 y
❝ ✒ 4
❅❘1 ❝ ✒ 1
❝
S 1
❝ ✒ ❅❘ 1 ❝
❝ ✒ 1
x ❅❘0 ❝ ✠2 ❅■ 1 ❝
❅❘2 ❝ ✒1
❅❘ 3 y
❝ ✒ 4
❅❘1 ❝ ✒ 1
Die Zahlen an den Pfeilen geben die Werte eines maximalen Flusses von x nach
y an, wobei die Kapazitätsfunktion C z.B. gleich F sein könnte, aber auch
C(p) = 1 für F (p) = 0 und C(p) = F (p) sonst
ist eine von vielen möglichen Vorgaben für C. Hier gilt für jeden Schnitt S
zwischen x und y:
F ∼ (S) = 3 ≤ C + (S).
Beispiel 3.49 Die charakteristische Funktion C : R −→ {0, 1} einer Relation
R (und im Falle X = n deren Inzidenzmatrix) ist gegeben durch
C(p) = 1 ⇔ p ∈ R.
In dieser Situation ist C + (x) = d + (x) die positive Valenz und C − (x) = d − (x)
die negative Valenz von x ∈ X.
In einem zusammenhängenden endlichen Digraphen ist die Bedingung
C ∼ (z) = 0 für z ∈ X\{x, y} in Verbindung mit C ∼ (x) = 1 und C ∼ (y) = −1 notwendig
und hinreichend für die Existenz eines gerichteten offenen Euler-Weges
von x nach y (vgl. Satz 3.15). C ist dann ein maximaler Fluss von x nach y.
Bei der algorithmischen Konstruktion maximaler Flüsse braucht man so genannte
F -vermehrende Pfade. Damit sind Pfade (x 0 , ..., x k ) mit der Eigenschaft
gemeint, dass für jedes i ∈ k gilt:
(→) p i = (x i−1 , x i ) ∈ R und F (p i ) < C(p i ) (Vorwärtspfeil) oder
(←) p i = (x i , x i−1 ) ∈ R und F (p i ) > 0 (Rückwärtspfeil).
Jetzt sind wir in der Lage, das wichtige Max-Flow-Min-Cut Theorem von Ford
und Fulkerson zu formulieren (und im Wesentlichen auch zu begründen), das
den grundlegenden Zusammenhang zwischen Flüssen und Schnitten herstellt:
Satz 3.50 Für zwei Knoten x, y eines endlichen Netzwerks N = (X, R, C) und
einen Fluss F zwischen x und y sind die folgenden Aussagen äquivalent:
(a) F ist ein maximaler Fluss von x nach y.
(b) Es gibt keinen F -vermehrenden Pfad von x nach y.
(c) F ∼ (S) = C + (S) für (mindestens) einen Schnitt R S zwischen x und y.
94

Der maximale Wert von Flüssen zwischen x und y ist also gleich der minimalen
Kapazität von Schnitten zwischen x und y.
Beweisskizze. (a)⇒(b): Gäbe es einen F -vermehrenden Pfad (x 0 , ..., x k ) von x
nach y, so könnte man das Minimum
M := min({C(p i ) − F (p i ) | p i = (x i−1 , x i )∈R} ∪ {F (p i ) | p i = (x i , x i−1 )∈R})
zu allen Werten F (p i ) mit (→) addieren und von allen Werten F (p i ) mit (←)
subtrahieren und bekäme so einen neuen Fluss (nachprüfen!), der einen um M
größeren Wert als F hätte.
(b)⇒(c): Man betrachtet die Menge S aller Knoten, die von x aus über einen
F -vermehrenden Pfad erreichbar sind. Dann ist
F (p) = C(p) für p ∈ R S ,
F (p) = 0 für p ∈ R X\S .
Daher hat F ∼ (S) den maximal möglichen Wert C + (S).
(c)⇒(a) ist wegen der für alle Flüsse F gültigen Ungleichung F ∼ (S) ≤ C + (S)
klar.
□
Die Aussagen des Satzes von Ford und Fulkerson lassen sich leicht in einen
Algorithmus umfunktionieren, der zugleich einen maximalen Fluss und einen
minimalen Schnitt zwischen gegebenen Knoten x und y produziert. Die Details
hierzu findet man z.B. in dem Buch Diskrete Mathematik von Ihringer.
Die ”
gerichtete Kantenversion” des Satzes von Menger ergibt sich nun als
ein relativ einfacher Spezialfall: Alle Kanten haben die Kapazität 1. Hat man k
kantendisjunkte gerichtete Pfade von x nach y, so definiert man F (p) = 1 für alle
Kanten dieser Pfade, und ansonsten F (p) = 0. Das ergibt einen Fluss vom Wert
k, und umgekehrt kann sich überlegen, dass jeder solche Fluss F : R −→ {0, 1}
vom Wert k zwischen x und y auf diese Weise entsteht. Andererseits ist die
Kapazität eines Schnittes S zwischen x und y die Anzahl der von S nach X \ S
laufenden Kanten, und dies ist eine x und y trennende Kantenmenge (in dem
Sinne, dass jeder gerichtete Pfad von x nach y eine Kante aus dieser Menge
benutzt). Damit gelangen wir zu folgender Variante des Satzes von Menger:
Satz 3.51 Die Maximalzahl kantendisjunkter gerichteter Pfade zwischen zwei
Knoten eines endlichen Digraphen ist gleich der minimalen Mächtigkeit aller
Kantenmengen, die diese beiden Knoten trennen.
Die ”
Knotenvariante” dieses Satzes kann man durch ”
Auseinanderziehen”
der Knoten zu neuen Kanten ableiten.
Schließlich erwähnen wir noch eine wichtige ordnungstheoretische Variante
der vorangehenden Aussagen, den Satz von Dilworth (1950): Darin ist mit einer
Kette eine Menge paarweise vergleichbarer Elemente gemeint (die also x ⊑ y
oder y ⊑ x erfüllen), während ”
Antikette” eine Menge paarweise unvergleichbarer
Elemente bedeutet (für die also weder x ⊑ y noch y ⊑ x gilt).
95

Satz 3.52 In einer endlichen geordneten Menge ist die maximale Mächtigkeit
von Antiketten gleich der Minimalzahl von Ketten, deren Vereinigung die ganze
Menge ist.
Besonders gut kann man diesen Satz im Speziallfall endlicher Potenzmengen
PX (aufgefaßt als geordnete Mengen bezüglich der Mengeninklusion ⊆) verstehen.
Die geordneten Mengen Pn sind genau die Isomorphietypen der so genannten
endlichen Booleschen Verbände. Beachten Sie, dass Pn vermittels des
Überganges zu charakteristischen Funktionen isomorph zu der koordinatenweise
durch ≤ geordneten Menge {0, 1} n aller 0-1-wertigen n-Tupel ist.
{1,2,3}
❝
✓
❅
❅ ✏
{1,2}
❝
{1,3}
❝ ❅ {2,3}
❝
✒
❅
❅
✑
❅
✓
❝ ❅ ❝ ≃
❅
❅
❝
✏
{1}
{2}
{3}
✒
❅
❅
✑
❅❝
P3
∅
111
❝
✓
❅
❅ ✏
011
❝
101
❝ ❅ 110
❝
✒
❅
❅
✑
❅
❅
✓
❝ ❅ ❝ ❅
❝
✏
001
010
100
✒
❅
❅
✑
❅❝
{0,1}
000
3
In den obigen zwei Diagrammen sind alle Antiketten maximaler Mächtigkeit
sowie eine Zerlegung in je drei symmetrische Ketten eingezeichnet. Dabei heißt
eine aus benachbarten Elementen in {0, 1} n gebildete Kette symmetrisch, wenn
ihr kleinstes Element ebensoviele Einsen wie ihr größtes Element Nullen hat.
Satz 3.53 Jeder endliche Boolesche Verband {0, 1} n ≃ Pn besitzt eine Zerlegung
in symmetrische Ketten. Daher ist die maximale Elementezahl von Antiketten
in Pn bzw. {0, 1} n gleich dem mittleren Binomialkoeffizienten
( ) n
.
⌊n/2⌋
( Beweis. ) Da die Teilmengen von n mit ⌊n/2⌋ Elementen eine Antikette in Pn mit
n
Elementen bilden, genügt es, eine Zerlegung von Pn bzw. {0, 1}
⌊n/2⌋
n in
symmetrische Ketten zu finden. Denn dann enthält jede dieser Ketten höchstens
ein Element einer beliebig vorgegebenen Antikette, und andererseits gehört jede
⌊n/2⌋-elementige Teilmenge von Pn zu genau einer dieser Ketten.
Die induktive Konstruktion der symmetrischen Ketten deuten wir in den
nachfolgenden Diagrammen an. In jedem Schritt wird ein (n−1)-dimensionaler
Würfel {0, 1} n−1 zu einem n-dimensionalen Würfel {0, 1} n verdoppelt. Dann
werden die schon konstruierten symmetrischen Ketten des Würfels {0, 1} n−1
(mit 0 beginnende Folgen) um das entsprechende größte Element der nach oben
verschobenen Kopie (mit 1 beginnende Folgen) verlängert, während die entsprechenden
Ketten des verschobenen Würfels um das oberste Element verkürzt
werden. So entsteht eine Zerlegung des Würfels {0, 1} n in symmetrische Ketten.
96

❝
1
❅
❅
❅❝
0
11
❝
❅
❅
10
❝ ❅
01
❅
❅
❅❝
00
111 ❝
❝
❅
❅
011
101
❝ ❅ 110
❝
❅
❅ ❅
❅
❝ ❅ ❝
❅
❝
001
❅ 010
❅ 100
❅❝
000
1111 ❝
❅
❅
1011 1101
❝ ❝ ❅ 1110
❝
❅
❝✑ ✑ ✑✑✑✑✑✑✑✑ ❅
❅ ❅
0111
❝ ❅
❅
❝
❅ 1001
❅ 1010
✑ ❅
0011 0101
❝✑ ✑ ❅ ❝
✑ ✑✑✑✑✑✑✑✑
❅ 1100
0110
❅❝
❅
❅ ❅
❝ ✑ ❅
❅ ❝
1000
✑ ❅
❝ ✑ ✑✑✑✑✑✑✑✑
0001
❅ 0010
❅
❅❝
0100
11111 ❝
✑ ✑✑✑✑✑✑✑✑
◗
0000
❝ ❅
◗
❅◗
11011 11101
❝ ❅ 11110 ◗
❝
❅
10111 ❝✑ ✑✑✑✑✑✑✑✑ ❝ ❅
◗
◗
◗
◗
◗
◗
❅
❅ ❝
◗
◗
◗
❅◗
◗
◗
◗
❅ ◗
❝
◗
◗
❝
❅◗
◗ 11001
◗
❅◗
11010
◗
◗
10011
✑ ❅
10101
❝✑ ❅ 10110
❝ ✑ ✑✑✑✑✑✑✑✑
◗
❅
❅❝
11100
◗
◗
◗
01111
❝
◗
◗
◗
◗
◗
◗ ◗
◗
◗
◗
◗ ◗ ◗
❅
❅ ❅
❝ ✑ ❅
◗
◗ ◗
◗
◗
❅
◗
01011
◗
❝
◗
01101 ◗❅
◗ ❝
◗
❅ 01110
◗
❝
◗
◗
◗
◗
◗
❅ ❝
11000
◗
◗
✑ ◗◗
◗
◗
❅
◗
❝ ✑ ✑✑✑✑✑✑✑✑
◗◗
◗◗
◗
◗◗
◗
10001
◗❅
◗ 10010 ◗
◗◗
❅
◗ ◗◗ 00111 ❝✑ ✑ ✑✑✑✑✑✑✑✑
◗◗
❅ ◗
◗
◗◗
❅ ◗
❅
◗
◗
❅
10100 ◗
◗
❅◗
❝ ✑ ✑✑✑✑✑✑✑✑
◗◗
◗◗
◗
◗
◗ ◗
◗
◗
◗◗
❝ ◗
❅ ❝ ◗
❅ ❝
◗
❝
◗ ❅ 01001 ◗
◗00011
◗
✑ ◗
❅ 01010
❅
◗◗00101
◗
❝✑ ✑ ◗❅ 00110
❝
✑ ✑✑✑✑✑✑✑✑
◗
❅ 01100
◗
◗
❅❝
10000 ◗
◗◗
◗
◗◗
◗
❅ ◗
❅
◗◗
❅
◗◗ ❝ ✑ ◗
◗ ◗❅
❅ ❝
01000
◗ ✑ ◗❅
❝ ✑ ✑✑✑✑✑✑✑✑
◗00001
◗
❅ 00010
❅ 00100
◗
◗ ❅❝
✑ ✑✑✑✑✑✑✑✑
00000
97