25
Diskrete Mathematik Angelika Steger Institut für Theoretische Informatik [email protected]

Diskrete Mathematik Angelika Steger Institut für Theoretische Informatik [email protected] TexPoint fonts used in EMF. Read the TexPoint manual before

Embed Size (px)

Citation preview

Page 1: Diskrete Mathematik Angelika Steger Institut für Theoretische Informatik steger@inf.ethz.ch TexPoint fonts used in EMF. Read the TexPoint manual before

Diskrete Mathematik

Angelika Steger

Institut für Theoretische Informatik

[email protected]

Page 2: Diskrete Mathematik Angelika Steger Institut für Theoretische Informatik steger@inf.ethz.ch TexPoint fonts used in EMF. Read the TexPoint manual before

Graphentheorie

Kapitel 2:

Page 3: Diskrete Mathematik Angelika Steger Institut für Theoretische Informatik steger@inf.ethz.ch TexPoint fonts used in EMF. Read the TexPoint manual before

Szenario

Gegeben:

Flugplan einer Airline

Aufgabe:

Schreibe ein Programm, das Anfragen der Form

„Kann man von A nach B mit höchstens

einmal umsteigen gelangen?“

beantwortet.

Page 4: Diskrete Mathematik Angelika Steger Institut für Theoretische Informatik steger@inf.ethz.ch TexPoint fonts used in EMF. Read the TexPoint manual before

Modellierung

etc.

Page 5: Diskrete Mathematik Angelika Steger Institut für Theoretische Informatik steger@inf.ethz.ch TexPoint fonts used in EMF. Read the TexPoint manual before

Graph

Ein Graph G ist ein Tupel (V,E), wobei V eine (endliche) nichtleere Menge von Knoten ist.

Die Menge E ist eine Teilmenge der zweielementigen Teilmengen von V, also E ⊆ { {x,y} : x,y V, x≠y}.

Die Elemente der Menge E bezeichnet man als Kanten.

Page 6: Diskrete Mathematik Angelika Steger Institut für Theoretische Informatik steger@inf.ethz.ch TexPoint fonts used in EMF. Read the TexPoint manual before

Einige spezielle Graphenklassen (I)

• Vollständiger Graph Kn

• Kreis Cn

• Pfad Pn

K5

C6

P4

#edges(Kn) = n(n-1)/2

#edges(Cn) = n

#edges(Pn) = n #vertices(Pn) = n+1

Page 7: Diskrete Mathematik Angelika Steger Institut für Theoretische Informatik steger@inf.ethz.ch TexPoint fonts used in EMF. Read the TexPoint manual before

Einige spezielle Graphenklassen (II)

• Vollständiger bipartiter Graph Kn,n

• Hyperwürfel Qd

K3,3

Q3

Page 8: Diskrete Mathematik Angelika Steger Institut für Theoretische Informatik steger@inf.ethz.ch TexPoint fonts used in EMF. Read the TexPoint manual before

Nachbarschaft, Grad

• Nachbarschaft: (v) = {uV | {u,v}E }

• Grad: deg(v) = | (v) |

• G heisst k-regulär, wenn deg(v)=k vV

• Sprechweise für e={u,v}E:

- u und v sind adjazent, und

- u und e sind inzident.

Definitionen: Graph G=(V,E), vV

Page 9: Diskrete Mathematik Angelika Steger Institut für Theoretische Informatik steger@inf.ethz.ch TexPoint fonts used in EMF. Read the TexPoint manual before

Drei einfache Resultate

• Für jeden Graphen G=(V,E) gilt:

deg(v) = 2 |E|.vV

• In jedem Graphen G=(V,E) ist die Anzahl der

Knoten mit ungeradem Grad gerade.

• In jedem Graphen G=(V,E) gibt es einen Knoten

v mit Grad deg(v) £ 2|E|/|V| und einen Knoten v’

mit Grad deg(v‘) ³ 2|E|/|V|.

Page 10: Diskrete Mathematik Angelika Steger Institut für Theoretische Informatik steger@inf.ethz.ch TexPoint fonts used in EMF. Read the TexPoint manual before

Summe der Grade

Lemma:

Für jeden Graphen G=(V,E) gilt

deg(v) = 2 |E|vV

Beweis:

„Doppeltes Abzählen“

Page 11: Diskrete Mathematik Angelika Steger Institut für Theoretische Informatik steger@inf.ethz.ch TexPoint fonts used in EMF. Read the TexPoint manual before

Anzahl Knoten mit ungeradem Grad

Korollar: Für jeden Graphen G=(V,E) gilt:

Die Anzahl der Knoten mit ungeradem Grad ist gerade.

Beweis: Wir haben eben gezeigt:

deg(v) = 2 |E| vV

Ein Summe von ganzen Zahlen ist aber genau dann gerade, wenn die Anzahl ungerader Summanden gerade ist.

Page 12: Diskrete Mathematik Angelika Steger Institut für Theoretische Informatik steger@inf.ethz.ch TexPoint fonts used in EMF. Read the TexPoint manual before

Durchschnittsgrad

Aus deg(v) = 2 |E| folgt: vV

Der Durchschnittsgrad ist 2|E| / |V|.

Korollar:

Für jeden Graphen G=(V,E) gilt:

Es gibt Knoten v, v‘ mit

deg(v) £ 2|E|/|V| und deg(v‘) ³ 2|E|/|V|.

Page 13: Diskrete Mathematik Angelika Steger Institut für Theoretische Informatik steger@inf.ethz.ch TexPoint fonts used in EMF. Read the TexPoint manual before

Wege, Pfade, Kreise

• Ein Weg in G ist eine Folge (v0,…,vn) mit {vi,vi+1}E

• Ein Pfad in G ist eine Folge (v0,…,vn) mit {vi,vi+1}E und vivj

• Ein Kreis in G ist eine Folge (v0,…,vn) mit {vi,vi+1}E und vivj und {v0,vn}E und n³2

Einen Weg (Pfad) mit Anfangsknoten u und

Endknoten v nennt man u-v-Weg (u-v-Pfad).

Definition: Sei G=(V,E) Graph

Page 14: Diskrete Mathematik Angelika Steger Institut für Theoretische Informatik steger@inf.ethz.ch TexPoint fonts used in EMF. Read the TexPoint manual before

Wege, Pfade, Kreise - Beispiele

(a,c,d,c,b) ist ein a-b-Weg(a,c,b) ist ein a-b-Pfad

(a,c,b) und (f,g,i,h) sind Kreise der Länge 3 bzw 4

Page 15: Diskrete Mathematik Angelika Steger Institut für Theoretische Informatik steger@inf.ethz.ch TexPoint fonts used in EMF. Read the TexPoint manual before

Wege vs. Pfade

Lemma

Beweisidee:

Auslassen von Umwegen!

Page 16: Diskrete Mathematik Angelika Steger Institut für Theoretische Informatik steger@inf.ethz.ch TexPoint fonts used in EMF. Read the TexPoint manual before

Teilgraphen

Definition: Sei G=(VG,EG) Graph.

Gilt VH Í VG und EH Í EG so nennt man

H = (VH,EH) einen Teilgraphen von G.

Gilt sogar EH = EG Ç ( ) so nennt man H einen

induzierten Teilgraphen von G.

VH

2

Page 17: Diskrete Mathematik Angelika Steger Institut für Theoretische Informatik steger@inf.ethz.ch TexPoint fonts used in EMF. Read the TexPoint manual before

Teilgraphen - Beispiele

G:

Page 18: Diskrete Mathematik Angelika Steger Institut für Theoretische Informatik steger@inf.ethz.ch TexPoint fonts used in EMF. Read the TexPoint manual before

Teilgraphen - Sprechweise

Sind G=(VG,EG) und H = (VH,EH) zwei Graphen.

So sagt man, dass G den Graphen H enthält,

wenn es eine Teilmenge V‘ Í VG gibt und eine

Bijektion φ: V‘ → VH so dass

{x,y} ÎEH Þ {φ(x), φ(y)} ÎEG

Page 19: Diskrete Mathematik Angelika Steger Institut für Theoretische Informatik steger@inf.ethz.ch TexPoint fonts used in EMF. Read the TexPoint manual before

Teilgraphen - Beispiel

… enthält Kreise der Länge 3, 5 und 6; aber keinen Kreis der Länge 4.

Page 20: Diskrete Mathematik Angelika Steger Institut für Theoretische Informatik steger@inf.ethz.ch TexPoint fonts used in EMF. Read the TexPoint manual before

Zusammenhang

• G heisst zusammenhängend, wenn für alle u,vV ein u-v-Pfad existiert.

• Die zusammenhängenden Teile von G heissen seine Komponenten.

Definition: Sei G=(V,E) Graph

Page 21: Diskrete Mathematik Angelika Steger Institut für Theoretische Informatik steger@inf.ethz.ch TexPoint fonts used in EMF. Read the TexPoint manual before

Zusammenhang - Beispiel

Page 22: Diskrete Mathematik Angelika Steger Institut für Theoretische Informatik steger@inf.ethz.ch TexPoint fonts used in EMF. Read the TexPoint manual before

Eigenschaften

Lemma: Jeder Graph G=(V,E) enthält mindestens |V|- |E| viele Komponenten.

Beweis:

Induktion über |E|:

• Der Graph G0=(V, ) besitzt |V| Komponenten.

• Das sukzessive Hinzufügen von Kanten verringert die Anzahl der Komponenten jeweils um höchstens 1.

Page 23: Diskrete Mathematik Angelika Steger Institut für Theoretische Informatik steger@inf.ethz.ch TexPoint fonts used in EMF. Read the TexPoint manual before

Eigenschaften

Lemma: Jeder Graph G=(V,E) enthält mindestens |V|- |E| viele Komponenten.

Korollar: Jeder zusammenhängende Graph G=(V,E) enthält mindestens |V|- 1 viele Kanten.

Beweis:

Es muss gelten: |V|- |E| £ 1.

Page 24: Diskrete Mathematik Angelika Steger Institut für Theoretische Informatik steger@inf.ethz.ch TexPoint fonts used in EMF. Read the TexPoint manual before

Eigenschaften

Lemma: G=(V,E) zshgd. Graph, C Kreis in G

Dann gilt: Ge=(V,E\e) zshgd. eC

Beweisidee:

Betrachte die Definition von Zusammenhang!

Lemma: Sei G=(V,E) und vÎV beliebiger Knoten.

Dann gilt:

G zshgd. ÜÞ $ u-v-Pfad in G " uÎV

Beweis:

Þ: klar

Ü: Idee: für x,yÎV setze x-u-Pfad und u-y-Pfad zu einen x-y-Weg zusammen.

Page 25: Diskrete Mathematik Angelika Steger Institut für Theoretische Informatik steger@inf.ethz.ch TexPoint fonts used in EMF. Read the TexPoint manual before

k-Zusammenhang

Definition: Sei G=(V,E) Graph.

G heisst k-zusammenhängend, wenn – |V| ³ k+1 und– "XÍV mit |X| < k gilt: G[V \ X] ist zusammenhängend

Satz von Menger: Sei G=(V,E) Graph. Dann gilt:

G k-zsghd ÜÞ " u,v ÎV:

$ k intern-knotendiskunkte

u-v-Pfade in G