Algorithmen und Datenstrukturen: Lernpaket

Formelsammlungen, die wichtigsten Lösungsschritte zu jedem Thema und 6 Übungsaufgaben, mit vollständigen Lösungen am Ende.

Neue AufgabenZurück zum Kurs

Wähle im Druckfenster „Als PDF speichern“, um eine Kopie auf deinem Gerät zu behalten.

1Formeln und Methoden

Graphentheorie

Handschlaglemma
Σ deg(v) = 2|E|
Vollständige Graphen
|E(Kn)| = n(n − 1)/2, |E(Km,n)| = m·n
Regulärer Graph
|E| = n·k/2
Baum und Wald
|E| = n − 1, |E| = n − c
Blätter eines Baums
L = 2 + Σ (deg(v) − 2) over deg(v) ≥ 3
Euler
Kreis: alle Grade gerade; Weg: genau 2 ungerade Grade
Hamilton-Kreise in Kn
(n − 1)!/2
Dijkstra-Aktualisierung
d(v) = min(d(v), d(u) + w(u, v))
Wege der Länge L
(Mᴸ)ij

Methode

  1. Schreibe den Grad jedes Knotens auf; die Grade summieren sich zum Doppelten der Kantenzahl.
  2. Prüfe bei Euler-Aufgaben, ob der Graph zusammenhängend ist, und zähle die Knoten mit ungeradem Grad.
  3. Verwende bei Bäumen n − 1 Kanten und das Handschlaglemma.
  4. Führe bei Dijkstra eine Tabelle der vorläufigen Abstände und schließe in jeder Runde den kleinsten noch offenen Knoten ab.
  5. Sortiere für einen minimalen aufspannenden Baum die Kanten nach Gewicht und überspringe jede Kante, die einen Kreis schließt (Kruskal), oder lass einen Baum von einem Startknoten aus wachsen (Prim).

2Übungsaufgaben

1.Algorithmen & KomplexitätMittel

Was bedeutet es, dass ein Problem optimale Teilstruktur hat?

  1. ADas Problem hat genau eine optimale Lösung, die jedes Teilproblem teilt
  2. BJedes Teilproblem hat dieselbe Größe
  3. CDas Problem kann in konstanter Zeit gelöst werden
  4. DEine optimale Lösung lässt sich aus optimalen Lösungen seiner Teilprobleme zusammensetzen
2.Algorithmen & KomplexitätSchwer

Welche Aussage über die Auswahl des k-kleinsten Elements eines unsortierten Arrays ist richtig?

  1. ADie Auswahl braucht immer Ω(n log n), weil sie Sortieren erfordert
  2. BQuickselect läuft erwartet in O(n), und Median-of-Medians garantiert O(n) im Worst Case
  3. CQuickselect läuft im Worst Case in O(log n), weil es nur auf einer Seite des Pivots rekursiv weitermacht
  4. DDie Auswahl ist nur in O(n²) möglich
3.DatenstrukturenMittel

Wie lange dauert es, mit einer Adjazenzmatrix zu prüfen, ob die Kante (u, v) existiert?

  1. AO(log V)
  2. BO(E)
  3. CO(V)
  4. DO(1)
4.DatenstrukturenSchwer

Die Schlüssel 5, 3, 8, 1 werden in dieser Reihenfolge in einen leeren, arraybasierten binären Min-Heap eingefügt. Wie sieht das Array am Ende aus?

  1. A[1, 5, 8, 3]
  2. B[1, 3, 8, 5]
  3. C[1, 3, 5, 8]
  4. D[3, 1, 8, 5]
5.GraphentheorieMittel
ABCDEFGEuler-KreisEuler-Weg, kein Kreiskeines von beiden

Hat der zusammenhängende Graph einen Euler-Kreis, einen Euler-Weg, der kein Kreis ist, oder keines von beiden? Klicke deine Antwort an.

|V| = 7|E| = 9
  1. 1Euler-Kreis
  2. 2Euler-Weg, kein Kreis
  3. 3keines von beiden
6.GraphentheorieSchwer
17910211734ABCDEF

Der Kruskal-Algorithmus baut einen minimalen aufspannenden Baum auf. Klicke die Kante an, die er als Kante Nummer 3 hinzufügt; übersprungene Kanten zählen nicht.

k = 3
  1. 1Kante AB
  2. 2Kante AC
  3. 3Kante BC
  4. 4Kante BD
  5. 5Kante CE
  6. 6Kante DF
  7. 7Kante EF
  8. 8Kante BE

3Lösungen

1.Algorithmen & Komplexität

Antwort: D · Eine optimale Lösung lässt sich aus optimalen Lösungen seiner Teilprobleme zusammensetzen

Warum das die Antwort ist

Optimale Teilstruktur ist sowohl für Greedy-Algorithmen als auch für dynamische Programmierung nötig, damit sie korrekte Ergebnisse liefern.

Antwort

D · Eine optimale Lösung lässt sich aus optimalen Lösungen seiner Teilprobleme zusammensetzen
2.Algorithmen & Komplexität

Antwort: B · Quickselect läuft erwartet in O(n), und Median-of-Medians garantiert O(n) im Worst Case

Warum das die Antwort ist

Der erwartete Aufwand von Quickselect ist mit zufälligen Pivots n + n/2 + n/4 + ... = O(n); wählt man das Pivot als Median der Mediane, wird der Worst Case linear.

Antwort

B · Quickselect läuft erwartet in O(n), und Median-of-Medians garantiert O(n) im Worst Case
3.Datenstrukturen

Antwort: D · O(1)

Warum das die Antwort ist

Der Matrixeintrag in Zeile u, Spalte v zeigt sofort, ob die Kante existiert; eine Adjazenzliste muss eventuell die Nachbarn von u durchsuchen.

Antwort

D · O(1)
4.Datenstrukturen

Antwort: B · [1, 3, 8, 5]

Warum das die Antwort ist

Nach 5, 3, 8 ist das Array [3, 5, 8]; 1 kommt an Index 3, wird mit seinem Elternknoten 5 und dann mit 3 vertauscht, das ergibt [1, 3, 8, 5].

Antwort

B · [1, 3, 8, 5]
5.Graphentheorie

Antwort: keines von beiden

Euler, Hamilton und Bäume: Ein zusammenhängender Graph hat einen Euler-Kreis (jede Kante einmal, zurück zum Start), wenn jeder Knoten geraden Grad hat, und einen Euler-Weg, der kein Kreis ist, wenn genau zwei Knoten ungeraden Grad haben; der Weg verläuft dann von einem ungeraden Knoten zum anderen. Ein Hamilton-Kreis besucht jeden Knoten einmal; Kn hat (n − 1)!/2 davon. Ein Baum mit n Knoten hat n − 1 Kanten, und ein zusammenhängender Graph mit m Kanten behält einen aufspannenden Baum, wenn man m − n + 1 Kanten entfernt.

Grade

deg(A) = 1, deg(B) = 2, deg(C) = 4, deg(D) = 3, deg(E) = 3, deg(F) = 2, deg(G) = 3

Ungerade Knoten

A, D, E, G → 4
keines von beiden

Antwort

keines von beiden
6.Graphentheorie

Antwort: Kante BE

Kürzeste Wege und aufspannende Bäume: Der Dijkstra-Algorithmus schließt in jeder Runde einen Knoten ab: den offenen Knoten mit dem kleinsten vorläufigen Abstand. Sein Abstand ist dann endgültig, und jeder Nachbar v erhält d(v) = min(d(v), d(u) + w(u, v)). Der Kruskal-Algorithmus baut einen minimalen aufspannenden Baum auf, indem er die Kanten von leicht nach schwer nimmt und jede Kante überspringt, die einen Kreis schließen würde; der Prim-Algorithmus lässt einen Baum von einem Startknoten aus wachsen, indem er immer die leichteste Kante hinzufügt, die aus ihm herausführt. Ein aufspannender Baum mit n Knoten hat n − 1 Kanten.

Kruskal-Algorithmus

1. BD (2)
2. EF (3)
3. BE (4)
4. AC (9)
5. BC (10)

Kantennummer 3

BE

Antwort

Kante BE

ExamProblems · examproblems.com/courses/data-structures-and-algorithms