9. Übungsblatt zu Algorithmen I im SoSe 2016

Transkript

1 Karlsruher Institut für Technologie Institut für Theoretische Informatik Prof. Dr. Dennis Hofheinz Lukas Barth, Lisa Kohl 9. Übungsblatt zu Algorithmen I im SoSe 06 https//crypto.iti.kit.edu/index.php?id=algo-sose6 {lisa.kohl,lukas.barth}@kit.edu Aufgabe (Dijkstra, 4 Punkte) Musterlösungen Wir beschäftigen uns mit dem Algorithmus von Dijkstra aus der Vorlesung. Sei ein Graph G = (V, E) wie unten dargestellt. Führen Sie Dijkstras Algorithmus auf G aus. Sie können die Darstellung von G benutzen, um die Ergebnisse nach der Ausführung darin einzutragen. Schreiben Sie dazu in jeden Knoten v V rechts vom Doppelpunkt die Länge des kürzesten Pfads vom Startknoten s aus gesehen und links vom Doppelpunkt den Vorgänger auf diesem kürzesten Pfad. Zeichnen Sie den Baum der kürzesten Wege von s zu allen anderen Knoten aus V in G ein. Geben Sie die Reihenfolge der Knoten an, in der sie als scanned markiert werden. Geben Sie außerdem für jeden Knoten v V alle Zwischenwerte d[v] und parent[v] an, die während Ausführung des Algorithmus angenommen werden. Darstellung von G a 0 s b 7 c d 6 6e e f Musterlösung Die Knoten werden in der Reihenfolge s, d, c, e, f, b, a als scanned markiert. Weiter gilt für die Werte von d und parent d[s] = 0 und parent[s] = s während der gesamten Ausführung d[a] = und parent[s] = nach Initialisierung, d[a] = 0 und parent[s] = s nach Relaxieren der von s ausgehenden Kanten, d[a] = 9 und parent[s] = c nach Relaxieren der von c ausgehenden Kanten und schließlich d[a] = 8 und parent[s] = b nach Relaxieren der von b ausgehenden Kanten d[b] =,, 7 und parent[b] =, c, e

2 d[c] =,, 4 und parent[b] =, s, d d[d] =, und parent[b] =, s d[e] =, 7, und parent[b] =, d, c d[f] =, 7, 6 und parent[b] =, d, e a b8 0 s s0 b e7 7 c d4 d s 6 6e e c f e6 Aufgabe (Unzuverlässige Kommunikation, 4 Punkte) Sie sind Administrator eines Computernetzwerks bestehend aus n Rechnern und Netzwerkverbindungen zwischen diesen. Leider sind die Netzwerkverbindungen nicht absolut zuverlässig Jede Verbindung zwischen zwei Rechnern a und b hat eine Wahrscheinlichkeit 0 < p (a,b) <, dass ein auf dieser Verbindung gesendetes Paket nicht ankommt. Die Verbindungen sind gerichtet, das heißt es kann sein, dass p (a,b) p (b,a) gilt. Ihre Aufgabe ist es nun, zwischen zwei gegebenen Rechnern einen möglichst zuverlässigen Pfad zu finden. Geben Sie hierfür einen möglichst effizienten Algorithmus an, und begründen Sie kurz, warum dieser funktioniert. Musterlösung Das Problem wird natürlich als Graph modelliert Hier stehen Knoten für Rechner und Kanten für Verbindungen zwischen Rechnern. Die Kantengewichte c E (0, ) symbolisieren dabei die Wahrscheinlichkeit, dass ein Paket auf der entsprechenden Kante erfolgreich versendet wird, also c((a, b)) = p (a,b). Sei nun ein Startrechner S und ein Zielrechner T gegeben. Wir führen einen modifizierten Algorithmus von Dijkstra aus Die vorläufigen Distanzen d[v] stehen nun für die Zuverlässigkeit des vorläufig besten gefundenen Pfades von S nach v und werden mit 0 (statt mit ) initialisiert (Ausnahme d[s] = ). Das parent-feld funktioniert wie in Dijkstras Algorithmus und speichert den Vorgänger im vorläufig besten Pfad. Eine Kante (u, v) wird relaxiert, indem die vorläufige Zuverlässigkeit von S nach u mit c((u, v)) multipliziert wird, und die vorläufige Zuverlässigkeit von S nach v (zusammen mit dem parent-zeiger) aktualisiert wird, falls ein besserer Pfad gefunden wurde, also d[v] = max{d[v], d[u] c((u, v))}

3 Die Prioritätswarteschlange ist in unserem Fall ein Max-Heap, der die vorläufige Zuverlässigkeit d[v] als Schlüssel verwendet. Der Korrektheitsbeweis funktioniert analog zu Dijkstras Algoritmus Zunächst ist es wichtig zu sehen, dass in dem Moment, in dem ein Knoten v aus der Prioritätswarteschlange entfernt wird, kein Pfad mit höherer Zuverlässigkeit als d[v] von S nach v mehr existieren kann. Wir beweisen dies mittels Induktion über die Länge des optmialen S v-pfades Für Länge ist die Behauptung trivialerweise wahr Der Pfad besteht nur aus S, d[s] =, und besser wird es nicht. Gelte nun also die Behauptung für eine beliebige, aber feste Pfadlänge l. Sei der Pfad P = S,..., u, v ein optimaler S v-pfad der Länge l +. Wenn zu dem Zeitpunkt, zu dem v aus dem Heap genommen wird, parent[v] = u gilt, dann ist d[v] per Definition optimal. Angenommen also, dass parent[v] = w u gilt, und dass d[v] = d[w] c((w, v)) < d[u] c((u, v)). Wir wissen, dass die Länge des optimalen S u-pfades P = S,... u hier l ist (da P eine Länge von l + hat). Nach Induktionsvorraussetzung wurde also d[u] korrekt berechnet, und insbesondere muss d[u] > d[v] gelten. Damit wurde aber u bereits vor v aus dem Max-Heap entfernt, die Kante (u, v) wurde relaxiert und d[v] wurde korrekterweise auf d[u] c((u, v)) gesetzt. Somit kann d[v] > d[u] c((u, v)) nicht mehr gelten. Mit dieser Einsicht ist es einfach, die Korrektheit des gesamten Algorithmus zu sehen Für jeden Knoten v gilt, dass falls es überhaupt einen S v-pfad gibt, v irgendwann in den Max-Heap eingefügt, und somit v auch irgendwann aus dem Max-Heap entfernt wird. Damit wird der optimale Pfad zu jedem von S erreichbaren Knoten errechnet. Für alle nicht erreichbaren Knoten bleibt d[v] = 0 gesetzt, was die Nichterreichbarkeit korrekt abbildet. Das Finden eines optimalen S T -Pfades beschränkt sich danach darauf, die parent-einträge korrekt von T zu S zurückzuverfolgen. Aufgabe (Verbesserter Bellman-Ford-Algorithmus, + 4 Punkte) Gegeben sei folgende Verbesserung des Bellman-Ford-Algorithmus Im gerichteten Graphen G = (V, E) weisen wir zunächst den Knoten eine beliebige aber feste Ordnung zu. Die Knoten seien nun V = v, v, v,... v n. Nun können wir E in zwei Teile E f E b = E aufteilen, sodass E f = {(v i, v j ) E i < j} und E b = {(v i, v j ) E i > j} gilt. Intuitiv enthält E f also alle Kanten, die von einem kleineren auf einen größeren Knoten zeigen (E b entsprechend umgekehrt). Weiterhin sei folgende Änderung des Bellman-Ford-Algorithmus gegeben Anstatt in jedem der n Durchläufe alle Kanten in irgendeiner Reihenfolge zu relaxieren, gehen wir in jedem Durchlauf wie folgt vor Wir betrachten die Knoten in der Reihenfolge v, v, v,... v n und relaxieren dabei für jeden Knoten alle Kanten in E f, die den Knoten verlassen. Danach betrachten wir alle Knoten in der Reihenfolge v n, v n,... v und relaxieren dabei für jeden Knoten alle Kanten in E b, die den Knoten verlassen. a) Zeigen Sie G f = (V, E f ) und G b = (V, E b ) sind jeweils DAGs. b) Zeigen Sie Die veränderte Version des Bellman-Ford-Algorithmus berechnet bereits nach n/ Schritten das Ergebnis, d.h. einen kürzesten s t-pfad oder (mindestens) einen negativen Kreis. Tipp Überlegen Sie sich, was der Algorithmus auf den folgenden zwei Graphen tut. Diese beiden Graphen sind nur als Hilfestellung angegeben. Zur Lösung dieser Aufgabe ist es nicht erforderlich, dass Sie den Algorithmus auf ihnen ausführen. Es hilft Ihnen aber hoffentlich. (a) Ein einfacher Pfadgraph V = {,,... n}, E = {(i, i + ) i {,... n }} (b) Zwei aufeinander zulaufende Pfadgraphen V = {,,... n} E = {(i, i + ) i {,... n }} {(i +, i) i { n... n, n}}

4 Musterlösung Zunächst sei angemerkt, dass diese Variante von Bellman-Ford bekannt ist als Yen s Improvement on Bellman-Ford. a) Angenommen, es gäbe einen Kreis in G f. Wir laufen (n + ) Schritte in diesem Kreis und schreiben die Indizes der hierbei gesehenen Knoten als Folge auf. Da alle Kanten in G f von einem kleineren auf einen größeren Index zeigen, muss diese Folge streng monoton steigend sein. In G f gibt es aber nur n Knoten, und somit nur n verschiedene Knotenindizes. Dies ist ein Widerspruch. Der Beweis für G b funktioniert analog. b) Sei P = S,... T ein optimaler S T -Pfad. Jede Kante in P liegt entweder in E f oder in E b. Die Idee ist nun, P in (maximale) Teilpfade zu zerlegen, die jeweils vollständig in G f bzw. G b liegen O.b.d.A. gehen wir davon aus, dass die erste Kante von P in E f und die letzte Kante von P in E b liegt. Dann lässt sich P schreiben als eine Folge von Teilpfaden P, P, P, P,..., P k, P k, wobei alle P i in G f, und alle P i in G b liegen. Es ist einfach zu sehen, dass k n gelten muss Ein Paar ( P i, P i ) enthält immer mindestens zwei Kanten, und P kann insgesamt maximal n Kanten enthalten. Wir zeigen nun, dass i Iterationen des veränderten Bellman-Ford-Algorithmus ausreichend sind, um den Teilpfad von P bis S,... P i, P i korrekt zu finden. Damit ist klar, dass nach k Iterationen P korrekt gefunden wurde. Dies zeigen wir induktiv Für i = 0 ist die Behauptung trivial wahr Der Teilpfad von P mit 0 ( P i, P i )-Paaren besteht nur aus S. Sei nun also i beliebig aber fest, und der Pfad P = S,... P i, P i somit korrekt gefunden. In der ersten Hälfte von Iteration i + betrachten wir nun die Knoten in Reihenfolge aufsteigender Indizes und relaxieren ihre ausgehenden Kanten in E f. Damit werden alle Kanten in P i+ in der Reihenfolge, in der sie in P i+ auftreten, relaxiert, und somit wird P um P i+ erweitert. In der zweiten Hälfte betrachten wir alles Knoten in umgekehrter Indexreihenfolge und relaxieren die eingehenden Kanten in E b. Damit werden nun alle Kanten in P i+ in der korrekter Reihenfolge relaxiert, und P um P i+ erweitert. Am Ende von Iteration i + wurde der Pfad P = S,... P i+, P i+ korrekt gefunden. Die Erkennung von negativen Kreisen funktioniert analog zum unveränderten Bellman-Ford- Algorithmus Sollte sich nach k Schritten noch eine vorläufige Distanz verändern, so liegt ein negativer Kreis vor. Aufgabe 4 (Doktor Meta, 6 Punkte) Als der ebenso orientierungsschwache wie unermüdliche Untersuperbösewicht Røbøt endlich in Doktor Metas geheimer Basis ankommt, ist Doktor Meta über die Verspätung und die übrige Ausbeute von -Cent-Stücken alles andere als erfreut. Um ihn in bessere Laune zu versetzen, erzählt Røbøt von den Begegnungen mit verschiedenen Bösewichten auf seinen Irrwegen durch das Tunnelsystem. Ein Superbösewicht hat genug von unzuverlässigen elektronischen Gehilfen und bietet deshalb eine große Menge von identischen Bauteilen vom Typ A für eine Preis von, Euro pro Bauteil zum Verkauf an. Ein Mittelbösewicht hat den Plan ein Roboterheer aufzubauen noch nicht aufgegeben hat und ist verzweifelt auf der Suche nach Bauteilen von Typ A. Er ist bereit je zwei Bauteile vom Typ A für je drei Bauteile vom Typ B, die er selbst noch übrig hat, zu tauschen. Ein vom gleichen Bausatz stammende und ähnlich fehlkonstruierte Unterbösewicht hat sich ebenso mit einer Menge Geld im Gepäck verlaufen. Sein Plan ist es einen Unterbösewichtsgehilfen zu bauen, der den Weg für ihn findet. Dazu möchte er Bauteile vom Typ B zum Preis von 0, 87 Euro pro Bauteil erwerben. Plötzlich ist Doktor Meta nicht mehr schlecht gelaunt, er rechnet nach, dass er so einen Euro ganz einfach in, 0 Euro verwandeln kann. Damit Røbøt beim nächsten Mal eine solche Gelegenheit von selbst erkennt, möchte Doktor Meta einen geeigneten Algorithmus entwerfen. 4

5 Seien dazu Allgemein eine Menge von angebotenen Objekten a,..., a n (im vorliegenden Fall Euros, Bauteile vom Typ A und Bauteile vom Typ B) gegeben und weiter eine Tabelle T, wobei T [i, j] jeweils angibt wieviele Einheiten von Objekt a j für ein Objekt a i angeboten werden. Im vorliegenden Fall ergibt sich also T [, ] = 0, 8, T [, ] =, und T [, ] = 0, 87 und damit T [, ] T [, ] T [, ] =, 0 >. Modellieren Sie das Problem mit Hilfe von einem geeigneten Graphen und konstruieren Sie einen effizienten Algorithmus, der entscheidet ob es eine Folge von Objekten a i,..., a ik gibt, sodass T [i, i ] T [i, i ] T [i k, i ] >. Analysieren Sie die Laufzeit Ihres Algorithmus. Musterlösung Wir möchten das Problem mit Hilfe des Bellman-Ford-Algorithmus lösen. Dazu modellieren wir jeden Typ von Objekten (also Euros und Bauteilen) als einen Knoten des Graphen G = (V, E), und jede Tauschmöglichkeit zwischen zwei Typen von Objekten als eine Kante zwischen den entsprechenden Knoten. Würden wir die Tauschkurse zwischen den Objekten direkt als Kantengewichte verwenden, müssten wir nun einen positiven Kreis finden, was Bellman-Ford nicht kann. Wir beobachten aber, dass T [i, i ] T [i, i ] T [i k, i ] > gleichbedeutend ist zu T [i, i ] T [i, i ] T [i k, i ] < Wenn wir nun beide Seiten logarithmieren ergibt sich log T [i, i ] + log T [i, i ] + log T [i k, i ] < 0 Wir definieren daher das Kantengewicht c E R als c((i j, i k )) = log T [i j,i k ] = log T [i j, i k ]. Ein Kreis mit negativem Gewicht in diesem Graphen entspricht einer gesuchten Folge von Objekttypen, mit der sich Gewinn durch Im-Kreis-Tauschen erzielen lässt. Fraglich ist noch, von welchem Knoten aus Bellman-Ford gestartet werden muss. Es ist nicht klar, dass ein Knoten existieren muss, von dem aus ein Pfad zu jedem negativen Kreis existiert. Daher fügen wir einen weiteren Knoten v 0 und Kanten (v 0, v i ) für alle v i V hinzu, und setzen c((v 0, v i )) = 0 für alle v i V. Wir starten Bellman-Ford auf v 0. Sei n die Anzahl der Arten Objekten, dann hat G n Knoten und bis zu n Kanten. Die Zeitkomplexität von Bellman-Ford liegt dann in O ( n ).