Algorithmen und Datenstrukturen

Werbung
1
Algorithmen und Datenstrukturen
Wintersemester 2015/16
20. Vorlesung
Tiefensuche und topologische Sortierung
Prof. Dr. Alexander Wolff
Lehrstuhl für Informatik I
2
2. Test
43
112
= 72 %
Test 1:
125/175 = 71 %
Test 2:
Test 1:
n = 155
n = 175
Median = 14
Median = 14,5
arithm. Mittel = 13,1
arithm. Mittel = 14,2
3
3. Test
Termin: Di, 19. Januar, 10:00–12:00 Uhr, Zuse-HS
Themen:
–
–
–
–
–
Binäre Suchbäume
Rot-Schwarz-Bäume: R-S-Eigenschaften und log. Höhe
Augmentieren von DS, insbes. von R-S-Bäumen
Amortisierte Analyse
Graphen und Breitensuche
Viel Erfolg!
Übrigens. . .
Es kommen noch 2 Übungsblätter: #9 (19.1.) und #10 (26.1.).
Denken Sie an die 50%-Marke für den Bonus (bzw. Übungsmodul oder Klausurzulassung in älteren Studienordnungen).
4
?
$
Maze-01 Grüningen hedge maze 1576 (destroyed)“
”
von RTH – Eigenes Werk. Lizenziert unter CC BY-SA 3.0 über Wikimedia Commons
5
Tiefensuche
Eingabe:
u
(un)gerichteter Graph G
discovery finish
time
time
π
1/–
1/8
V
Ausgabe: – Besuchsintervalle
(
u
.
d
/
u
.
f
)
4/5
4/–
π
– DFS-Wald
x
v
w
2/–
2/7
9/12
9/–
K
R
3/–
3/6
10/11
10/–
z R
– Klassifizierung der Graphkanten: Farbe Zielknoten:
• Baumkanten (Kanten von Gπ ) weiss
y
Kanten des DFS-Waldes (in Gegenrichtung)
• Rückwärtskanten (R)
grau
Nicht-Baumkanten zu einem Vorgängerknoten
• Vorwärtskanten (V)
Nicht-Baumkanten zu einem Nachfolgerknoten
• Kreuzkanten (K)
Kanten, bei denen kein Endpunkt Vorgänger des anderen ist.
schwarz und
start.d < ziel.d
schwarz und
start.d > ziel.d
6
Tiefensuche – Pseudocode
u
1/8
DFS(Graph G = (V , E ))
foreach u ∈ V do
V R
u .color = white
4/5
u .π = nil
x
time = 0 // globale Variable!
foreach u ∈ V do
if u .color == white then DFSVisit(G , u )
DFSVisit(Graph G , Vertex u )
time = time + 1
u .d = time; u .color = gray
foreach v ∈ Adj[u ] do
if v .color == white then
v .π = u ; DFSVisit(G , v )
time = time + 1
u .f = time; u .color = black
v
w
2/7
9/12
K
3/6
y
10/11
z R
Laufzeit
von DFS?
DFSVisit wird nur für
weiße Knoten aufgerufen.
In DFSVisit wird der neue
Knoten sofort gefärbt.
⇒ DFSVisit wird für jeden
Knoten genau 1× aufgerufen.
DFS ohne if
O(V ) Zeit
(out-)
DFSVisit ohne Rek. O(deg u)
DFS gesamt
O(V + E ) Zeit
7
Tiefensuche – Eigenschaften
3/6
4/5
y
z
2/9
7/8
x
1/10
w
12/13
s
11/16
14/15
v
t
u
s z y (x x) y w w z s
t v v u u t
s
t
B
z
v
u
R
V
R
1 2
y
w
x
K
5
10
15
time
DFSVisit(Graph G , Vertex u )
time = time + 1
u .d = time; u .color = gray
foreach v ∈ Adj[u ] do
if v .color == white then
v .π = u ; DFSVisit(G , v )
Tiefensuche – Sätze
Satz.
(Klammerntheorem)
time = time + 1
u .f = time; u .color = black
V
2
Nach DFS(G ) gilt für {u , v } ∈
genau eine der Bedingungen
(i) Besuchsintervalle disjunkt und
Baumkanten enthalten weder u -v - noch v -u -Weg.
(ii) [u .d , u .f ] ⊂ [v .d , v .f ] und Baumkanten enthalten v -u -Weg.
(iii) Wie (ii), nur umgekehrt.
Beweis. Wir betrachten zwei Fälle.
1. Fall: u .d < v .d .
A) v .d < u .f ,. d.h. v wurde entdeckt, als u noch grau war.
⇒ v ist Nachfolger von u , d.h. es gibt einen u -v -Weg.
Wegen u .d < v .d gilt: v wurde später als u entdeckt.
⇒ alle Kanten, die v verlassen, sind erforscht;
v wird schwarz, bevor DFS zu u zurückkehrt und u
schwarz macht ⇒ [v .d , v .f ] ⊂ [u .d , u .f ]
X
8-17
DFSVisit(Graph G , Vertex u )
time = time + 1
u .d = time; u .color = gray
foreach v ∈ Adj[u ] do
if v .color == white then
v .π = u ; DFSVisit(G , v )
Tiefensuche – Sätze
Satz.
(Klammerntheorem)
8-35
time = time + 1
u .f = time; u .color = black
V
2
Nach DFS(G ) gilt für {u , v } ∈
genau eine der Bedingungen
(i) Besuchsintervalle disjunkt und
Baumkanten enthalten weder u -v - noch v -u -Weg.
(ii) [u .d , u .f ] ⊂ [v .d , v .f ] und Baumkanten enthalten v -u -Weg.
(iii) Wie (ii), nur umgekehrt.
Beweis. Wir betrachten zwei Fälle.
X
X
B) u .f < v .d . X
1. Fall: u .d < v .d .
A) v .d < u .f .
2. Fall: v .d < u .d . Symmetrisch!
X
(Vertausche im Beweis u ↔ v .)
Laut Code gilt u .d < u .f < v .d < v .f (siehe Code).
⇒ [u .d , u .f ] ∩ [v .d , v .f ] = ∅
⇒ Keiner der beiden Knoten wurde entdeckt, während
der andere noch grau war., d.h. keiner Nachf. des anderen.
9
Einschub: Vorlesungsumfrage
Nutzen Sie die Vorlesungsbefragung – zu konstruktiver Kritik!
Von besseren Vorlesungen profitieren
Sie (wenn Sie die nächste Veranstaltung bei mir hören)
Ihre Nachfolger (im nächsten Wintersemester)
ich (Gute Lehre macht Spaß! Gute Klausurergebnisse auch!)
JETZT!
Vielen Dank!
Suchen Sie in Ihrem
stud-mail-Konto nach einer
Email von EvaSys!
Folgen Sie dem Link und geben
Sie die TAN ein.
10
Tiefensuche in ungerichteten Graphen
Satz.
G ungerichtet
⇒ G hat nur Baum- und Rückwärtskanten.
Beweis. Sei uv (kurz für {u , v }) eine beliebige Kante von G .
O.B.d.A. gilt u .d < v .d .
Dann entdeckt DFS v und färbt v schwarz, bevor u
schwarz gefärbt wird (da v ∈ Adj[u ]).
Falls DFS uv zum ersten Mal von u nach v
überschreitet, ist v zu diesem Zeitpunkt weiss.
Dann ist uv Baumkante.
Andernfalls ist uv R-Kante, da u schon (und
immer noch) grau ist, wenn uv zum 1. Mal
überschritten wird (und zwar von v nach u ).
11-7
Ablaufplanung
Kante bedeutet:
Unterhose vor
Hose anziehen!
Unterhose
Socken
Hose
Schuhe
Gürtel
Uhr
Schal
T-Shirt
Anorak
Pulli
Aufgabe: Finde Ablaufplan –
d.h. Reihenfolge der Knoten, so dass alle Einschränkungen erfüllt sind (z.B. T-Shirt vor Pulli).
Topologische Sortierung: Lineare Ordnung der Knoten, so dass
aus (u , v ) ∈ E folgt: u kommt vor v .
11-2
Ablaufplanung
Kante bedeutet:
Unterhose vor
Hose anziehen!
1/8
2/7
Hose
5/6
Gürtel
14/15
Schal
Unterhose
Socken 19/20
Schuhe 3/4
Uhr
9/10
T-Shirt 11/18
Anorak
Pulli 12/17 DFS-Besuchsintervalle
Idee: Nutze Tiefensuche! ⇒ Alle Kanten sind nach rechts gerichtet.
Sortiere Knoten nach absteigenden f -Zeiten.
13/16
19/20
11/18
12/17
13/16
14/15
Socken
T-Shirt
Pulli
Anorak
Schal
Uhr
Unterhose
Hose
Gürtel
Schuhe
9/10
1/8
2/7
5/6
3/4
12
Topologisch sortieren
Topologische Sortierung: Lineare Ordnung der Knoten, so dass
aus (u , v ) ∈ E folgt: u kommt vor v .
TopologicalSort(DirectedGraph G )
Laufzeit?
L = new List()
O (V + E )
DFS(G ) mit folgender Änderung:
Wenn ein Knoten schwarz gefärbt wird, Korrekt?
Wann funkhäng ihn vorne an die Liste L an.
tioniert’s?
return L
Def. Ein (gerichteter) Graph ist kreisfrei,
wenn er keinen (gerichteten) Kreis enthält.
13
Kreisfrei ⇔ keine R-Kanten
Lem.
Ein gerichteter Graph G ist kreisfrei
⇔ DFS(G ) liefert keine Rückwärtskanten.
Beweis. ⇒“ Sei G kreisfrei.
”
Angenommen DFS(G ) liefert R-Kante (u , v ).
v
Dann ist u Nachfolger von v im DFS-Wald.
D.h. G enthält einen gerichteten v -u -Weg W .
W
Aber dann ist W ⊕ (u , v ) ein gerichteter Kreis.
u
⇐“ DFS(G ) liefere keine R-Kanten.
”
Ang. G enthält trotzdem Kreis C = hv1 , . . . , vk i.
Sei vi der 1. Knoten in C , den DFS(G ) erreicht.
Es gibt einen Weg von vi nach vi −1 in G .
⇒ DFS gelangt zu vi −1 , solange vi grau ist.
⇒ (vi −1 , vi ) ist R-Kante.
14
Korrektheit von TopologicalSort
Satz.
Sei G ein gerichteter kreisfreier Graph. Dann liefert
TopologicalSort(G ) eine topologische Sortierung von G .
Beweis. Sei L = hvn , vn−1 , . . . , v1 i = TopologicalSort(G ).
Dann gilt v1 .f < v2 .f < · · · < vn .f .
Sei (u , v ) Kante von G . Zu zeigen: v .f < u .f
Welche Farbe hat v , wenn DFS (u , v ) überschreitet?
zu Lemma:
v grau
⇒ (u , v ) ist R-Kante
G kreisfrei!
v weiß
⇒ v Nachfolger von u ⇒ v .f < u .f
X
v schwarz ⇒ u .f noch nicht gesetzt, v .f gesetzt
⇒ v .f < u .f X
15
Vergleich Durchlaufstrategien für Graphen
Breitensuche
Tiefensuche
Laufzeit
O (V + E )
O (V + E )
Ergebnis
BFS-Baum,
d.h. kürzeste Wege
d - und f -Werte,
z.B. für top. Sortierung
Schlange
Rekursion bzw. Stapel
nicht-lokal
lokal
Datenstruktur
Vorgehen
Herunterladen