Diskrete Strukturen - Johannes Kepler University Linzfmv.jku.at/ds/dsgraph.pdf · 2012-10-05 ·...

29
Zweiter Teil Graphen Version 2012.2 1 Einf ¨ uhrung in die Graphentheorie Diskrete Strukturen Winter Semester 2012 # 342 207 Prof. Armin Biere Institut f ¨ ur Formale Modelle und Verifikation Johannes Kepler Universit¨ at, Linz http://fmv.jku.at/ds Diskrete Strukturen #342207 WS 2010 Armin Biere JKU Linz

Transcript of Diskrete Strukturen - Johannes Kepler University Linzfmv.jku.at/ds/dsgraph.pdf · 2012-10-05 ·...

Page 1: Diskrete Strukturen - Johannes Kepler University Linzfmv.jku.at/ds/dsgraph.pdf · 2012-10-05 · Fur zwei Knoten¨ x und y gibt es mindestens einen Weg von x nach y. Gabe es einen

Zweiter Teil GraphenVersion 2012.2

1

Einfuhrung in die Graphentheorie

Diskrete StrukturenWinter Semester 2012

# 342 207

Prof. Armin BiereInstitut fur Formale Modelle und Verifikation

Johannes Kepler Universitat, Linz

http://fmv.jku.at/ds

Diskrete Strukturen #342207 WS 2010 Armin Biere JKU Linz

Page 2: Diskrete Strukturen - Johannes Kepler University Linzfmv.jku.at/ds/dsgraph.pdf · 2012-10-05 · Fur zwei Knoten¨ x und y gibt es mindestens einen Weg von x nach y. Gabe es einen

Literatur fur die Graphentheorie GraphenVersion 2012.2

2

• Kapitel 8, Mathematik explorativ. J. Muhlbacher, G. Pilz, M. Widi. Trauner Verlag.

• Kapitel 8, Skriptum Mathematik 2 fur Informatiker (Algebra).J. Muhlbacher, G. Pilz, M. Widi.

• Kapitel 8, Discrete Mathematics and its Applications. K. Rosen. McGraw Hill.

Diskrete Strukturen #342207 WS 2010 Armin Biere JKU Linz

Page 3: Diskrete Strukturen - Johannes Kepler University Linzfmv.jku.at/ds/dsgraph.pdf · 2012-10-05 · Fur zwei Knoten¨ x und y gibt es mindestens einen Weg von x nach y. Gabe es einen

Ungerichtete Graphen GraphenVersion 2012.2

3

Def. Ein ungerichteter Graph X besteht aus einer Menge V = V (X), den Knoten von Xund einer Menge E = E(X) von (ungeordneten) Paaren {x,y} verschiedener Elemente ausV , den Kanten von X .

Bsp.

X1 = (V1,E1) mit V1 = {a,b,c,d}, E1 = {{a,b},{a,c},{a,d},{b,c},{b,d},{c,d}}

a d

b c

X1

X3

X2

a

b c

d

A

B C

D

Diskrete Strukturen #342207 WS 2010 Armin Biere JKU Linz

Page 4: Diskrete Strukturen - Johannes Kepler University Linzfmv.jku.at/ds/dsgraph.pdf · 2012-10-05 · Fur zwei Knoten¨ x und y gibt es mindestens einen Weg von x nach y. Gabe es einen

Isormorphe Graphen GraphenVersion 2012.2

4

Def. Eine Abbildung ϕ von der Menge A in die Menge B, geschrieben ϕ:A→ B, heißtinjektiv gdw. aus ϕ(a1) = ϕ(a2) folgt a1 = a2, fur alle a1,a2 ∈ A.

Def. ϕ:A→ B heißt surjektiv gdw. es fur alle b ∈ B ein a ∈ A gibt, so dass ϕ(a) = b.

Def. Eine Abb. ϕ:A→ B heißt bijektiv gdw. sie injektiv und surjektiv ist.

Def. Seien X1 = (V1,E1), X2 = (V2,E2) Graphen. Eine bijektive Abb. ϕ:V1 → V2 heißtIsomorphismus von X1 auf X2 wenn folgendes gilt:

{x,y} ∈ E1 gdw. {ϕ(x),ϕ(y)} ∈ E2 ϕ Homomorphismus

Falls so ein Isomorphismus existiert heißen X1 und X2 isomorph.

a d

b c

A

B C

D

Diskrete Strukturen #342207 WS 2010 Armin Biere JKU Linz

Page 5: Diskrete Strukturen - Johannes Kepler University Linzfmv.jku.at/ds/dsgraph.pdf · 2012-10-05 · Fur zwei Knoten¨ x und y gibt es mindestens einen Weg von x nach y. Gabe es einen

Teilgraphen GraphenVersion 2012.2

5

Def. Ein Graph X1 = (V1,E1) heißt Teilgraph von X = (V,E), wenn V1 ⊆V und E1 ⊆ E.

Def. Ein Teilgraph von X ist spannender Teilgraph von X , wenn V1 =V .

Def. Sind in einem Teilgraphen von X alle Kanten E von X vorhanden, welche nur Knotenaus V1 beinhalten, so nennt man X1 einen gesattigten Teilgraphen von X , bzw. dass X vonX1 aufgespannt wird.

X2

X X1

b

a

c

X3

d

b

a

c

d

b

a

c

b

a

c

Diskrete Strukturen #342207 WS 2010 Armin Biere JKU Linz

Page 6: Diskrete Strukturen - Johannes Kepler University Linzfmv.jku.at/ds/dsgraph.pdf · 2012-10-05 · Fur zwei Knoten¨ x und y gibt es mindestens einen Weg von x nach y. Gabe es einen

Grad GraphenVersion 2012.2

6

Def. Der Grad d(x) eines Knoten x ∈V (X) ist die Anzahl Kanten, mit diesem Knoten.

Def. Ein Knoten x mit d(x) = 0 heißt isolierter Knoten.

Def. Ein Knoten x mit d(x) = 1 heißt Endknoten.

Def. Hat jeder Knoten den gleichen Grad d, so heißt der Graph regular mit Grad d.

Satz ∑x∈V (X)

d(x) = 2 · |E(X)|

Bew. In der Summe der Grade liefert jede Kante genau zwei mal einen Zahler.

Diskrete Strukturen #342207 WS 2010 Armin Biere JKU Linz

Page 7: Diskrete Strukturen - Johannes Kepler University Linzfmv.jku.at/ds/dsgraph.pdf · 2012-10-05 · Fur zwei Knoten¨ x und y gibt es mindestens einen Weg von x nach y. Gabe es einen

Grad GraphenVersion 2012.2

7

Def. Eine Kantenfolge von x1 nach xn besteht aus n−1 Kanten

{x1,x2}, {x2,x3}, . . . , {xn−1,xn},

so dass je zwei aufeinanderfolgende Kanten einen gemeinsamen Knoten haben.

Def. Eine Kantenfolge ist geschlossen wenn x1 = xn, sonst offen.

Def. Ein Weg ist eine (offene) Kantenfolge aus unterschiedlichen Knoten.

Def. Ein Kreis ist eine geschl. Kantenfolge mit unterschiedlichen Knoten x1, . . . ,xn−1.

a d e

f

g

h

i

j

k

b c

Diskrete Strukturen #342207 WS 2010 Armin Biere JKU Linz

Page 8: Diskrete Strukturen - Johannes Kepler University Linzfmv.jku.at/ds/dsgraph.pdf · 2012-10-05 · Fur zwei Knoten¨ x und y gibt es mindestens einen Weg von x nach y. Gabe es einen

Kurzeste Wege GraphenVersion 2012.2

8

Satz Jede Kantenfolge von x1 nach xn enthalt einen Weg von x1 nach xn.

Bew. Man lasst Umwege, die den gleichen Knoten mehrmals besuchen, einfach weg.

Def. Die Anzahl Kanten in einer Kantenfolge ist ihre Lange.

Def. Ein Weg von x nach y mit minimaler Lange heißt kurzester Weg.

Def. Zwei Knoten x und y sind verbunden, wenn sie Endpunkte einer Kantenfolge sind.

Anm. Ein kurzester Weg zwischen x und y existiert, wenn x und y verbunden sind.

Anm. Der kurzeste Weg ist aber nicht eindeutig, d.h. es kann mehrere geben.

Diskrete Strukturen #342207 WS 2010 Armin Biere JKU Linz

Page 9: Diskrete Strukturen - Johannes Kepler University Linzfmv.jku.at/ds/dsgraph.pdf · 2012-10-05 · Fur zwei Knoten¨ x und y gibt es mindestens einen Weg von x nach y. Gabe es einen

Zusammenhang GraphenVersion 2012.2

9

Def. Ein Graph heißt zusammenhangend, wenn je zwei seiner Knoten verbunden sind.

Def. Die Komponente K(x) eines Knotens x besteht aus allen mit x verbundenen Knoten.

Satz Sind x 6= y zwei Knoten des Graphen und K(x)∩K(y) 6= /0, so ist K(x) = K(y).

Bew. Sei z ∈ K(x)∩K(y), dann gibt es einen Weg von x nach z und einen von z nach y.

Diese beiden Wegen lassen sich zusammensetzen zu einem Weg von x nach y.

Somit sind x und y verbunden und damit K(x) = K(y). q.e.d.

Anm. “Verbunden zu Sein” ist eine Aquivalenzrelation mit Komponenten als Klassen.

Anm. Oftmals wird davon ausgegangen, dass der Graph zusammenhangend ist.

Diskrete Strukturen #342207 WS 2010 Armin Biere JKU Linz

Page 10: Diskrete Strukturen - Johannes Kepler University Linzfmv.jku.at/ds/dsgraph.pdf · 2012-10-05 · Fur zwei Knoten¨ x und y gibt es mindestens einen Weg von x nach y. Gabe es einen

Artikulationspunkte GraphenVersion 2012.2

10

Def. Sei X ein Graph und A⊆V (X), so erhalt man X−A durch Streichen von A in X mit

V (X−A) = V (X)−A

E(X−A) = E(X)− (E×A)− (A×E) = { {x,y} | {x,y} ∈ E(X), x 6∈ A und y 6∈ A}

Def. Ein Knoten x ∈ V (x) heißt Artikulationspunkt von X oder Zerfallungsknoten, wennX−{x} mehr Komponenten hat als X .

Diskrete Strukturen #342207 WS 2010 Armin Biere JKU Linz

Page 11: Diskrete Strukturen - Johannes Kepler University Linzfmv.jku.at/ds/dsgraph.pdf · 2012-10-05 · Fur zwei Knoten¨ x und y gibt es mindestens einen Weg von x nach y. Gabe es einen

Baume GraphenVersion 2012.2

11

Def. Ein zusammenhangender ungerichteter Graph ohne Kreis heißt Baum.

Def. Ist jede Komponente eines Graphen X ein Baum, so heißt X ein Wald.

a b

c d

/

*

+

LKWPKWMotorrad

Kraftfahrzeug

einspurig zweispurig

Diskrete Strukturen #342207 WS 2010 Armin Biere JKU Linz

Page 12: Diskrete Strukturen - Johannes Kepler University Linzfmv.jku.at/ds/dsgraph.pdf · 2012-10-05 · Fur zwei Knoten¨ x und y gibt es mindestens einen Weg von x nach y. Gabe es einen

Charakterisierung von Baumen GraphenVersion 2012.2

12

Satz Folgende Aussagen sind fur einen Graphen X aquivalent:

(i) X ist ein Baum.

(ii) Je zwei Knoten in X sind durch genau einen Weg in X verbunden.

(iii) X ist zusammenhangend und |V (X)|= |E(X)|+1.

(iv) X besitzt keinen Kreis und |V (X)|= |E(X)|+1.

Bew. In 4 Schritten: (i)⇒ (ii), (ii)⇒ (iii), (iii)⇒ (iv), (iv)⇒ (i).

Diskrete Strukturen #342207 WS 2010 Armin Biere JKU Linz

Page 13: Diskrete Strukturen - Johannes Kepler University Linzfmv.jku.at/ds/dsgraph.pdf · 2012-10-05 · Fur zwei Knoten¨ x und y gibt es mindestens einen Weg von x nach y. Gabe es einen

1. Schritt GraphenVersion 2012.2

13

(i) X ist ein Baum.

X ist zusammenhangend.

Fur zwei Knoten x und y gibt es mindestens einen Weg von x nach y.

Gabe es einen zweiten Weg von x nach y, dann hatte X einen Kreis.

Solch einen zweiten Weg kann es also nicht geben, da ein Baum keinen Kreis hat.

(ii) Je zwei Knoten in X sind durch genau einen Weg in X verbunden.

Diskrete Strukturen #342207 WS 2010 Armin Biere JKU Linz

Page 14: Diskrete Strukturen - Johannes Kepler University Linzfmv.jku.at/ds/dsgraph.pdf · 2012-10-05 · Fur zwei Knoten¨ x und y gibt es mindestens einen Weg von x nach y. Gabe es einen

2. Schritt GraphenVersion 2012.2

14

(ii) Je zwei Knoten in X sind durch genau einen Weg in X verbunden.

Unmittelbar ergibt sich, dass X zusammenhangend ist.

Fur |V (X)| ≤ 2 folgt die Aussage trivialerweise.

Wahle x,y ∈V (X) mit {x,y} ∈ E(X).

Nimmt man die Kante {x,y} weg so zerfallt X in disjunkte Y , Z.

|V (X)| = |V (Y )|+ |V (Z)|

Induktionsannahme

= (|E(Y )|+1) + (|E(Z)|+1) = |E(X)|+2−1 = |E(X)|+1

(iii) X ist zusammenhangend und |V (X)|= |E(X)|+1.

Diskrete Strukturen #342207 WS 2010 Armin Biere JKU Linz

Page 15: Diskrete Strukturen - Johannes Kepler University Linzfmv.jku.at/ds/dsgraph.pdf · 2012-10-05 · Fur zwei Knoten¨ x und y gibt es mindestens einen Weg von x nach y. Gabe es einen

3. Schritt GraphenVersion 2012.2

15

(iii) X ist zusammenhangend und |V (X)|= |E(X)|+1.

Schneide aus X sukzessive Endpunkte heraus.

Ist kein Knoten mehr ubrig sind wir fertig, denn die entfernten Endpunkte waren immer nurdurch einen Weg, mit den restlichen Knoten verbunden.

Ansonsten ist der resultierende Graph Y immer noch zusammenhangend.

Er erfullt |V (Y )|= |E(Y )|+1, und besitzt keine Endpunkte.

Mit der Grad-Formel erhalt man:

2 · |E(Y )| = ∑x∈V (Y )

d(x) ≥ 2 · |V (Y )| = 2 · (|E(Y )|+1) = 2 · |E(Y )|+2 Widerspruch!

(iv) X besitzt keinen Kreis und |V (X)|= |E(X)|+1.

Diskrete Strukturen #342207 WS 2010 Armin Biere JKU Linz

Page 16: Diskrete Strukturen - Johannes Kepler University Linzfmv.jku.at/ds/dsgraph.pdf · 2012-10-05 · Fur zwei Knoten¨ x und y gibt es mindestens einen Weg von x nach y. Gabe es einen

4. Schritt GraphenVersion 2012.2

16

(iv) X besitzt keinen Kreis und |V (X)|= |E(X)|+1.

Seien X1 . . .Xn die Komponenten von X .

Die Komponenten sind kreislos und zusammenhangend, also alle Baume und es gilt:

|V (X)| =n

∑i=1|V (Xi)| =

n

∑i=1

(|E(Xi)|+1) = n+n

∑i=1|E(Xi)| = n+ |E(X)|

Nach Voraussetzung muß deshalb n = 1 sein.

(i) X ist ein Baum (kreislos und zusammenhangend)

Diskrete Strukturen #342207 WS 2010 Armin Biere JKU Linz

Page 17: Diskrete Strukturen - Johannes Kepler University Linzfmv.jku.at/ds/dsgraph.pdf · 2012-10-05 · Fur zwei Knoten¨ x und y gibt es mindestens einen Weg von x nach y. Gabe es einen

Spannende Baume GraphenVersion 2012.2

17

Def. Fur einen zusammenhangenden Graphen X ist ein Teilgraph Y einSpannender Baum, wenn Y ein Baum ist und V (X) =V (Y ).

Anm. Bei nicht zusammenhangenden Graphen ersetze “Baum” durch “Wald”.

Frage Wann ist Y gesattigt?

Diskrete Strukturen #342207 WS 2010 Armin Biere JKU Linz

Page 18: Diskrete Strukturen - Johannes Kepler University Linzfmv.jku.at/ds/dsgraph.pdf · 2012-10-05 · Fur zwei Knoten¨ x und y gibt es mindestens einen Weg von x nach y. Gabe es einen

Hypergraphen GraphenVersion 2012.2

18

Def. Ein Hypergraph X = (V,E) besteht aus einer Menge von Knoten V =V (X) und einerMenge von Kanten E(X), welche nichtleere Teilmengen von V beinhaltet, d.h. E ⊆P(V )− /0.

x

y

i

o

s

Die Gatter dieses Schaltkreises sind (eigentlich gerichtete) Hyper-Kanten.

Anm. Man kann Hyper-Graphen durch Graphen simulieren, indem man entweder alleKnoten in einer Hyper-Kante paarweise verbindet, oder Knoten fur Hyper-Kanten einfuhrt.

Diskrete Strukturen #342207 WS 2010 Armin Biere JKU Linz

Page 19: Diskrete Strukturen - Johannes Kepler University Linzfmv.jku.at/ds/dsgraph.pdf · 2012-10-05 · Fur zwei Knoten¨ x und y gibt es mindestens einen Weg von x nach y. Gabe es einen

Gerichtete Graphen GraphenVersion 2012.2

19

Def. Ein gerichteter Graph X (kurz gGraph) besteht aus einer Menge V = V (X), denKnoten von X , und einer Menge E = E(X) von geordneten Paaren (x,y) verschiedenerElemente aus V , den Kanten von X . E ⊆V ×V

Anm. Oft lasst man auch Schleifen und Mehrfach-Kanten zu.

Anm. Jeder gGraph entspricht einer binaren Relation uber V und umgekehrt, und . . .

Anm. . . . jeder ungerichtete Graph einer symmetrischen binaren Relation.

Def. Zu einem gGraph X definiere seinen ungerichteten Graphen Xu als:

V u =V und Eu = {{x,y} | (x,y) ∈ E oder (y,x) ∈ E}

Def.

d+(x) = |{(x,y) | (x,y) ∈ E(X)}|, d−(x) = |{(y,x) | (y,x) ∈ E(X)}| d(x) = d+(x)+d−(x)

Fakt ∑x∈V

d+(x) = ∑x∈V

d−(x) = |E|

Diskrete Strukturen #342207 WS 2010 Armin Biere JKU Linz

Page 20: Diskrete Strukturen - Johannes Kepler University Linzfmv.jku.at/ds/dsgraph.pdf · 2012-10-05 · Fur zwei Knoten¨ x und y gibt es mindestens einen Weg von x nach y. Gabe es einen

Starker Zusammenhang GraphenVersion 2012.2

20

Def. Gerichtete gKantenfolge, gWeg, und gKreis definiert analog zum ungerichteten Fall.

Def. gGraph heißt stark zusammenhangend, wenn alle Knoten durch gWeg verbunden.

Anm. Es muss also nicht nur einen Weg von x nach y sondern auch umgekehrt in einemstark zusammenhangenden gGraph auch einen Weg von y nach x.

Diskrete Strukturen #342207 WS 2010 Armin Biere JKU Linz

Page 21: Diskrete Strukturen - Johannes Kepler University Linzfmv.jku.at/ds/dsgraph.pdf · 2012-10-05 · Fur zwei Knoten¨ x und y gibt es mindestens einen Weg von x nach y. Gabe es einen

Stark Zusammenhangende Komponente GraphenVersion 2012.2

21

Def. Eine Stark Zusammenhangende Komponente eines gGraphen X ist ein maximaler,stark zusammenhangender Teilgraph von X .

Anm. Statt kreislos spricht man bei gGraphen von azyklisch.DAG = Directed Acyclic Graph.

Satz Die Stark Zusammenhangenden Komponenten partitionieren die Knoten von X .

Bew. Geg. zwei stark zusammenhangende Komponenten Y und Z mit x ∈ ∩Z.

Dann ist jeder Knoten y aus Y von x erreichbar und umgekehrt.

Dasselbe gilt fur alle Knoten z ∈ Z.

Diese Wege verbinden alle y ∈ Y mit allen z ∈ Z und umgekehrt.

X ∪Y ist ein stark zusammenhangender Teilgraph von X .

Also X = Y = Z, da Y und Z als stark zusammenhangende Komponenten, maximal sind.Diskrete Strukturen #342207 WS 2010 Armin Biere JKU Linz

Page 22: Diskrete Strukturen - Johannes Kepler University Linzfmv.jku.at/ds/dsgraph.pdf · 2012-10-05 · Fur zwei Knoten¨ x und y gibt es mindestens einen Weg von x nach y. Gabe es einen

Stark Zusammenhangende Komponenten Satze GraphenVersion 2012.2

22

Satz Ein gGraph ist stark zusammenhangend gdw. X zusammenhangend ist und jedeKante e ∈ E(X) auf einem gKreis in X liegt.

Fakt Fasst man alle Knoten einer stark zusammenhangenden Komponente zu einemKnoten zusammen, so erhalt man einen gKreislosen gGraphen.

Satz (Topologisches Sortieren) Die Knoten x1, . . . ,xn eines gKreislosen gGraphen lassensich so anordnen, dass i < j aus (xi,x j) ∈ E folgt.

Diskrete Strukturen #342207 WS 2010 Armin Biere JKU Linz

Page 23: Diskrete Strukturen - Johannes Kepler University Linzfmv.jku.at/ds/dsgraph.pdf · 2012-10-05 · Fur zwei Knoten¨ x und y gibt es mindestens einen Weg von x nach y. Gabe es einen

Gerichtete Baume GraphenVersion 2012.2

23

Def. Ein azyklischer gGraph X ist ein gBaum wenn d−(x) = 0 fur genau einen Knoten x,den Wurzelknoten, und d−(y) = 1 fur alle anderen Knoten y.

Def. Ein Endpunkt eines gBaumes heißt Blatt.

Genauer muss man fur |V | ≥ 2 den Wurzelknoten ausnehmen

Fakt Der ungerichtete Graph Xu zu einem gBaum X ist ein Baum.

Def. In einem Binarer gBaum gilt d+(x)≤ 2.

Def. Die Hohe eines gBaumes ist die Lange des langsten (g)Weges von der Wurzel zueinem Blatt.

Diskrete Strukturen #342207 WS 2010 Armin Biere JKU Linz

Page 24: Diskrete Strukturen - Johannes Kepler University Linzfmv.jku.at/ds/dsgraph.pdf · 2012-10-05 · Fur zwei Knoten¨ x und y gibt es mindestens einen Weg von x nach y. Gabe es einen

Balancierung GraphenVersion 2012.2

24

Def. Ein gBaum ist balanciert, wenn fur jeden seiner Knoten gilt, dass sich die Hohe derTeilbaume mit seinen Kindern als Wurzeln hochstens um 1 unterscheiden.

Anm. Balancierte Baume sind immer “niedrig”. Logarithmisch hoch in |V |

Anm. Benutzt man Balancierte Baume, um Informationen zu speichern, so sind sowohldas Suchen als auch das Einfugen effizient.

M

Q

X ZOJFB

Y

SC

HA

Diskrete Strukturen #342207 WS 2010 Armin Biere JKU Linz

Page 25: Diskrete Strukturen - Johannes Kepler University Linzfmv.jku.at/ds/dsgraph.pdf · 2012-10-05 · Fur zwei Knoten¨ x und y gibt es mindestens einen Weg von x nach y. Gabe es einen

Vollstandigkeit und Durchmesser GraphenVersion 2012.2

25

Def. Ein ungerichteter Graph heißt vollstandig wenn E = {{x,y} | x,y ∈V}.

Fakt. Ein vollstandiger Graph hat n · (n−1)/2 Kanten.

K1

K2

K3

K4

K5

Def. Der Durchmesser eines zusammenhangenden Graphen ist die Lange des langstenkurzesten Weges zwischen zwei Knoten.

Oder, wie lang ist ein Weg maximal um von einem Knoten zu einem anderen zu gelangen.

Wie lang kann ein Weg in einem Graphen in Relation zum Durchmesser sein?

Diskrete Strukturen #342207 WS 2010 Armin Biere JKU Linz

Page 26: Diskrete Strukturen - Johannes Kepler University Linzfmv.jku.at/ds/dsgraph.pdf · 2012-10-05 · Fur zwei Knoten¨ x und y gibt es mindestens einen Weg von x nach y. Gabe es einen

Clique, Knotenuberdeckung, NP GraphenVersion 2012.2

26

Def. Eine k-Clique eines Graphen ist ein vollstandiger Teilgraph.

Anm. Es ist schwierig zu bestimmen, ob ein Graph eine k-Clique besitzt.

Problem ist NP-vollstandig

Was bedeutet, dass nur exponentielle Algorithmen bekannt sind

Def. Eine Knotenuberdeckung ist ein W ⊆V , falls jede Kante ein x ∈W besitzt.

Fakt Eine min. Knotenuberdeckung zu finden ist so schwer wie eine max. Clique.

Es gibt noch viele weitere NP-harte Probleme

In der Praxis trifft man haufig auf NP-harte Graphen-Probleme.

Diskrete Strukturen #342207 WS 2010 Armin Biere JKU Linz

Page 27: Diskrete Strukturen - Johannes Kepler University Linzfmv.jku.at/ds/dsgraph.pdf · 2012-10-05 · Fur zwei Knoten¨ x und y gibt es mindestens einen Weg von x nach y. Gabe es einen

Hamilton’scher Kreis GraphenVersion 2012.2

27

Def. Ein geschl. Kantenzug, der alle Knoten besucht, heißt Hamilton’scher Kreis.

Anm. Es ist sehr schwierig, zu bestimmen, ob ein Hamilton’scher Kreis existiert.

Problem ist NP-vollstandig

Im Worst-Case muss man alle Moglichkeiten durchprobieren

Diskrete Strukturen #342207 WS 2010 Armin Biere JKU Linz

Page 28: Diskrete Strukturen - Johannes Kepler University Linzfmv.jku.at/ds/dsgraph.pdf · 2012-10-05 · Fur zwei Knoten¨ x und y gibt es mindestens einen Weg von x nach y. Gabe es einen

Hamilton’scher Kreis GraphenVersion 2012.2

28

Def. Ein geschl. Kantenzug, der alle Knoten besucht, heißt Hamilton’scher Kreis.

Anm. Es ist sehr schwierig, zu bestimmen, ob ein Hamilton’scher Kreis existiert.

Problem ist NP-vollstandig

Im Worst-Case muss man alle Moglichkeiten durchprobieren

Diskrete Strukturen #342207 WS 2010 Armin Biere JKU Linz

Page 29: Diskrete Strukturen - Johannes Kepler University Linzfmv.jku.at/ds/dsgraph.pdf · 2012-10-05 · Fur zwei Knoten¨ x und y gibt es mindestens einen Weg von x nach y. Gabe es einen

Eulertour GraphenVersion 2012.2

29

Petersburger Bruckenproblem

Def. Ein Kantenzug ist eine Kantenfolge, bei der jede Kante einmal vorkommt.

Def. Eine Eulertour ist ein geschl. Kantenzug, in der jede Kante genau einmal vorkommt.

Satz Ein zusammenhangender Graph hat eine Eulertour gdw. Knoten geraden Grad haben.

Anm. Damit ist der Nachweis der Existenz einer Eulertour einfach. liegt in P

Diskrete Strukturen #342207 WS 2010 Armin Biere JKU Linz