Übung 11
Aufgabe 1: Algorithmus von Kruskal
- Nach kruskal sortieren wir nach den Kantengewichten (die Zahlen da an der seite lol)
- Die aufgabe definiert, dass wir das Aufsteigend machen sollen
- Die sind in dieser Reihenfolge:
- erst 1,3, da die näher an 1 dran ist
- wir sortieren immer nach Gewicht, und dann eben der Lexegographischen Reihenfolge
- Am Anfang haben wir keine Kanten in unserem Baum und für jeden Knoten seine eigene Zusammenhangskomponente
- Das heiß́t, unser baum sieht "mengentechnisch" so aus:
- Wir führen jetzt den Algo von Kruskal aus, so auch in der Klausur notieren:
- Wir fügen also zuerst die Kante zwischen 1 und 3 an und überprüfen, ob diese eine unendliche schleife generiert (einen Kreis verursacht)
- Tut sie nicht, deswegen fügen wir das dann in unsere Zusammenhangskomponente ein
- Einfügen
- Einfügen
- Einfügen
- Einfügen
- würde einen Kreis verursachen, nehmen wir daher nicht auf
- Einfügen
- Einfügen
- Einfügen
- Alle folgenden Kanten würden (mind.) einen Kreis verursachen und werden daher nicht aufgenommen
- Das finale ist dann:
- Mit kosten 11, nachdem man das gewicht der Kanten summiert hat
Aufgabe 2: Minimaler Spannwald
a)
- Option A)
- wir fügen einfach einen neuen knoten an mit den höchsten kosten an jeder kante
- dann ist das halt das teuerste auf jedem weg, deswegen lohnt sich das dann nich
- Option B)
- Wir fügen einfach überall wo der Graph nicht zusammenhängt, eine Kante mit relativ hohen Kosten ein , damit sich das wie oben wieder nicht lohnt
- Führe Jarnik-Prim auf diesem "zusammengebauten" Graphen aus
- Entferne anschliessend die "klebekanten" und spuck das dann aus
Korrektheit:
- Wir zeigen: Der Spannbaum den Janik-Prim auf dem modifizieren Graphen bestimmt, besteht aus
- einem Spannbaum für jede Zusammenhangskomponente von und
- Kanten auf Ê, die zwei Zusammenhangskomponenten verbinden (je höchstens eine pro Paar von Zusammenhangskomponente)
Begründung:
- Keine Kanten aus Ê werden Innerhalb einer Zusammenhangskomponente verwendet: gilt wegen kreiseigenschaften und Korrektheit Janik-Prim
- Zwischen zwei Zusammenhangskomponenten wird höchstens eine Kante aus Ê (E-Dach) verwendet
b)
- max Kantengewicht (Adj, listen)
- Absteigend bei Kante aus Graph mit
- Janik-Prim Kanten
- Entfernen den Kanten aus