1 graphentheorie prof. dr. dörte haftendorn, leuphana universität lüneburg, 2012 gibt es in...
TRANSCRIPT
![Page 1: 1 Graphentheorie Prof. Dr. Dörte Haftendorn, Leuphana Universität Lüneburg, 2012 Gibt es in Königsberg einen Spaziergang,](https://reader035.vdocuments.pub/reader035/viewer/2022062312/55204d6649795902118bba54/html5/thumbnails/1.jpg)
1
Graphentheorie
Prof. Dr. Dörte Haftendorn, Leuphana Universität Lüneburg, 2012 http://www.leuphana.de/matheomnibus
Gibt es in Königsberg einen Spaziergang, bei dem man jede der sieben Pregelbrücken genau einmal überquert?
![Page 2: 1 Graphentheorie Prof. Dr. Dörte Haftendorn, Leuphana Universität Lüneburg, 2012 Gibt es in Königsberg einen Spaziergang,](https://reader035.vdocuments.pub/reader035/viewer/2022062312/55204d6649795902118bba54/html5/thumbnails/2.jpg)
2
Königsberger Brückenproblem
Prof. Dr. Dörte Haftendorn, Leuphana Universität Lüneburg, 2012 http://www.leuphana.de/matheomnibus
Gibt es in Königsberg einen Spaziergang, bei dem man jede der sieben Pregelbrücken genau einmal überquert?
Im Jahre 1736 Leonhard Euler löste das Problem allgemein
![Page 3: 1 Graphentheorie Prof. Dr. Dörte Haftendorn, Leuphana Universität Lüneburg, 2012 Gibt es in Königsberg einen Spaziergang,](https://reader035.vdocuments.pub/reader035/viewer/2022062312/55204d6649795902118bba54/html5/thumbnails/3.jpg)
3
Was ist ein Graph?
Prof. Dr. Dörte Haftendorn, Leuphana Universität Lüneburg, 2012 http://www.leuphana.de/matheomnibus
Im Jahre 1736 Leonhard Euler löste das Problem allgemein
und begründete damit die Graphentheorie
Ein Graph besteht aus einer Eckenmengeund einerKantenmenge
( , )G E K
Jede Kante verläuft von Ecke zu Ecke.
Ecken=verticesKanten=edges
V
E Mindestens eine Ecke
![Page 4: 1 Graphentheorie Prof. Dr. Dörte Haftendorn, Leuphana Universität Lüneburg, 2012 Gibt es in Königsberg einen Spaziergang,](https://reader035.vdocuments.pub/reader035/viewer/2022062312/55204d6649795902118bba54/html5/thumbnails/4.jpg)
4
Gundbegriffe
Prof. Dr. Dörte Haftendorn, Leuphana Universität Lüneburg, 2012 http://www.leuphana.de/matheomnibus
Die Adjazenz-Matrix gibt an,durch wie viele Kanten die Ecken verbunden sind.
Der Grad einer Ecke ist die Anzahl der abgehenden Kanten.
![Page 5: 1 Graphentheorie Prof. Dr. Dörte Haftendorn, Leuphana Universität Lüneburg, 2012 Gibt es in Königsberg einen Spaziergang,](https://reader035.vdocuments.pub/reader035/viewer/2022062312/55204d6649795902118bba54/html5/thumbnails/5.jpg)
5
Eulersche Begriffe
Prof. Dr. Dörte Haftendorn, Leuphana Universität Lüneburg, 2012 http://www.leuphana.de/matheomnibus
Im Jahre 1736 Leonhard Euler löste das Problem allgemein
In einem Eulerschen Weg kommt jede Kante genau einmal vor.
Ein geschlossener Eulerscher Weg heißtEulerscher Kreis.
Kanten, die zu ihrer Startecke zurückkehren, heißen Schlingen.
![Page 6: 1 Graphentheorie Prof. Dr. Dörte Haftendorn, Leuphana Universität Lüneburg, 2012 Gibt es in Königsberg einen Spaziergang,](https://reader035.vdocuments.pub/reader035/viewer/2022062312/55204d6649795902118bba54/html5/thumbnails/6.jpg)
6
Eulersche Begriffe
Prof. Dr. Dörte Haftendorn, Leuphana Universität Lüneburg, 2012 http://www.leuphana.de/matheomnibus
Im Jahre 1736 Leonhard Euler löste das Problem allgemein
In einem Eulerschen Weg kommt jede Kante genau einmal vor.
Ein geschlossener Eulerscher Weg heißtEulerscher Kreis.
![Page 7: 1 Graphentheorie Prof. Dr. Dörte Haftendorn, Leuphana Universität Lüneburg, 2012 Gibt es in Königsberg einen Spaziergang,](https://reader035.vdocuments.pub/reader035/viewer/2022062312/55204d6649795902118bba54/html5/thumbnails/7.jpg)
7
Eulers Lösung:
Prof. Dr. Dörte Haftendorn, Leuphana Universität Lüneburg, 2012 http://www.leuphana.de/matheomnibus
Im Jahre 1736 Leonhard Euler löste das Problem allgemein
Eulerscher Satz:
Einen Eulerschen Kreis gibt es genau dann, wenn alle Ecken einen geraden Grad haben.
Im Königs-berg-Graphen gibt es keinen Eulerschen Kreis.
![Page 8: 1 Graphentheorie Prof. Dr. Dörte Haftendorn, Leuphana Universität Lüneburg, 2012 Gibt es in Königsberg einen Spaziergang,](https://reader035.vdocuments.pub/reader035/viewer/2022062312/55204d6649795902118bba54/html5/thumbnails/8.jpg)
8
Das Haus des Nikolaus
Prof. Dr. Dörte Haftendorn, Leuphana Universität Lüneburg, 2012 http://www.leuphana.de/matheomnibus
In einem Eulerschen Weg kommt jede Kante genau einmal vor.
![Page 9: 1 Graphentheorie Prof. Dr. Dörte Haftendorn, Leuphana Universität Lüneburg, 2012 Gibt es in Königsberg einen Spaziergang,](https://reader035.vdocuments.pub/reader035/viewer/2022062312/55204d6649795902118bba54/html5/thumbnails/9.jpg)
9
Das Haus des Nikolaus
Prof. Dr. Dörte Haftendorn, Leuphana Universität Lüneburg, 2012 http://www.leuphana.de/matheomnibus
Eulerscher Satz:
Einen offenen Eulerschen Weg gibt es genau dann, wenn genau zwei Ecken einen ungeraden Grad haben.
In einem Eulerschen Weg kommt jede Kante genau einmal vor.
![Page 10: 1 Graphentheorie Prof. Dr. Dörte Haftendorn, Leuphana Universität Lüneburg, 2012 Gibt es in Königsberg einen Spaziergang,](https://reader035.vdocuments.pub/reader035/viewer/2022062312/55204d6649795902118bba54/html5/thumbnails/10.jpg)
10
Graphen in unserer Welt
Prof. Dr. Dörte Haftendorn, Leuphana Universität Lüneburg, 2012 http://www.leuphana.de/matheomnibus
![Page 11: 1 Graphentheorie Prof. Dr. Dörte Haftendorn, Leuphana Universität Lüneburg, 2012 Gibt es in Königsberg einen Spaziergang,](https://reader035.vdocuments.pub/reader035/viewer/2022062312/55204d6649795902118bba54/html5/thumbnails/11.jpg)
11
Graphen in unserer Welt
Prof. Dr. Dörte Haftendorn, Leuphana Universität Lüneburg, 2012 http://www.leuphana.de/matheomnibus
Mit Graphen schafft man sichein
Modell der Wirklichkeit,
das einen bestimmten Zusammenhang deutlich macht und andere Aspekte der Wirklichkeit ausblendet.
Die geometrische Lage und Form spielt bei Graphen eigentlich gar keine Rolle.
Bei Streckenplänen wird allerdings ganz grob die gegenseitige Lage wiedergegeben.
![Page 12: 1 Graphentheorie Prof. Dr. Dörte Haftendorn, Leuphana Universität Lüneburg, 2012 Gibt es in Königsberg einen Spaziergang,](https://reader035.vdocuments.pub/reader035/viewer/2022062312/55204d6649795902118bba54/html5/thumbnails/12.jpg)
12
Graphen in unserer Welt
Prof. Dr. Dörte Haftendorn, Leuphana Universität Lüneburg, 2012 http://www.leuphana.de/matheomnibus
Mit Graphen schafft man sichein
Modell der Wirklichkeit,
das einen bestimmten Zusammenhang deutlich macht und andere Aspekte der Wirklichkeit ausblendet.
Die geometrische Lage und Form spielt bei Graphen
eigentlich gar keine Rolle.
Bei Streckenplänen wird allerdings ganz grob die gegenseitige Lage wiedergegeben.
![Page 13: 1 Graphentheorie Prof. Dr. Dörte Haftendorn, Leuphana Universität Lüneburg, 2012 Gibt es in Königsberg einen Spaziergang,](https://reader035.vdocuments.pub/reader035/viewer/2022062312/55204d6649795902118bba54/html5/thumbnails/13.jpg)
13
Routenplaner und Graphen
Prof. Dr. Dörte Haftendorn, Leuphana Universität Lüneburg, 2012 http://www.leuphana.de/matheomnibus
Die Routenplanerarbeiten mit
bewertetenGraphen
![Page 14: 1 Graphentheorie Prof. Dr. Dörte Haftendorn, Leuphana Universität Lüneburg, 2012 Gibt es in Königsberg einen Spaziergang,](https://reader035.vdocuments.pub/reader035/viewer/2022062312/55204d6649795902118bba54/html5/thumbnails/14.jpg)
14
Routenplaner und Graphen
Prof. Dr. Dörte Haftendorn, Leuphana Universität Lüneburg, 2012 http://www.leuphana.de/matheomnibus
Die Routenplanerarbeiten mit bewertetenGraphenDie Bewertung kann Entfernung,Zeit, Kosten ....bedeuten.
Erstmal leichtereProbleme:
![Page 15: 1 Graphentheorie Prof. Dr. Dörte Haftendorn, Leuphana Universität Lüneburg, 2012 Gibt es in Königsberg einen Spaziergang,](https://reader035.vdocuments.pub/reader035/viewer/2022062312/55204d6649795902118bba54/html5/thumbnails/15.jpg)
15
Stadtplanung und Graphen
Prof. Dr. Dörte Haftendorn, Leuphana Universität Lüneburg, 2012 http://www.leuphana.de/matheomnibus
die Bewertung Baukostenbedeuten.
Für das Stadt-bauamt kann
![Page 16: 1 Graphentheorie Prof. Dr. Dörte Haftendorn, Leuphana Universität Lüneburg, 2012 Gibt es in Königsberg einen Spaziergang,](https://reader035.vdocuments.pub/reader035/viewer/2022062312/55204d6649795902118bba54/html5/thumbnails/16.jpg)
16
Optimierung und Graphen
Prof. Dr. Dörte Haftendorn, Leuphana Universität Lüneburg, 2012 http://www.leuphana.de/matheomnibus
Bewertung BaukostenRadwegbelag möglichst billig so erneuern, dass jede Kreuzung auf neuem Belag erreichbar ist.
Greedy-AlgorithmusProtokoll
greedy=gierig
![Page 17: 1 Graphentheorie Prof. Dr. Dörte Haftendorn, Leuphana Universität Lüneburg, 2012 Gibt es in Königsberg einen Spaziergang,](https://reader035.vdocuments.pub/reader035/viewer/2022062312/55204d6649795902118bba54/html5/thumbnails/17.jpg)
17
Optimierung und Graphen
Prof. Dr. Dörte Haftendorn, Leuphana Universität Lüneburg, 2012 http://www.leuphana.de/matheomnibus
Bewertung Baukosten
Eine Kante davon
wählen.
Nicht nehmen,
sonst wirdes ein Kreis. Radwegbelag
möglichst billig so erneuern, dass jede Kreuzung auf neuem Belag erreichbar ist.
Greedy-AlgorithmusProtokoll
![Page 18: 1 Graphentheorie Prof. Dr. Dörte Haftendorn, Leuphana Universität Lüneburg, 2012 Gibt es in Königsberg einen Spaziergang,](https://reader035.vdocuments.pub/reader035/viewer/2022062312/55204d6649795902118bba54/html5/thumbnails/18.jpg)
18
Optimierung und Graphen
Prof. Dr. Dörte Haftendorn, Leuphana Universität Lüneburg, 2012 http://www.leuphana.de/matheomnibus
Bewertung BaukostenRadwegbelag möglichst billig so erneuern, dass jede Kreuzung auf neuem Belag erreichbar ist.
Protokoll
Greedy-AlgorithmusEntstanden
ist ein „minimaler
Spannbaum“
![Page 19: 1 Graphentheorie Prof. Dr. Dörte Haftendorn, Leuphana Universität Lüneburg, 2012 Gibt es in Königsberg einen Spaziergang,](https://reader035.vdocuments.pub/reader035/viewer/2022062312/55204d6649795902118bba54/html5/thumbnails/19.jpg)
19
Optimierung und Graphen
Prof. Dr. Dörte Haftendorn, Leuphana Universität Lüneburg, 2012 http://www.leuphana.de/matheomnibus
Bewertung Baukosten
Ein Baum ist ein zusammenhängender Graph ohne Kreise.
Radwegbelag möglichst billig so erneuern, dass jede Kreuzung auf neuem Belag erreichbar ist.
Entstanden ist ein
„minimaler Spannbaum“
![Page 20: 1 Graphentheorie Prof. Dr. Dörte Haftendorn, Leuphana Universität Lüneburg, 2012 Gibt es in Königsberg einen Spaziergang,](https://reader035.vdocuments.pub/reader035/viewer/2022062312/55204d6649795902118bba54/html5/thumbnails/20.jpg)
20
Optimierung und Graphen
Prof. Dr. Dörte Haftendorn, Leuphana Universität Lüneburg, 2012 http://www.leuphana.de/matheomnibus
Bewertung Baukosten
Leitungsnetz verlegen, so dass jeder Knoten erreicht wird. Minimiere die Baukosten.
Greedy-Algorithmus
Übrigens: gibt es hier einen Eulerschen Weg?
Markiere solange die billigstenKanten, solange kein Kreisentsteht. Mache dann mit einer nächst teureren Kante weiter, bis ein Spannbaum entsteht.
ProtokollSelber machen
![Page 21: 1 Graphentheorie Prof. Dr. Dörte Haftendorn, Leuphana Universität Lüneburg, 2012 Gibt es in Königsberg einen Spaziergang,](https://reader035.vdocuments.pub/reader035/viewer/2022062312/55204d6649795902118bba54/html5/thumbnails/21.jpg)
21
Optimierung und Graphen
Prof. Dr. Dörte Haftendorn, Leuphana Universität Lüneburg, 2012 http://www.leuphana.de/matheomnibus
Bewertung Baukosten
Leitungsnetz verlegen, so dass jeder Knoten erreicht wird. Minimiere die Baukosten.
Greedy-Algorithmus
Eulerschen Weg? Ja, denn genau zwei Ecken haben ungeraden Grad.
Markiere solange die billigstenKanten, solange kein Kreisentsteht. Mache dann mit einer nächst teuren Kante weiter, bis ein Spannbaum entsteht.
Protokoll
![Page 22: 1 Graphentheorie Prof. Dr. Dörte Haftendorn, Leuphana Universität Lüneburg, 2012 Gibt es in Königsberg einen Spaziergang,](https://reader035.vdocuments.pub/reader035/viewer/2022062312/55204d6649795902118bba54/html5/thumbnails/22.jpg)
22
Optimierung und Graphen
Prof. Dr. Dörte Haftendorn, Leuphana Universität Lüneburg, 2012 http://www.leuphana.de/matheomnibus
Bewertung Baukosten
Leitungsnetz verlegen, so dass jeder Knoten erreicht wird. Minimiere die Baukosten.
Greedy-Algorithmus
Eulerschen Weg? Ja, denn genau zwei Ecken haben ungeraden Grad.
Markiere solange die billigstenKanten, solange kein Kreisentsteht. Mache dann mit einer nächst teuren Kante weiter, bis ein Spannbaum entsteht.
Protokoll
![Page 23: 1 Graphentheorie Prof. Dr. Dörte Haftendorn, Leuphana Universität Lüneburg, 2012 Gibt es in Königsberg einen Spaziergang,](https://reader035.vdocuments.pub/reader035/viewer/2022062312/55204d6649795902118bba54/html5/thumbnails/23.jpg)
23
Graphen-Theorie
Prof. Dr. Dörte Haftendorn, Leuphana Universität Lüneburg, 2012 http://www.leuphana.de/matheomnibus
ist eins der spannendstenund dynamischsten mathematischen Themen zur Zeit.
Zwei Mathematikergreifen die Idee von „Sofies Welt“ auf…….
http://www-m9.ma.tum.de/Ruth/WebHome
![Page 24: 1 Graphentheorie Prof. Dr. Dörte Haftendorn, Leuphana Universität Lüneburg, 2012 Gibt es in Königsberg einen Spaziergang,](https://reader035.vdocuments.pub/reader035/viewer/2022062312/55204d6649795902118bba54/html5/thumbnails/24.jpg)
24
Kürzeste-Wege-Bäume
Prof. Dr. Dörte Haftendorn, Leuphana Universität Lüneburg, 2012 http://www.leuphana.de/matheomnibus
Das ist das Routenplaner-Problem.
Dijkstra-Algorithmus.Wir suchen die kürzesten Wege von A aus zu allen anderen Ecken
Fertige Ecken: A
Unfertige Ecken:
Unbetretene Ecken Ecken: B C D E F G H I
Der „Wert“ einer Ecke ist seine Entfernung von A.
Aktive Ecke: A
Niederländischer Mathematiker Edsger Dijkstra, 1960
Sprich ij wie ei
Lassen Sie sich im Folgenden lediglich auf den Grundgedanken ein.
Es ist schwieriger zu lösen.
![Page 25: 1 Graphentheorie Prof. Dr. Dörte Haftendorn, Leuphana Universität Lüneburg, 2012 Gibt es in Königsberg einen Spaziergang,](https://reader035.vdocuments.pub/reader035/viewer/2022062312/55204d6649795902118bba54/html5/thumbnails/25.jpg)
25
Kürzeste-Wege-Bäume
Prof. Dr. Dörte Haftendorn, Leuphana Universität Lüneburg, 2012 http://www.leuphana.de/matheomnibus
Das ist das Routenplaner-Problem.
Dijkstra-Algorithmus.Wir suchen die kürzesten Wege von A aus zu allen anderen Ecken
Fertige Ecken: A
Unfertige Ecken:
Unbetretene Ecken Ecken: B C D E F G H I
Der „Wert“ einer Ecke ist seine Entfernung von A.
Aktive Ecke: A
Niederländischer Mathematiker Edsger Dijkstra, 1960
Sprich ij wie ei
Lassen Sie sich im Folgenden lediglich auf den Grundgedanken ein.
Es ist schwieriger zu lösen.
![Page 26: 1 Graphentheorie Prof. Dr. Dörte Haftendorn, Leuphana Universität Lüneburg, 2012 Gibt es in Königsberg einen Spaziergang,](https://reader035.vdocuments.pub/reader035/viewer/2022062312/55204d6649795902118bba54/html5/thumbnails/26.jpg)
26
Kürzeste-Wege-Bäume
Prof. Dr. Dörte Haftendorn, Leuphana Universität Lüneburg, 2012 http://www.leuphana.de/matheomnibus
Das ist das Routenplaner-Problem.
Dijkstra-Algorithmus.Wir notieren an jeder Ecke Wert und Vorgänger.
Fertige Ecken: A
Unfertige Ecken: B1A, E9A, D2A,
Unbetretene Ecken Ecken: C F G H I
Der „Wert“ einer Ecke ist seine Entfernung von A.
Aktive Ecke wird: B
Eine Ecke mit minimalem Wert wird neue aktive Ecke.
![Page 27: 1 Graphentheorie Prof. Dr. Dörte Haftendorn, Leuphana Universität Lüneburg, 2012 Gibt es in Königsberg einen Spaziergang,](https://reader035.vdocuments.pub/reader035/viewer/2022062312/55204d6649795902118bba54/html5/thumbnails/27.jpg)
27
Kürzeste-Wege-Bäume
Prof. Dr. Dörte Haftendorn, Leuphana Universität Lüneburg, 2012 http://www.leuphana.de/matheomnibus
Das ist das Routenplaner-Problem.
Dijkstra-Algorithmus.Wir notieren an jeder Ecke Wert und Vorgänger.
Fertige Ecken: A, B1A,
Unfertige Ecken: E9A, E8B, D2A, C7B,
Unbetretene Ecken Ecken: F G H I
Der „Wert“ einer Ecke ist seine Entfernung von A.
Aktive Ecke wird: D
Eine Ecke mit minimalem Wert wird neue aktive Ecke.
Die aktive Ecke ist fertig.
![Page 28: 1 Graphentheorie Prof. Dr. Dörte Haftendorn, Leuphana Universität Lüneburg, 2012 Gibt es in Königsberg einen Spaziergang,](https://reader035.vdocuments.pub/reader035/viewer/2022062312/55204d6649795902118bba54/html5/thumbnails/28.jpg)
28
Kürzeste-Wege-Bäume
Prof. Dr. Dörte Haftendorn, Leuphana Universität Lüneburg, 2012 http://www.leuphana.de/matheomnibus
Das ist das Routenplaner-Problem.
Dijkstra-Algorithmus.Wir notieren an jeder Ecke Wert und Vorgänger.
Fertige Ecken: A0, B1A, D2A,
Unfertige Ecken: E9A, E8B, C7B, E7D, H5D,
Unbetretene Ecken Ecken: F G I
Der „Wert“ einer Ecke ist seine Entfernung von A.
Aktive Ecke wird: H
Eine Ecke mit minimalem Wert wird neue aktive Ecke.
Die aktive Ecke ist fertig.
![Page 29: 1 Graphentheorie Prof. Dr. Dörte Haftendorn, Leuphana Universität Lüneburg, 2012 Gibt es in Königsberg einen Spaziergang,](https://reader035.vdocuments.pub/reader035/viewer/2022062312/55204d6649795902118bba54/html5/thumbnails/29.jpg)
29
Kürzeste-Wege-Bäume
Prof. Dr. Dörte Haftendorn, Leuphana Universität Lüneburg, 2012 http://www.leuphana.de/matheomnibus
Das ist das Routenplaner-Problem.
Dijkstra-Algorithmus.Wir notieren an jeder Ecke Wert und Vorgänger.
Fertige Ecken: A0, B1A, D2A, H5D
Unfertige Ecken: E9A, E8B, C7B, E7D, E6H, I9H
Unbetretene Ecken Ecken: F G
Der „Wert“ einer Ecke ist seine Entfernung von A.
Aktive Ecke wird: E
Eine Ecke mit minimalem Wert wird neue aktive Ecke.
Die aktive Ecke ist fertig.
![Page 30: 1 Graphentheorie Prof. Dr. Dörte Haftendorn, Leuphana Universität Lüneburg, 2012 Gibt es in Königsberg einen Spaziergang,](https://reader035.vdocuments.pub/reader035/viewer/2022062312/55204d6649795902118bba54/html5/thumbnails/30.jpg)
30
Kürzeste-Wege-Bäume
Prof. Dr. Dörte Haftendorn, Leuphana Universität Lüneburg, 2012 http://www.leuphana.de/matheomnibus
Das ist das Routenplaner-Problem.
Dijkstra-Algorithmus.Wir notieren an jeder Ecke Wert und Vorgänger.
Fertige Ecken: A0, B1A, D2A, H5D, E6H
Unfertige Ecken: C7B, I9H, I8E, F11E
Unbetretene Ecken Ecken: G
Der „Wert“ einer Ecke ist seine Entfernung von A.
Aktive Ecke wird: C
Eine Ecke mit minimalem Wert wird neue aktive Ecke.
Die aktive Ecke ist fertig.
![Page 31: 1 Graphentheorie Prof. Dr. Dörte Haftendorn, Leuphana Universität Lüneburg, 2012 Gibt es in Königsberg einen Spaziergang,](https://reader035.vdocuments.pub/reader035/viewer/2022062312/55204d6649795902118bba54/html5/thumbnails/31.jpg)
31
Kürzeste-Wege-Bäume
Prof. Dr. Dörte Haftendorn, Leuphana Universität Lüneburg, 2012 http://www.leuphana.de/matheomnibus
Das ist das Routenplaner-Problem.
Dijkstra-Algorithmus.Wir notieren an jeder Ecke Wert und Vorgänger.
Fertige Ecken: A0, B1A, D2A, H5D, E6H, C7B
Unfertige Ecken: I9H, I8E, F11E, F9C, G13 C,
Unbetretene Ecken Ecken:
Der „Wert“ einer Ecke ist seine Entfernung von A.
Aktive Ecke wird: I
Eine Ecke mit minimalem Wert wird neue aktive
Ecke.
Die aktive Ecke ist fertig.
![Page 32: 1 Graphentheorie Prof. Dr. Dörte Haftendorn, Leuphana Universität Lüneburg, 2012 Gibt es in Königsberg einen Spaziergang,](https://reader035.vdocuments.pub/reader035/viewer/2022062312/55204d6649795902118bba54/html5/thumbnails/32.jpg)
32
Kürzeste-Wege-Bäume
Prof. Dr. Dörte Haftendorn, Leuphana Universität Lüneburg, 2012 http://www.leuphana.de/matheomnibus
Das ist das Routenplaner-Problem.
Dijkstra-Algorithmus.Wir notieren an jeder Ecke Wert und Vorgänger.
Fertige Ecken: A0, B1A, D2A, H5D, E6H, C7B, I8E
Unfertige Ecken: F11E, F9C, G13 C, G12I,
Unbetretene Ecken Ecken:
Der „Wert“ einer Ecke ist seine Entfernung von A.
Aktive Ecke wird: F
Eine Ecke mit minimalem Wert wird neue aktive
Ecke.
Die aktive Ecke ist fertig.
![Page 33: 1 Graphentheorie Prof. Dr. Dörte Haftendorn, Leuphana Universität Lüneburg, 2012 Gibt es in Königsberg einen Spaziergang,](https://reader035.vdocuments.pub/reader035/viewer/2022062312/55204d6649795902118bba54/html5/thumbnails/33.jpg)
33
Kürzeste-Wege-Bäume
Prof. Dr. Dörte Haftendorn, Leuphana Universität Lüneburg, 2012 http://www.leuphana.de/matheomnibus
Das ist das Routenplaner-Problem.
Dijkstra-Algorithmus.Mit Wert und Vorgänger für jede Ecke haben wir den gesuchten Baum.
Fertige Ecken: A0, B1A, D2A, H5D, E6H, C7B, I8E, F9C, G10F
Unfertige Ecken: G13 C, G12I, G10F
Unbetretene Ecken Ecken:
Der „Wert“ einer Ecke ist seine Entfernung von A.
Aktive Ecke wird: G
Die aktive Ecke ist fertig.
Die letzte aktive Ecke ist fertig.
![Page 34: 1 Graphentheorie Prof. Dr. Dörte Haftendorn, Leuphana Universität Lüneburg, 2012 Gibt es in Königsberg einen Spaziergang,](https://reader035.vdocuments.pub/reader035/viewer/2022062312/55204d6649795902118bba54/html5/thumbnails/34.jpg)
34
Kürzeste-Wege-Bäume
Prof. Dr. Dörte Haftendorn, Leuphana Universität Lüneburg, 2012 http://www.leuphana.de/matheomnibus
Das ist das Routenplaner-Problem.
Dijkstra-Algorithmus.
Fertige Ecken: A0, B1A, D2A, H5D, E6H, C7B, I8E, F9C, G10F
Der „Wert“ einer Ecke ist seine Entfernung von A.
Das ist nun ein kürzeste-Wege-Baum.
Mit Wert und Vorgänger für jede Ecke haben wir den gesuchten Baum.
http://www-m9.ma.tum.de/Allgemeines/DijkstraApplet
![Page 35: 1 Graphentheorie Prof. Dr. Dörte Haftendorn, Leuphana Universität Lüneburg, 2012 Gibt es in Königsberg einen Spaziergang,](https://reader035.vdocuments.pub/reader035/viewer/2022062312/55204d6649795902118bba54/html5/thumbnails/35.jpg)
35
Kürzeste-Wege-Bäume
Prof. Dr. Dörte Haftendorn, Leuphana Universität Lüneburg, 2012 http://www.leuphana.de/matheomnibus
Das ist das Routenplaner-Problem. Es wird gelöst vom Dijkstra-Algorithmus.
http://www-m9.ma.tum.de/Allgemeines/DijkstraApplet
InteraktiveVersion an der TU München
Dies ist Aufgabenblatt 6 bei der TUM
![Page 36: 1 Graphentheorie Prof. Dr. Dörte Haftendorn, Leuphana Universität Lüneburg, 2012 Gibt es in Königsberg einen Spaziergang,](https://reader035.vdocuments.pub/reader035/viewer/2022062312/55204d6649795902118bba54/html5/thumbnails/36.jpg)
36
Logistik
Prof. Dr. Dörte Haftendorn, Leuphana Universität Lüneburg, 2012 http://www.leuphana.de/matheomnibus
1.Modellierung des Problems mit Graphen2.Bewertung des Graphen mit
1.Fahrzeiten oder2.Fahrkosten3.Streckenlänge….
Lösung des Kürzeste-Wege-Problems
![Page 37: 1 Graphentheorie Prof. Dr. Dörte Haftendorn, Leuphana Universität Lüneburg, 2012 Gibt es in Königsberg einen Spaziergang,](https://reader035.vdocuments.pub/reader035/viewer/2022062312/55204d6649795902118bba54/html5/thumbnails/37.jpg)
37
Landkarten färben
Prof. Dr. Dörte Haftendorn, Leuphana Universität Lüneburg, 2012 http://www.leuphana.de/matheomnibus
Wie viele Farben brauchtman, wenn benachbarte Länder verschieden gefärbt sein sollen?
Modellierung desProblems mit Graphen:
![Page 38: 1 Graphentheorie Prof. Dr. Dörte Haftendorn, Leuphana Universität Lüneburg, 2012 Gibt es in Königsberg einen Spaziergang,](https://reader035.vdocuments.pub/reader035/viewer/2022062312/55204d6649795902118bba54/html5/thumbnails/38.jpg)
38
Landkarten färben mit Graphentheorie
Prof. Dr. Dörte Haftendorn, Leuphana Universität Lüneburg, 2012 http://www.leuphana.de/matheomnibus
Wie viele Farben brauchtman, wenn benachbarte Hauptstädteverschieden gefärbt sein sollen?
![Page 39: 1 Graphentheorie Prof. Dr. Dörte Haftendorn, Leuphana Universität Lüneburg, 2012 Gibt es in Königsberg einen Spaziergang,](https://reader035.vdocuments.pub/reader035/viewer/2022062312/55204d6649795902118bba54/html5/thumbnails/39.jpg)
39
Landkarten färben mit Graphentheorie
Prof. Dr. Dörte Haftendorn, Leuphana Universität Lüneburg, 2012 http://www.leuphana.de/matheomnibus
Wie viele Farben brauchtman, wenn benachbarte Hauptstädteverschieden gefärbt sein sollen?
Vier-Farben-SatzEs reichen immer vier Farben
Erst 1976 mit Computereinsatzbewiesen (Appel, Haken)
![Page 40: 1 Graphentheorie Prof. Dr. Dörte Haftendorn, Leuphana Universität Lüneburg, 2012 Gibt es in Königsberg einen Spaziergang,](https://reader035.vdocuments.pub/reader035/viewer/2022062312/55204d6649795902118bba54/html5/thumbnails/40.jpg)
40
Eckenfärbung von Graphen
Prof. Dr. Dörte Haftendorn, Leuphana Universität Lüneburg, 2012 http://www.leuphana.de/matheomnibus
Die Ecken sollen so gefärbt werden, dassbenachbarte Ecken verschiedene Farbenhaben
Achtung: Der 4-Farbensatz gilt nur für Graphen ohne Kantenkreuzungen.
![Page 41: 1 Graphentheorie Prof. Dr. Dörte Haftendorn, Leuphana Universität Lüneburg, 2012 Gibt es in Königsberg einen Spaziergang,](https://reader035.vdocuments.pub/reader035/viewer/2022062312/55204d6649795902118bba54/html5/thumbnails/41.jpg)
41
Eckenfärbung von Graphen
Prof. Dr. Dörte Haftendorn, Leuphana Universität Lüneburg, 2012 http://www.leuphana.de/matheomnibus
Die Ecken sollen so gefärbt werden, dassbenachbarte Ecken verschiedene Farbenhaben
Achtung: Der 4-Farbensatz gilt nur für Graphen ohne Kantenkreuzungen.
![Page 42: 1 Graphentheorie Prof. Dr. Dörte Haftendorn, Leuphana Universität Lüneburg, 2012 Gibt es in Königsberg einen Spaziergang,](https://reader035.vdocuments.pub/reader035/viewer/2022062312/55204d6649795902118bba54/html5/thumbnails/42.jpg)
42
Eckenfärbung von Graphen
Prof. Dr. Dörte Haftendorn, Leuphana Universität Lüneburg, 2012 http://www.leuphana.de/matheomnibus
Die Ecken sollen so gefärbt werden, dassbenachbarte Ecken verschiedene Farbenhaben
Achtung: Der 4-Farbensatz gilt nur für Graphen ohne Kantenkreuzungen.
![Page 43: 1 Graphentheorie Prof. Dr. Dörte Haftendorn, Leuphana Universität Lüneburg, 2012 Gibt es in Königsberg einen Spaziergang,](https://reader035.vdocuments.pub/reader035/viewer/2022062312/55204d6649795902118bba54/html5/thumbnails/43.jpg)
43
Mobilfunk-Konfliktgraphen
Prof. Dr. Dörte Haftendorn, Leuphana Universität Lüneburg, 2012 http://www.leuphana.de/matheomnibus
Überlappende Handybereiche brauchen verschiedene Sendefrequenzen. Eine Eckenfärbung des Konflikt-graphen zeigt, wie man Frequenzen zuordnen kann.
![Page 44: 1 Graphentheorie Prof. Dr. Dörte Haftendorn, Leuphana Universität Lüneburg, 2012 Gibt es in Königsberg einen Spaziergang,](https://reader035.vdocuments.pub/reader035/viewer/2022062312/55204d6649795902118bba54/html5/thumbnails/44.jpg)
44
Mobilfunk-Konfliktgraphen
Prof. Dr. Dörte Haftendorn, Leuphana Universität Lüneburg, 2012 http://www.leuphana.de/matheomnibus
Überlappende Handybereiche brauchen verschiedene Sendefrequenzen. Eine Eckenfärbung des Konflikt-graphen zeigt, wie man Frequenzen zuordnen kann.
![Page 45: 1 Graphentheorie Prof. Dr. Dörte Haftendorn, Leuphana Universität Lüneburg, 2012 Gibt es in Königsberg einen Spaziergang,](https://reader035.vdocuments.pub/reader035/viewer/2022062312/55204d6649795902118bba54/html5/thumbnails/45.jpg)
45
Konflikt-Graphen
Prof. Dr. Dörte Haftendorn, Leuphana Universität Lüneburg, 2012 http://www.leuphana.de/matheomnibus
Die Verkehrsströme werden Ecken.Wenn zwei in Konflikt geraten, werden sie durch eine Kante verbunden.
![Page 46: 1 Graphentheorie Prof. Dr. Dörte Haftendorn, Leuphana Universität Lüneburg, 2012 Gibt es in Königsberg einen Spaziergang,](https://reader035.vdocuments.pub/reader035/viewer/2022062312/55204d6649795902118bba54/html5/thumbnails/46.jpg)
46
Konflikt-Graphen
Prof. Dr. Dörte Haftendorn, Leuphana Universität Lüneburg, 2012 http://www.leuphana.de/matheomnibus
Die Verkehrsströme werden Ecken.Wenn zwei in Konflikt geraten, werden sie durch eine Kante verbunden.
![Page 47: 1 Graphentheorie Prof. Dr. Dörte Haftendorn, Leuphana Universität Lüneburg, 2012 Gibt es in Königsberg einen Spaziergang,](https://reader035.vdocuments.pub/reader035/viewer/2022062312/55204d6649795902118bba54/html5/thumbnails/47.jpg)
47
Konflikt-Graphen
Prof. Dr. Dörte Haftendorn, Leuphana Universität Lüneburg, 2012 http://www.leuphana.de/matheomnibus
Die Verkehrsströme werden Ecken. Wenn zwei in Konflikt geraten,werden sie durch eine Kante verbunden.Eine zulässige Eckenfärbung des Graphen zeigt: Verkehrsströme mit der gleichen Farbe dürfen gleichzeitig „Grün“ an ihrer Ampel haben.
Adjazenzmatrix dazu
Mehr dazu im Buch Nitzsche: Graphentheorie, tw.moodle Kap 11
![Page 48: 1 Graphentheorie Prof. Dr. Dörte Haftendorn, Leuphana Universität Lüneburg, 2012 Gibt es in Königsberg einen Spaziergang,](https://reader035.vdocuments.pub/reader035/viewer/2022062312/55204d6649795902118bba54/html5/thumbnails/48.jpg)
48
Konflikt-Graphen
Prof. Dr. Dörte Haftendorn, Leuphana Universität Lüneburg, 2012 http://www.leuphana.de/matheomnibus
Die Verkehrsströme werden Ecken. Wenn zwei in Konflikt geraten,werden sie durch eine Kante verbunden.Eine zulässige Eckenfärbung des Graphen zeigt: Verkehrsströme mit der gleichen Farbe dürfen gleichzeitig „Grün“ an ihrer Ampel haben.
Adjazenzmatrix dazu
Mehr dazu im Buch Nitzsche: Graphentheorie, tw.moodle Kap 11
![Page 49: 1 Graphentheorie Prof. Dr. Dörte Haftendorn, Leuphana Universität Lüneburg, 2012 Gibt es in Königsberg einen Spaziergang,](https://reader035.vdocuments.pub/reader035/viewer/2022062312/55204d6649795902118bba54/html5/thumbnails/49.jpg)
49
Graphentheorie in Büchern
Prof. Dr. Dörte Haftendorn, Leuphana Universität Lüneburg, 2012 http://www.leuphana.de/matheomnibus
Kombinatorische Optimierung erleben: Im Studium und Unterricht Stephan Hußmann (Autor), Brigitte Lutz-Westphal (Autor)
Manfred Nitzsche
![Page 50: 1 Graphentheorie Prof. Dr. Dörte Haftendorn, Leuphana Universität Lüneburg, 2012 Gibt es in Königsberg einen Spaziergang,](https://reader035.vdocuments.pub/reader035/viewer/2022062312/55204d6649795902118bba54/html5/thumbnails/50.jpg)
50
Fuzzy-Logik
Prof. Dr. Dörte Haftendorn, Leuphana Universität Lüneburg, 2012 http://www.leuphana.de/matheomnibus
„weiche Logik“
www.mathematik-verstehen.de Bereich Algebra, Logik
![Page 51: 1 Graphentheorie Prof. Dr. Dörte Haftendorn, Leuphana Universität Lüneburg, 2012 Gibt es in Königsberg einen Spaziergang,](https://reader035.vdocuments.pub/reader035/viewer/2022062312/55204d6649795902118bba54/html5/thumbnails/51.jpg)
51
Knotentheorie
Prof. Dr. Dörte Haftendorn, Leuphana Universität Lüneburg, 2012 http://www.leuphana.de/matheomnibus
www.mathematik-verstehen.de Bereich Knotentheorie, moodle Kap. 11
Zöpfe
![Page 52: 1 Graphentheorie Prof. Dr. Dörte Haftendorn, Leuphana Universität Lüneburg, 2012 Gibt es in Königsberg einen Spaziergang,](https://reader035.vdocuments.pub/reader035/viewer/2022062312/55204d6649795902118bba54/html5/thumbnails/52.jpg)
52
Fraktale, Chaostheorie
Prof. Dr. Dörte Haftendorn, Leuphana Universität Lüneburg, 2012 http://www.leuphana.de/matheomnibus
www.mathematik-verstehen.de Bereich Fraktale
![Page 53: 1 Graphentheorie Prof. Dr. Dörte Haftendorn, Leuphana Universität Lüneburg, 2012 Gibt es in Königsberg einen Spaziergang,](https://reader035.vdocuments.pub/reader035/viewer/2022062312/55204d6649795902118bba54/html5/thumbnails/53.jpg)
53
Fraktale, Chaostheorie
Prof. Dr. Dörte Haftendorn, Leuphana Universität Lüneburg, 2012 http://www.leuphana.de/matheomnibus
www.mathematik-verstehen.de Bereich Fraktale
![Page 54: 1 Graphentheorie Prof. Dr. Dörte Haftendorn, Leuphana Universität Lüneburg, 2012 Gibt es in Königsberg einen Spaziergang,](https://reader035.vdocuments.pub/reader035/viewer/2022062312/55204d6649795902118bba54/html5/thumbnails/54.jpg)
54
Fraktale, Chaostheorie
Prof. Dr. Dörte Haftendorn, Leuphana Universität Lüneburg, 2012 http://www.leuphana.de/matheomnibus
www.mathematik-verstehen.de Bereich Fraktale, moodle Kap.10