1 graphentheorie prof. dr. dörte haftendorn, leuphana universität lüneburg, 2015 gibt es in...

54
1 Graphentheorie Prof. Dr. Dörte Haftendorn, Leuphana Universität Lüneburg, 2015 http://www.leuphana.de/matheomnibus Gibt es in Königsberg einen Spaziergang, bei dem man jede der sieben Pregelbrücken genau einmal überquert?

Upload: horst-boehmer

Post on 06-Apr-2016

225 views

Category:

Documents


2 download

TRANSCRIPT

Page 1: 1 Graphentheorie Prof. Dr. Dörte Haftendorn, Leuphana Universität Lüneburg, 2015  Gibt es in Königsberg einen Spaziergang,

1

Graphentheorie

Prof. Dr. Dörte Haftendorn, Leuphana Universität Lüneburg, 2015 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, 2015  Gibt es in Königsberg einen Spaziergang,

2

Königsberger Brückenproblem

Prof. Dr. Dörte Haftendorn, Leuphana Universität Lüneburg, 2015 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, 2015  Gibt es in Königsberg einen Spaziergang,

3

Was ist ein Graph?

Prof. Dr. Dörte Haftendorn, Leuphana Universität Lüneburg, 2015 http://www.leuphana.de/matheomnibus

Im Jahre 1736 Leonhard Euler löste das Problem allgemeinund 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, 2015  Gibt es in Königsberg einen Spaziergang,

4

Gundbegriffe

Prof. Dr. Dörte Haftendorn, Leuphana Universität Lüneburg, 2015 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, 2015  Gibt es in Königsberg einen Spaziergang,

5

Eulersche Begriffe

Prof. Dr. Dörte Haftendorn, Leuphana Universität Lüneburg, 2015 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, 2015  Gibt es in Königsberg einen Spaziergang,

6

Eulersche Begriffe

Prof. Dr. Dörte Haftendorn, Leuphana Universität Lüneburg, 2015 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.

In welchen Graphengibt es einenEulerschen Kreis?

Page 7: 1 Graphentheorie Prof. Dr. Dörte Haftendorn, Leuphana Universität Lüneburg, 2015  Gibt es in Königsberg einen Spaziergang,

7

Eulers Lösung:

Prof. Dr. Dörte Haftendorn, Leuphana Universität Lüneburg, 2015 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.

Beweis: ???

Page 8: 1 Graphentheorie Prof. Dr. Dörte Haftendorn, Leuphana Universität Lüneburg, 2015  Gibt es in Königsberg einen Spaziergang,

8

Eulers Lösung:

Prof. Dr. Dörte Haftendorn, Leuphana Universität Lüneburg, 2015 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.

Page 9: 1 Graphentheorie Prof. Dr. Dörte Haftendorn, Leuphana Universität Lüneburg, 2015  Gibt es in Königsberg einen Spaziergang,

9

Eulers Lösung:

Prof. Dr. Dörte Haftendorn, Leuphana Universität Lüneburg, 2015 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 10: 1 Graphentheorie Prof. Dr. Dörte Haftendorn, Leuphana Universität Lüneburg, 2015  Gibt es in Königsberg einen Spaziergang,

10

Das Haus des Nikolaus

Prof. Dr. Dörte Haftendorn, Leuphana Universität Lüneburg, 2015 http://www.leuphana.de/matheomnibus

In einem Eulerschen Weg kommt jede Kante genau einmal vor.

Page 11: 1 Graphentheorie Prof. Dr. Dörte Haftendorn, Leuphana Universität Lüneburg, 2015  Gibt es in Königsberg einen Spaziergang,

11

Das Haus des Nikolaus

Prof. Dr. Dörte Haftendorn, Leuphana Universität Lüneburg, 2015 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 12: 1 Graphentheorie Prof. Dr. Dörte Haftendorn, Leuphana Universität Lüneburg, 2015  Gibt es in Königsberg einen Spaziergang,

12

Graphen in unserer Welt

Prof. Dr. Dörte Haftendorn, Leuphana Universität Lüneburg, 2015 http://www.leuphana.de/matheomnibus

Page 13: 1 Graphentheorie Prof. Dr. Dörte Haftendorn, Leuphana Universität Lüneburg, 2015  Gibt es in Königsberg einen Spaziergang,

13

Graphen in unserer Welt

Prof. Dr. Dörte Haftendorn, Leuphana Universität Lüneburg, 2015 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 14: 1 Graphentheorie Prof. Dr. Dörte Haftendorn, Leuphana Universität Lüneburg, 2015  Gibt es in Königsberg einen Spaziergang,

14

Graphen in unserer Welt

Prof. Dr. Dörte Haftendorn, Leuphana Universität Lüneburg, 2015 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 15: 1 Graphentheorie Prof. Dr. Dörte Haftendorn, Leuphana Universität Lüneburg, 2015  Gibt es in Königsberg einen Spaziergang,

15

Routenplaner und Graphen

Prof. Dr. Dörte Haftendorn, Leuphana Universität Lüneburg, 2015 http://www.leuphana.de/matheomnibus

Die Routenplanerarbeiten mit

bewertetenGraphen

Page 16: 1 Graphentheorie Prof. Dr. Dörte Haftendorn, Leuphana Universität Lüneburg, 2015  Gibt es in Königsberg einen Spaziergang,

16

Routenplaner und Graphen

Prof. Dr. Dörte Haftendorn, Leuphana Universität Lüneburg, 2015 http://www.leuphana.de/matheomnibus

Die Routenplanerarbeiten mit bewertetenGraphenDie Bewertung kann Entfernung,Zeit, Kosten ....bedeuten.

Erstmal leichtereProbleme:

Page 17: 1 Graphentheorie Prof. Dr. Dörte Haftendorn, Leuphana Universität Lüneburg, 2015  Gibt es in Königsberg einen Spaziergang,

17

Stadtplanung und Graphen

Prof. Dr. Dörte Haftendorn, Leuphana Universität Lüneburg, 2015 http://www.leuphana.de/matheomnibus

die Bewertung Baukostenbedeuten.

Für das Stadt-bauamt kann

Page 18: 1 Graphentheorie Prof. Dr. Dörte Haftendorn, Leuphana Universität Lüneburg, 2015  Gibt es in Königsberg einen Spaziergang,

18

Optimierung und Graphen

Prof. Dr. Dörte Haftendorn, Leuphana Universität Lüneburg, 2015 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 19: 1 Graphentheorie Prof. Dr. Dörte Haftendorn, Leuphana Universität Lüneburg, 2015  Gibt es in Königsberg einen Spaziergang,

19

Optimierung und Graphen

Prof. Dr. Dörte Haftendorn, Leuphana Universität Lüneburg, 2015 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 20: 1 Graphentheorie Prof. Dr. Dörte Haftendorn, Leuphana Universität Lüneburg, 2015  Gibt es in Königsberg einen Spaziergang,

20

Optimierung und Graphen

Prof. Dr. Dörte Haftendorn, Leuphana Universität Lüneburg, 2015 http://www.leuphana.de/matheomnibus

Bewertung BaukostenRadwegbelag möglichst billig so erneuern, dass jede Kreuzung auf neuem Belag erreichbar ist.

ProtokollGreedy-Algorithmus

Entstanden ist ein

„minimaler Spannbaum“

Page 21: 1 Graphentheorie Prof. Dr. Dörte Haftendorn, Leuphana Universität Lüneburg, 2015  Gibt es in Königsberg einen Spaziergang,

21

Optimierung und Graphen

Prof. Dr. Dörte Haftendorn, Leuphana Universität Lüneburg, 2015 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 22: 1 Graphentheorie Prof. Dr. Dörte Haftendorn, Leuphana Universität Lüneburg, 2015  Gibt es in Königsberg einen Spaziergang,

22

Optimierung und Graphen

Prof. Dr. Dörte Haftendorn, Leuphana Universität Lüneburg, 2015 http://www.leuphana.de/matheomnibus

Bewertung BaukostenLeitungsnetz 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 23: 1 Graphentheorie Prof. Dr. Dörte Haftendorn, Leuphana Universität Lüneburg, 2015  Gibt es in Königsberg einen Spaziergang,

23

Optimierung und Graphen

Prof. Dr. Dörte Haftendorn, Leuphana Universität Lüneburg, 2015 http://www.leuphana.de/matheomnibus

Bewertung BaukostenLeitungsnetz 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 24: 1 Graphentheorie Prof. Dr. Dörte Haftendorn, Leuphana Universität Lüneburg, 2015  Gibt es in Königsberg einen Spaziergang,

24

Optimierung und Graphen

Prof. Dr. Dörte Haftendorn, Leuphana Universität Lüneburg, 2015 http://www.leuphana.de/matheomnibus

Bewertung BaukostenLeitungsnetz 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 25: 1 Graphentheorie Prof. Dr. Dörte Haftendorn, Leuphana Universität Lüneburg, 2015  Gibt es in Königsberg einen Spaziergang,

25

Graphen-Theorie

Prof. Dr. Dörte Haftendorn, Leuphana Universität Lüneburg, 2015 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 26: 1 Graphentheorie Prof. Dr. Dörte Haftendorn, Leuphana Universität Lüneburg, 2015  Gibt es in Königsberg einen Spaziergang,

26

Kürzeste-Wege-Bäume

Prof. Dr. Dörte Haftendorn, Leuphana Universität Lüneburg, 2015 http://www.leuphana.de/matheomnibus

Das ist das Routenplaner-Problem.

Dijkstra-Algorithmus.Wir suchen die kürzesten Wege von A aus zu allen anderen EckenDer „Wert“ einer Ecke ist seine Entfernung von A.

Niederländischer Mathematiker Edsger Dijkstra, 1960

Sprich ij wie ei

Erstmal so wie Sie es in der Klausur machen sollten!

Es ist schwieriger zu lösen.

An der gefordertenEcke anfangen

Zu den Nachbarecken auf billigste Art mit „Grips“

Weg anmalen, Ecken mit Ihrem Abstandswert beschriftenweiter so

Page 27: 1 Graphentheorie Prof. Dr. Dörte Haftendorn, Leuphana Universität Lüneburg, 2015  Gibt es in Königsberg einen Spaziergang,

Weg anmalen, Ecken mit Ihrem Abstandwert beschriften27

Kürzeste-Wege-Bäume

Prof. Dr. Dörte Haftendorn, Leuphana Universität Lüneburg, 2015 http://www.leuphana.de/matheomnibus

Das ist das Routenplaner-Problem.

Dijkstra-Algorithmus.Wir suchen die kürzesten Wege von A aus zu allen anderen EckenDer „Wert“ einer Ecke ist seine Entfernung von 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.

An der gefordertenEcke anfangen

Zu den Nachbarecken auf billigste Art mit „Grips“weiter so

Page 28: 1 Graphentheorie Prof. Dr. Dörte Haftendorn, Leuphana Universität Lüneburg, 2015  Gibt es in Königsberg einen Spaziergang,

28

Kürzeste-Wege-Bäume

Prof. Dr. Dörte Haftendorn, Leuphana Universität Lüneburg, 2015 http://www.leuphana.de/matheomnibus

Das ist das Routenplaner-Problem.

Dijkstra-Algorithmus.Wir notieren an jeder Ecke Wert und Vorgänger.

Fertige Ecken: AUnfertige Ecken: B1A, E9A, D2A,

Unbetretene Ecken: C F G H I

Der „Wert“ einer Ecke ist seine Entfernung von A.

Aktive Ecke wird: B1A

Eine Ecke mit minimalem Wert wird neue aktive Ecke.

Die Nachbarn der aktiven Ecke kommen zu den unfertigen Ecken.

Page 29: 1 Graphentheorie Prof. Dr. Dörte Haftendorn, Leuphana Universität Lüneburg, 2015  Gibt es in Königsberg einen Spaziergang,

29

Kürzeste-Wege-Bäume

Prof. Dr. Dörte Haftendorn, Leuphana Universität Lüneburg, 2015 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: F G H I

Der „Wert“ einer Ecke ist seine Entfernung von A.

Aktive Ecke wird: D2A

Eine Ecke mit minimalem Wert wird neue aktive Ecke.

Die aktive Ecke ist fertig.

Die Nachbarn der aktiven Ecke kommen zu den unfertigen Ecken.

Dabei werden ggf. Ecken neu bewertet.

Page 30: 1 Graphentheorie Prof. Dr. Dörte Haftendorn, Leuphana Universität Lüneburg, 2015  Gibt es in Königsberg einen Spaziergang,

30

Kürzeste-Wege-Bäume

Prof. Dr. Dörte Haftendorn, Leuphana Universität Lüneburg, 2015 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: E8B, C7B, E7D, H5D,

Unbetretene Ecken: F G I

Der „Wert“ einer Ecke ist seine Entfernung von A.

Aktive Ecke wird: H5D

Eine Ecke mit minimalem Wert wird neue aktive Ecke.

Die aktive Ecke ist fertig.

Die Nachbarn der aktiven Ecke kommen zu den unfertigen Ecken.

Dabei werden ggf. Ecken neu bewertet.

Page 31: 1 Graphentheorie Prof. Dr. Dörte Haftendorn, Leuphana Universität Lüneburg, 2015  Gibt es in Königsberg einen Spaziergang,

31

Kürzeste-Wege-Bäume

Prof. Dr. Dörte Haftendorn, Leuphana Universität Lüneburg, 2015 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: C7B, E7D, E6H, I9H

Unbetretene Ecken: F G

Der „Wert“ einer Ecke ist seine Entfernung von A.

Aktive Ecke wird: E6H, Eine Ecke mit minimalem Wert wird neue aktive Ecke.

Die aktive Ecke ist fertig.

Die Nachbarn der aktiven Ecke kommen zu den unfertigen Ecken.

Dabei werden ggf. Ecken neu bewertet.

Page 32: 1 Graphentheorie Prof. Dr. Dörte Haftendorn, Leuphana Universität Lüneburg, 2015  Gibt es in Königsberg einen Spaziergang,

32

Kürzeste-Wege-Bäume

Prof. Dr. Dörte Haftendorn, Leuphana Universität Lüneburg, 2015 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: G

Der „Wert“ einer Ecke ist seine Entfernung von A.

Aktive Ecke wird: C7BEine Ecke mit minimalem

Wert wird neue aktive Ecke.

Die aktive Ecke ist fertig.

Die Nachbarn der aktiven Ecke kommen zu den unfertigen Ecken.

Dabei werden ggf. Ecken neu bewertet.

Page 33: 1 Graphentheorie Prof. Dr. Dörte Haftendorn, Leuphana Universität Lüneburg, 2015  Gibt es in Königsberg einen Spaziergang,

33

Kürzeste-Wege-Bäume

Prof. Dr. Dörte Haftendorn, Leuphana Universität Lüneburg, 2015 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: I8E, F11E, F9C, G13 C,

Unbetretene Ecken:

Der „Wert“ einer Ecke ist seine Entfernung von A.

Aktive Ecke wird: I8EEine Ecke mit minimalem

Wert wird neue aktive Ecke.

Die aktive Ecke ist fertig.

Die Nachbarn der aktiven Ecke kommen zu den unfertigen Ecken.

ggf. Ecken neu bewertet.

Page 34: 1 Graphentheorie Prof. Dr. Dörte Haftendorn, Leuphana Universität Lüneburg, 2015  Gibt es in Königsberg einen Spaziergang,

Unfertige Ecken: F9C, G13 C, G12I,

34

Kürzeste-Wege-Bäume

Prof. Dr. Dörte Haftendorn, Leuphana Universität Lüneburg, 2015 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

Unbetretene Ecken:

Der „Wert“ einer Ecke ist seine Entfernung von A.

Aktive Ecke wird: F9C Eine Ecke mit minimalem Wert wird neue aktive Ecke.

Die aktive Ecke ist fertig.

ggf. Ecken neu bewertet.

Die Nachbarn der aktiven Ecke kommen zu den unfertigen Ecken.

Page 35: 1 Graphentheorie Prof. Dr. Dörte Haftendorn, Leuphana Universität Lüneburg, 2015  Gibt es in Königsberg einen Spaziergang,

35

Kürzeste-Wege-Bäume

Prof. Dr. Dörte Haftendorn, Leuphana Universität Lüneburg, 2015 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: G12I, G10F

Unbetretene Ecken:

Der „Wert“ einer Ecke ist seine Entfernung von A.

Aktive Ecke wird: G10F

Die aktive Ecke ist fertig.

Die letzte aktive Ecke ist fertig.

ggf. Ecken neu bewertet.

Page 36: 1 Graphentheorie Prof. Dr. Dörte Haftendorn, Leuphana Universität Lüneburg, 2015  Gibt es in Königsberg einen Spaziergang,

36

Kürzeste-Wege-Bäume

Prof. Dr. Dörte Haftendorn, Leuphana Universität Lüneburg, 2015 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 37: 1 Graphentheorie Prof. Dr. Dörte Haftendorn, Leuphana Universität Lüneburg, 2015  Gibt es in Königsberg einen Spaziergang,

37

Kürzeste-Wege-Bäume

Prof. Dr. Dörte Haftendorn, Leuphana Universität Lüneburg, 2015 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 38: 1 Graphentheorie Prof. Dr. Dörte Haftendorn, Leuphana Universität Lüneburg, 2015  Gibt es in Königsberg einen Spaziergang,

38

Logistik

Prof. Dr. Dörte Haftendorn, Leuphana Universität Lüneburg, 2015 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 39: 1 Graphentheorie Prof. Dr. Dörte Haftendorn, Leuphana Universität Lüneburg, 2015  Gibt es in Königsberg einen Spaziergang,

39

Landkarten färben

Prof. Dr. Dörte Haftendorn, Leuphana Universität Lüneburg, 2015 http://www.leuphana.de/matheomnibus

Wie viele Farben brauchtman, wenn benachbarte Länder verschieden gefärbt sein sollen?

Modellierung desProblems mit Graphen:

Page 40: 1 Graphentheorie Prof. Dr. Dörte Haftendorn, Leuphana Universität Lüneburg, 2015  Gibt es in Königsberg einen Spaziergang,

40

Landkarten färben mit Graphentheorie

Prof. Dr. Dörte Haftendorn, Leuphana Universität Lüneburg, 2015 http://www.leuphana.de/matheomnibus

Wie viele Farben brauchtman, wenn benachbarte Hauptstädteverschieden gefärbt sein sollen?

Page 41: 1 Graphentheorie Prof. Dr. Dörte Haftendorn, Leuphana Universität Lüneburg, 2015  Gibt es in Königsberg einen Spaziergang,

41

Landkarten färben mit Graphentheorie

Prof. Dr. Dörte Haftendorn, Leuphana Universität Lüneburg, 2015 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 42: 1 Graphentheorie Prof. Dr. Dörte Haftendorn, Leuphana Universität Lüneburg, 2015  Gibt es in Königsberg einen Spaziergang,

42

Eckenfärbung von Graphen

Prof. Dr. Dörte Haftendorn, Leuphana Universität Lüneburg, 2015 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.

Gibt es einen hierEulerschen Weg?

Page 43: 1 Graphentheorie Prof. Dr. Dörte Haftendorn, Leuphana Universität Lüneburg, 2015  Gibt es in Königsberg einen Spaziergang,

43

Eckenfärbung von Graphen

Prof. Dr. Dörte Haftendorn, Leuphana Universität Lüneburg, 2015 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.

Eulerschen Weg?Nein, 3 Ecken mit ungeradem Grad, durften höchstens 2 sein.

Page 44: 1 Graphentheorie Prof. Dr. Dörte Haftendorn, Leuphana Universität Lüneburg, 2015  Gibt es in Königsberg einen Spaziergang,

44

Mobilfunk-Konfliktgraphen

Prof. Dr. Dörte Haftendorn, Leuphana Universität Lüneburg, 2015 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, 2015  Gibt es in Königsberg einen Spaziergang,

45

Mobilfunk-Konfliktgraphen

Prof. Dr. Dörte Haftendorn, Leuphana Universität Lüneburg, 2015 http://www.leuphana.de/matheomnibus

Überlappende Handybereiche brauchen verschiedene Sendefrequenzen. Eine Eckenfärbung des Konflikt-graphen zeigt, wie man Frequenzen zuordnen kann.

Page 46: 1 Graphentheorie Prof. Dr. Dörte Haftendorn, Leuphana Universität Lüneburg, 2015  Gibt es in Königsberg einen Spaziergang,

46

Konflikt-Graphen

Prof. Dr. Dörte Haftendorn, Leuphana Universität Lüneburg, 2015 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, 2015  Gibt es in Königsberg einen Spaziergang,

47

Konflikt-Graphen

Prof. Dr. Dörte Haftendorn, Leuphana Universität Lüneburg, 2015 http://www.leuphana.de/matheomnibus

Die Verkehrsströme werden Ecken.Wenn zwei in Konflikt geraten, werden sie durch eine Kante verbunden.

Page 48: 1 Graphentheorie Prof. Dr. Dörte Haftendorn, Leuphana Universität Lüneburg, 2015  Gibt es in Königsberg einen Spaziergang,

48

Konflikt-Graphen

Prof. Dr. Dörte Haftendorn, Leuphana Universität Lüneburg, 2015 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, 2015  Gibt es in Königsberg einen Spaziergang,

49

Graphentheorie in Büchern

Prof. Dr. Dörte Haftendorn, Leuphana Universität Lüneburg, 2015 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, 2015  Gibt es in Königsberg einen Spaziergang,

50

Fuzzy-Logik

Prof. Dr. Dörte Haftendorn, Leuphana Universität Lüneburg, 2015 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, 2015  Gibt es in Königsberg einen Spaziergang,

51

Knotentheorie

Prof. Dr. Dörte Haftendorn, Leuphana Universität Lüneburg, 2015 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, 2015  Gibt es in Königsberg einen Spaziergang,

52

Fraktale, Chaostheorie

Prof. Dr. Dörte Haftendorn, Leuphana Universität Lüneburg, 2015 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, 2015  Gibt es in Königsberg einen Spaziergang,

53

Fraktale, Chaostheorie

Prof. Dr. Dörte Haftendorn, Leuphana Universität Lüneburg, 2015 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, 2015  Gibt es in Königsberg einen Spaziergang,

54

Fraktale, Chaostheorie

Prof. Dr. Dörte Haftendorn, Leuphana Universität Lüneburg, 2015 http://www.leuphana.de/matheomnibus

www.mathematik-verstehen.de Bereich Fraktale, moodle Kap.10