computergest utzte mathematik zur linearen algebraschaedle/lehre/ws2014/matlab/pdf/graphen.pdf ·...

42
Computergest¨ utzte Mathematik zur Linearen Algebra Graphen Achim Sch¨ adle ¨ Ubungsleiter: Lennart Jansen Tutoren: Marina Fischer, Kerstin Ignatzy, Narin Konar Pascal Kuhn, Nils S¨ anger, Tran Dinh 29. Januar 2015 Achim Sch¨ adle (HHU) CompLinA 29. Januar 2015 1

Upload: trannhu

Post on 14-Aug-2019

224 views

Category:

Documents


0 download

TRANSCRIPT

Page 1: Computergest utzte Mathematik zur Linearen Algebraschaedle/lehre/ws2014/matlab/pdf/Graphen.pdf · Isomorphie von Graphen (Dr ucken sie die Nummer der Frage, falls sie zustimmen) 1

Computergestutzte Mathematikzur Linearen Algebra

Graphen

Achim Schadle

Ubungsleiter: Lennart Jansen

Tutoren: Marina Fischer, Kerstin Ignatzy, Narin KonarPascal Kuhn, Nils Sanger, Tran Dinh

29. Januar 2015

Achim Schadle (HHU) CompLinA 29. Januar 2015 1

Page 2: Computergest utzte Mathematik zur Linearen Algebraschaedle/lehre/ws2014/matlab/pdf/Graphen.pdf · Isomorphie von Graphen (Dr ucken sie die Nummer der Frage, falls sie zustimmen) 1

Graphen – Mathematische DefinitionEin Graph ist definiert durch G = (V, E)

Knoten V = {1, 2, . . . , n}Personen, Stadte, Internetseiten, . . .

Kanten E = {(i , j) | i , j ∈ V}Beziehungen, Verbindungen, Links, Migration, . . .

1

2

3

4

5

6

7

8

Achim Schadle (HHU) CompLinA 29. Januar 2015 2

Page 3: Computergest utzte Mathematik zur Linearen Algebraschaedle/lehre/ws2014/matlab/pdf/Graphen.pdf · Isomorphie von Graphen (Dr ucken sie die Nummer der Frage, falls sie zustimmen) 1

Graphen – Mathematische DefinitionEin Graph ist definiert durch G = (V, E)

Knoten V = {1, 2, . . . , n}Personen, Stadte, Internetseiten, . . .

Kanten E = {(i , j) | i , j ∈ V}Beziehungen, Verbindungen, Links, Migration, . . .

1

2

3

4

5

6

7

8

Achim Schadle (HHU) CompLinA 29. Januar 2015 2

Page 4: Computergest utzte Mathematik zur Linearen Algebraschaedle/lehre/ws2014/matlab/pdf/Graphen.pdf · Isomorphie von Graphen (Dr ucken sie die Nummer der Frage, falls sie zustimmen) 1

Graphen – Mathematische DefinitionEin Graph ist definiert durch G = (V, E)

Knoten V = {1, 2, . . . , n}Personen, Stadte, Internetseiten, . . .

Kanten E = {(i , j) | i , j ∈ V}Beziehungen, Verbindungen, Links, Migration, . . .

1

2

3

4

5

6

7

8

Achim Schadle (HHU) CompLinA 29. Januar 2015 2

Page 5: Computergest utzte Mathematik zur Linearen Algebraschaedle/lehre/ws2014/matlab/pdf/Graphen.pdf · Isomorphie von Graphen (Dr ucken sie die Nummer der Frage, falls sie zustimmen) 1

Graphen – Mathematische DefinitionEin Graph ist definiert durch G = (V, E)

Knoten V = {1, 2, . . . , n}Personen, Stadte, Internetseiten, . . .

Kanten E = {(i , j) | i , j ∈ V}Beziehungen, Verbindungen, Links, Migration, . . .

1

2

3

4

5

6

7

8

Achim Schadle (HHU) CompLinA 29. Januar 2015 2

Page 6: Computergest utzte Mathematik zur Linearen Algebraschaedle/lehre/ws2014/matlab/pdf/Graphen.pdf · Isomorphie von Graphen (Dr ucken sie die Nummer der Frage, falls sie zustimmen) 1

Beispiel — Straßen

Achim Schadle (HHU) CompLinA 29. Januar 2015 3

Page 7: Computergest utzte Mathematik zur Linearen Algebraschaedle/lehre/ws2014/matlab/pdf/Graphen.pdf · Isomorphie von Graphen (Dr ucken sie die Nummer der Frage, falls sie zustimmen) 1

Graphen

1 2

3 4 5 6 7 8

910

11 12 13 14 15 16 17

1819 20 21 22 23 24 25

26

27

28 2930

3132

33 34

35

3638 39 40

41 4243 44

45

46 47

48

49

50

Straßenreinigung

Paketdienste

...

Planung vonRundfahrten

Kurzeste Wege

Erreichbarkeit

Achim Schadle (HHU) CompLinA 29. Januar 2015 4

Page 8: Computergest utzte Mathematik zur Linearen Algebraschaedle/lehre/ws2014/matlab/pdf/Graphen.pdf · Isomorphie von Graphen (Dr ucken sie die Nummer der Frage, falls sie zustimmen) 1

Graphen

1 2

3 4 5 6 7 8

910

11 12 13 14 15 16 17

1819 20 21 22 23 24 25

26

27

28 2930

3132

33 34

35

3638 39 40

41 4243 44

45

46 47

48

49

50

Straßenreinigung

Paketdienste

...

Planung vonRundfahrten

Kurzeste Wege

Erreichbarkeit

Achim Schadle (HHU) CompLinA 29. Januar 2015 4

Page 9: Computergest utzte Mathematik zur Linearen Algebraschaedle/lehre/ws2014/matlab/pdf/Graphen.pdf · Isomorphie von Graphen (Dr ucken sie die Nummer der Frage, falls sie zustimmen) 1

Beispiel — Flugplane

Ein Flugplan einer Fluglinie mit Basis in H und Flugen nachA,B,C ,D,E ,F ,G enthalt die Routen

A

B

C

D

H

E

F

G

Will man von C nach F fliegen, so ist

C → A→ H → F

eine Moglichkeit mit minimaler Anzahl von Verbindungen.

Achim Schadle (HHU) CompLinA 29. Januar 2015 5

Page 10: Computergest utzte Mathematik zur Linearen Algebraschaedle/lehre/ws2014/matlab/pdf/Graphen.pdf · Isomorphie von Graphen (Dr ucken sie die Nummer der Frage, falls sie zustimmen) 1

Fragen

Wieviele Routen C → F gibt es mit genau vier Flugen?

Wieviele Routen A→ B benotigen hochstens funf Fluge?

Ist C von G aus erreichbar?

Was ist die Distanz (in Flugen) zwischen B und D?

. . .

Achim Schadle (HHU) CompLinA 29. Januar 2015 6

Page 11: Computergest utzte Mathematik zur Linearen Algebraschaedle/lehre/ws2014/matlab/pdf/Graphen.pdf · Isomorphie von Graphen (Dr ucken sie die Nummer der Frage, falls sie zustimmen) 1

Isomorphie von Graphen

(Drucken sie die Nummer der Frage, falls sie zustimmen)

1 Falls die Anzahl der Knoten, der Kanten und der Knotengradeubereistimmt so sind zwei Graphen isomorph.

2 i) und j) sind isomorph.

3 a) und b) sind isomorph.

4 h) und f) sind isomorph.

Die Anzahl der Kanten, die in einen Knoten munden, heißtder Grad des Knotens.

Achim Schadle (HHU) CompLinA 29. Januar 2015 7

Page 12: Computergest utzte Mathematik zur Linearen Algebraschaedle/lehre/ws2014/matlab/pdf/Graphen.pdf · Isomorphie von Graphen (Dr ucken sie die Nummer der Frage, falls sie zustimmen) 1

Inzidenzmatrizen

Die Inzidenzmatrix A ∈ R|V|×|V| eines Graphen G = (V, E) ist definiertdurch

aij =

{1, falls (i , j) ∈ E ,0, sonst.

Nummeriere Flughafen in Reihenfolge A,B,C ,D,E ,F ,G ,H

A =

0 0 0 0 0 0 0 11 0 1 0 0 0 0 01 1 0 0 0 0 0 01 0 0 0 0 0 0 11 0 0 0 0 0 0 10 0 0 0 1 0 1 10 0 0 1 0 1 0 11 0 0 1 1 1 1 0

∈ R8×8

Achim Schadle (HHU) CompLinA 29. Januar 2015 8

Page 13: Computergest utzte Mathematik zur Linearen Algebraschaedle/lehre/ws2014/matlab/pdf/Graphen.pdf · Isomorphie von Graphen (Dr ucken sie die Nummer der Frage, falls sie zustimmen) 1

Potenzen der Inzidenzmatrix ADie Potenzen A` geben Auskunft die Gesamtzahl an Flug- verbindungenzwischen zwei Stadten mit genau ` Flugen, denn

aik ∼ Anzahl der Direktfluge von i nach k

akj ∼ Anzahl der Direktfluge von k nach j

also

aikakj ∼ Anzahl der 2-Flug-Routen von i nach j

mit Umsteigen in k

und damit entspricht

n∑k=1

aikakj = (A2)ij ∼ Gesamtzahl der 2-Flug-Routen

von i nach j

Achim Schadle (HHU) CompLinA 29. Januar 2015 9

Page 14: Computergest utzte Mathematik zur Linearen Algebraschaedle/lehre/ws2014/matlab/pdf/Graphen.pdf · Isomorphie von Graphen (Dr ucken sie die Nummer der Frage, falls sie zustimmen) 1

Potenzen der Inzidenzmatrix A

Gesamtzahl der 3-Flug-Routen von i nach j

(A3)ij =n∑

k1=1

ai ,k1(A2)k1,j

=n∑

k1=1

ai ,k1

n∑k2=1

ak1,k2ak2,j

=n∑

k1,k2=1

ai ,k1ak1,k2ak2,j

Allgemein: Gesamtzahl der `-Flug-Routen von i nach j .

(A`)ij =n∑

k1,...,km−1=1

ai ,k1ak1,k2 · · · akm−2,km−1akm−1,j

Achim Schadle (HHU) CompLinA 29. Januar 2015 10

Page 15: Computergest utzte Mathematik zur Linearen Algebraschaedle/lehre/ws2014/matlab/pdf/Graphen.pdf · Isomorphie von Graphen (Dr ucken sie die Nummer der Frage, falls sie zustimmen) 1

Gesamtzahl der Routen

Gesamtzahl der Routen mit maximal ` Flugen von i nach j

Aij + (A2)ij + . . .+ (A`)ij = (A + A2 + . . .+ A`)ij

In unserem Beispiel:

(A3)36 = 1 =⇒ Eine 3-Flug-Route von C nach F

(A4)36 = 3 =⇒ Zwei 4-Flug-Routen von C nach F

(5∑

`=1

A`)25 = 15 =⇒ Elf Routen von B nach E

mit hochstens 5 Flugen

Achim Schadle (HHU) CompLinA 29. Januar 2015 11

Page 16: Computergest utzte Mathematik zur Linearen Algebraschaedle/lehre/ws2014/matlab/pdf/Graphen.pdf · Isomorphie von Graphen (Dr ucken sie die Nummer der Frage, falls sie zustimmen) 1

Kurzeste Route und Erreichbarkeit

Kurzeste Route zwischen i und j :

Minimales ` so dass (A`−1)ij = 0 und (A`)ij 6= 0

Da (A2)34 = 0 und (A3)34 6= 0, besteht die die kurzeste Route von C nachD aus 3 Flugen.

Langste Entfernung im Graph (≤ n − 1 oder ∞)

maxi ,j∈V

min`

(A`−1)ij = (A`)ij

Erreichbarkeit: j ist nicht von i erreichbar, falls

(A`)ij = 0, ` = 1, . . . , n − 1

Da (A`)12 = 0, ` = 1, . . . , 7 ist B nicht von A aus erreichbar

Achim Schadle (HHU) CompLinA 29. Januar 2015 12

Page 17: Computergest utzte Mathematik zur Linearen Algebraschaedle/lehre/ws2014/matlab/pdf/Graphen.pdf · Isomorphie von Graphen (Dr ucken sie die Nummer der Frage, falls sie zustimmen) 1

Kurzeste Route und Erreichbarkeit

Kurzeste Route zwischen i und j :

Minimales ` so dass (A`−1)ij = 0 und (A`)ij 6= 0

Da (A2)34 = 0 und (A3)34 6= 0, besteht die die kurzeste Route von C nachD aus 3 Flugen.

Langste Entfernung im Graph (≤ n − 1 oder ∞)

maxi ,j∈V

min`

(A`−1)ij = (A`)ij

Erreichbarkeit: j ist nicht von i erreichbar, falls

(A`)ij = 0, ` = 1, . . . , n − 1

Da (A`)12 = 0, ` = 1, . . . , 7 ist B nicht von A aus erreichbar

Achim Schadle (HHU) CompLinA 29. Januar 2015 12

Page 18: Computergest utzte Mathematik zur Linearen Algebraschaedle/lehre/ws2014/matlab/pdf/Graphen.pdf · Isomorphie von Graphen (Dr ucken sie die Nummer der Frage, falls sie zustimmen) 1

Kurzeste Route und Erreichbarkeit

Kurzeste Route zwischen i und j :

Minimales ` so dass (A`−1)ij = 0 und (A`)ij 6= 0

Da (A2)34 = 0 und (A3)34 6= 0, besteht die die kurzeste Route von C nachD aus 3 Flugen.

Langste Entfernung im Graph (≤ n − 1 oder ∞)

maxi ,j∈V

min`

(A`−1)ij = (A`)ij

Erreichbarkeit: j ist nicht von i erreichbar, falls

(A`)ij = 0, ` = 1, . . . , n − 1

Da (A`)12 = 0, ` = 1, . . . , 7 ist B nicht von A aus erreichbar

Achim Schadle (HHU) CompLinA 29. Januar 2015 12

Page 19: Computergest utzte Mathematik zur Linearen Algebraschaedle/lehre/ws2014/matlab/pdf/Graphen.pdf · Isomorphie von Graphen (Dr ucken sie die Nummer der Frage, falls sie zustimmen) 1

Gewichtete Graphen

Achim Schadle (HHU) CompLinA 29. Januar 2015 13

Page 20: Computergest utzte Mathematik zur Linearen Algebraschaedle/lehre/ws2014/matlab/pdf/Graphen.pdf · Isomorphie von Graphen (Dr ucken sie die Nummer der Frage, falls sie zustimmen) 1

Motivation — Epidemiologie

Um den Einfluss einer Krankheit auf eine Population zu beschreiben,kann man stark vereinfacht annehmen, dass uber einen gegebenen Zeit-raum betrachtet, sich ein bestimmter Anteil der gesunden Populationmit der Krankheit infiziert. Ein Teil der kranken Population stirbt, einweiterer Anteil uberlebt die Krankheit und kann unter Umstanden eineImmunitat gegen die Krankheit entwickeln.

Fragestellung

Wie entwickelt sich die Population, wenn Infektionsrate α, Mortalitatsrateβ, Immunisierungsrate γ bekannt sind?

Achim Schadle (HHU) CompLinA 29. Januar 2015 14

Page 21: Computergest utzte Mathematik zur Linearen Algebraschaedle/lehre/ws2014/matlab/pdf/Graphen.pdf · Isomorphie von Graphen (Dr ucken sie die Nummer der Frage, falls sie zustimmen) 1

Motivation — Epidemiologie

Um den Einfluss einer Krankheit auf eine Population zu beschreiben,kann man stark vereinfacht annehmen, dass uber einen gegebenen Zeit-raum betrachtet, sich ein bestimmter Anteil der gesunden Populationmit der Krankheit infiziert. Ein Teil der kranken Population stirbt, einweiterer Anteil uberlebt die Krankheit und kann unter Umstanden eineImmunitat gegen die Krankheit entwickeln.

Fragestellung

Wie entwickelt sich die Population, wenn Infektionsrate α, Mortalitatsrateβ, Immunisierungsrate γ bekannt sind?

Achim Schadle (HHU) CompLinA 29. Januar 2015 14

Page 22: Computergest utzte Mathematik zur Linearen Algebraschaedle/lehre/ws2014/matlab/pdf/Graphen.pdf · Isomorphie von Graphen (Dr ucken sie die Nummer der Frage, falls sie zustimmen) 1

Mathematisches Modell

G

Gesund

K

Krank

I

Immun

T

Tot

Infektion

Mortalitat

Immunisierung

Genesung

α

β

γ

1− β − γ

1− α

1

1

(β + γ ≤ 1)

Achim Schadle (HHU) CompLinA 29. Januar 2015 15

Page 23: Computergest utzte Mathematik zur Linearen Algebraschaedle/lehre/ws2014/matlab/pdf/Graphen.pdf · Isomorphie von Graphen (Dr ucken sie die Nummer der Frage, falls sie zustimmen) 1

Mathematisches Modell

G

Gesund

K

Krank

I

Immun

T

Tot

Infektion

Mortalitat

Immunisierung

Genesung

α

β

γ

1− β − γ

1− α

1

1

(β + γ ≤ 1)

Achim Schadle (HHU) CompLinA 29. Januar 2015 15

Page 24: Computergest utzte Mathematik zur Linearen Algebraschaedle/lehre/ws2014/matlab/pdf/Graphen.pdf · Isomorphie von Graphen (Dr ucken sie die Nummer der Frage, falls sie zustimmen) 1

Mathematisches Modell

G

Gesund

K

Krank

I

Immun

T

Tot

Infektion

Mortalitat

Immunisierung

Genesung

α

β

γ

1− β − γ

1− α

1

1

(β + γ ≤ 1)

Achim Schadle (HHU) CompLinA 29. Januar 2015 15

Page 25: Computergest utzte Mathematik zur Linearen Algebraschaedle/lehre/ws2014/matlab/pdf/Graphen.pdf · Isomorphie von Graphen (Dr ucken sie die Nummer der Frage, falls sie zustimmen) 1

Mathematisches Modell

G

Gesund

K

Krank

I

Immun

T

Tot

Infektion

Mortalitat

Immunisierung

Genesung

α

β

γ

1− β − γ

1− α

1

1

(β + γ ≤ 1)

Achim Schadle (HHU) CompLinA 29. Januar 2015 15

Page 26: Computergest utzte Mathematik zur Linearen Algebraschaedle/lehre/ws2014/matlab/pdf/Graphen.pdf · Isomorphie von Graphen (Dr ucken sie die Nummer der Frage, falls sie zustimmen) 1

Mathematisches Modell

G

Gesund

K

Krank

I

Immun

T

Tot

Infektion

Mortalitat

Immunisierung

Genesung

α

β

γ

1− β − γ

1− α

1

1

(β + γ ≤ 1)

Achim Schadle (HHU) CompLinA 29. Januar 2015 15

Page 27: Computergest utzte Mathematik zur Linearen Algebraschaedle/lehre/ws2014/matlab/pdf/Graphen.pdf · Isomorphie von Graphen (Dr ucken sie die Nummer der Frage, falls sie zustimmen) 1

Mathematisches Modell

G

Gesund

K

Krank

I

Immun

T

Tot

Infektion

Mortalitat

Immunisierung

Genesung

α

β

γ

1− β − γ

1− α

1

1

(β + γ ≤ 1)

Achim Schadle (HHU) CompLinA 29. Januar 2015 15

Page 28: Computergest utzte Mathematik zur Linearen Algebraschaedle/lehre/ws2014/matlab/pdf/Graphen.pdf · Isomorphie von Graphen (Dr ucken sie die Nummer der Frage, falls sie zustimmen) 1

Mathematisches Modell

G

Gesund

K

Krank

I

Immun

T

Tot

Infektion

Mortalitat

Immunisierung

Genesung

α

β

γ

1− β − γ

1− α

1

1

(β + γ ≤ 1)

Achim Schadle (HHU) CompLinA 29. Januar 2015 15

Page 29: Computergest utzte Mathematik zur Linearen Algebraschaedle/lehre/ws2014/matlab/pdf/Graphen.pdf · Isomorphie von Graphen (Dr ucken sie die Nummer der Frage, falls sie zustimmen) 1

Mathematisches Modell

G

Gesund

K

Krank

I

Immun

T

Tot

Infektion

Mortalitat

Immunisierung

Genesung

α

β

γ

1− β − γ

1− α

1

1

(β + γ ≤ 1)

Achim Schadle (HHU) CompLinA 29. Januar 2015 15

Page 30: Computergest utzte Mathematik zur Linearen Algebraschaedle/lehre/ws2014/matlab/pdf/Graphen.pdf · Isomorphie von Graphen (Dr ucken sie die Nummer der Frage, falls sie zustimmen) 1

Mathematisches Modell

G

Gesund

K

Krank

I

Immun

T

Tot

Infektion

Mortalitat

Immunisierung

Genesung

α

β

γ

1− β − γ

1− α

1

1

(β + γ ≤ 1)

Achim Schadle (HHU) CompLinA 29. Januar 2015 15

Page 31: Computergest utzte Mathematik zur Linearen Algebraschaedle/lehre/ws2014/matlab/pdf/Graphen.pdf · Isomorphie von Graphen (Dr ucken sie die Nummer der Frage, falls sie zustimmen) 1

Mathematisches Modell

G

Gesund

K

Krank

I

Immun

T

Tot

Infektion

Mortalitat

Immunisierung

Genesung

α

β

γ

1− β − γ

1− α

1

1

(β + γ ≤ 1)

Achim Schadle (HHU) CompLinA 29. Januar 2015 15

Page 32: Computergest utzte Mathematik zur Linearen Algebraschaedle/lehre/ws2014/matlab/pdf/Graphen.pdf · Isomorphie von Graphen (Dr ucken sie die Nummer der Frage, falls sie zustimmen) 1

Mathematisches Modell

Darstellung als Kanten-gewichteter Graph G = (V, E , ω)

Zustandsmenge VZustandsubergange E ⊆ V × VUbergangsgewichte ω : E −→ R

Analog zur Inzidenzmatrix definiert man eine gewichtete InzidenzmatrixAω ∈ R|V×V| durch

(Aω)v ,w =

{ω(v ,w) falls (v ,w) ∈ E0 sonst

Achim Schadle (HHU) CompLinA 29. Januar 2015 16

Page 33: Computergest utzte Mathematik zur Linearen Algebraschaedle/lehre/ws2014/matlab/pdf/Graphen.pdf · Isomorphie von Graphen (Dr ucken sie die Nummer der Frage, falls sie zustimmen) 1

Mathematisches Modell

Darstellung als Kanten-gewichteter Graph G = (V, E , ω)

Zustandsmenge VZustandsubergange E ⊆ V × VUbergangsgewichte ω : E −→ R

Analog zur Inzidenzmatrix definiert man eine gewichtete InzidenzmatrixAω ∈ R|V×V| durch

(Aω)v ,w =

{ω(v ,w) falls (v ,w) ∈ E0 sonst

Achim Schadle (HHU) CompLinA 29. Januar 2015 16

Page 34: Computergest utzte Mathematik zur Linearen Algebraschaedle/lehre/ws2014/matlab/pdf/Graphen.pdf · Isomorphie von Graphen (Dr ucken sie die Nummer der Frage, falls sie zustimmen) 1

Populationsentwicklung im Modellproblem

Mit V = {G ,K , I ,T} erhalten wir die Inzidenzmatrix

Aω =

1− α 1− β − γ 0 0α 0 0 00 γ 1 00 β 0 1

Die Entwicklung einer Population mit Startverteilung x (0) erhalt man nundurch die Vorschrift

x (k+1) = Aω · x (k)

Die Zustande I und T sind final, also ergibt sich

x(k)G

k→∞−→ 0 und x(k)K

k→∞−→ 0.

Achim Schadle (HHU) CompLinA 29. Januar 2015 17

Page 35: Computergest utzte Mathematik zur Linearen Algebraschaedle/lehre/ws2014/matlab/pdf/Graphen.pdf · Isomorphie von Graphen (Dr ucken sie die Nummer der Frage, falls sie zustimmen) 1

Populationsentwicklung im Modellproblem

Mit V = {G ,K , I ,T} erhalten wir die Inzidenzmatrix

Aω =

1− α 1− β − γ 0 0α 0 0 00 γ 1 00 β 0 1

Die Entwicklung einer Population mit Startverteilung x (0) erhalt man nundurch die Vorschrift

x (k+1) = Aω · x (k)

Die Zustande I und T sind final, also ergibt sich

x(k)G

k→∞−→ 0 und x(k)K

k→∞−→ 0.

Achim Schadle (HHU) CompLinA 29. Januar 2015 17

Page 36: Computergest utzte Mathematik zur Linearen Algebraschaedle/lehre/ws2014/matlab/pdf/Graphen.pdf · Isomorphie von Graphen (Dr ucken sie die Nummer der Frage, falls sie zustimmen) 1

Populationsentwicklung im Modellproblem

Mit V = {G ,K , I ,T} erhalten wir die Inzidenzmatrix

Aω =

1− α 1− β − γ 0 0α 0 0 00 γ 1 00 β 0 1

Die Entwicklung einer Population mit Startverteilung x (0) erhalt man nundurch die Vorschrift

x (k+1) = Aω · x (k)

Die Zustande I und T sind final, also ergibt sich

x(k)G

k→∞−→ 0 und x(k)K

k→∞−→ 0.

Achim Schadle (HHU) CompLinA 29. Januar 2015 17

Page 37: Computergest utzte Mathematik zur Linearen Algebraschaedle/lehre/ws2014/matlab/pdf/Graphen.pdf · Isomorphie von Graphen (Dr ucken sie die Nummer der Frage, falls sie zustimmen) 1

Gilt wie in unserem Beispiel, dass ω(v ,w) ≥ 0 und∑w∈V

ω(v ,w) = 1 fur alle v ∈ V,

so beschreibt G eine diskrete Markov Kette. Diese sind die mathematischeBeschreibung einfacher stochastischer Prozesse, die durch Zustande undUbergange beschrieben werden.

Besonderes Interesse in der Untersuchung von Markov Ketten gilt densogenannten stationaren Verteilungen, das heißt Vektoren x fur die gilt

Aωx = x .

Eigenvektoren zum Eigenwert 1 und stabile Zustande des Systems.

Achim Schadle (HHU) CompLinA 29. Januar 2015 18

Page 38: Computergest utzte Mathematik zur Linearen Algebraschaedle/lehre/ws2014/matlab/pdf/Graphen.pdf · Isomorphie von Graphen (Dr ucken sie die Nummer der Frage, falls sie zustimmen) 1

Beispiel: Bevolkerungsmigration

Migrationsverhalten innerhalb eines Jahres:

50 % der Bevolkerung ziehen von Nord nach Sud

25 % der Bevolkerung ziehen von Sud nach Nord

N

S

0.50.25

0.5

0.75

Achim Schadle (HHU) CompLinA 29. Januar 2015 19

Page 39: Computergest utzte Mathematik zur Linearen Algebraschaedle/lehre/ws2014/matlab/pdf/Graphen.pdf · Isomorphie von Graphen (Dr ucken sie die Nummer der Frage, falls sie zustimmen) 1

Berechnung der Entwicklung, IMit V = {N, S} ist die Inzidenzmatrix gegeben durch

Aω =

(12

14

12

34

).

Bevolkerungsentwicklung

0 5 10 15 20 25 300

0.1

0.2

0.3

0.4

0.5

0.6

0.7

0.8

0.9

1

Nord

Sued

Achim Schadle (HHU) CompLinA 29. Januar 2015 20

Page 40: Computergest utzte Mathematik zur Linearen Algebraschaedle/lehre/ws2014/matlab/pdf/Graphen.pdf · Isomorphie von Graphen (Dr ucken sie die Nummer der Frage, falls sie zustimmen) 1

Berechnung der Entwicklung, IMit V = {N, S} ist die Inzidenzmatrix gegeben durch

Aω =

(12

14

12

34

).

Bevolkerungsentwicklung

0 5 10 15 20 25 300

0.1

0.2

0.3

0.4

0.5

0.6

0.7

0.8

0.9

1

Nord

Sued

Achim Schadle (HHU) CompLinA 29. Januar 2015 20

Page 41: Computergest utzte Mathematik zur Linearen Algebraschaedle/lehre/ws2014/matlab/pdf/Graphen.pdf · Isomorphie von Graphen (Dr ucken sie die Nummer der Frage, falls sie zustimmen) 1

Berechnung der Entwicklung, II

Besitzt die Markov-Kette eine stationare Verteilung unabhangig von derStartverteilung?

Betrachte die Eigenzerlegung von Aω, es ist

(12−1

2

)=

1

4

(12−1

2

)und Aω

(1323

)=

(1323

)

Demnach ist T k →[

1/3 1/32/3 2/3

], k →∞ und damit

x (∞) = limk→∞

x (k) =

[1/3 1/32/3 2/3

]x (0) =

[1/32/3

](x

(0)1 + x

(0)2 )︸ ︷︷ ︸

=1

unabhangig von der Anfangsverteilung x (0) mit x(0)1 + x

(0)2 = 1

Achim Schadle (HHU) CompLinA 29. Januar 2015 21

Page 42: Computergest utzte Mathematik zur Linearen Algebraschaedle/lehre/ws2014/matlab/pdf/Graphen.pdf · Isomorphie von Graphen (Dr ucken sie die Nummer der Frage, falls sie zustimmen) 1

Mathematischer HintergrundSatz von Perron-Frobenius

Sei A ∈ Rn×n irreduzibel und aij ≥ 0 fur alle i , j = 1, . . . , n. Dann istder betragsgroßte Eigenwert λ∗ von A reell, einfach und der zugehorigeEigenvektor x ist positiv.

Konsequenz

Ist der Graph einer endlichen diskreten Markov Kette starkzusammenhangend, so ist der betragsgroße Eigenwert 1 und einfach. Alsoist der zugehorige Eigenvektor x mit Ax = x eindeutig und es gilt

A`y`→∞−→ x fur yi ≥ 0,

∑i

yi = 1.

Achim Schadle (HHU) CompLinA 29. Januar 2015 22