Der Inhalt der Vorlesung orientiert sich am Buch »Algorithms and Data Structures - The Basic Toolbox« von Kurt Mehlhorn und Peter Sanders. Der Studierende
- kennt und versteht grundlegende, häufig benötigte Algorithmen, ihren Entwurf, Korrektheits- und Effizienzanalyse, Implementierung, Dokumentierung und Anwendung,
- wendet die im Modul Grundlagen der Informatik (Bachelor Informationswirtschaft) erworbenen Programmierkenntnisse auf nichttriviale Algorithmen an,
- wendet die in Grundbegriffe der Informatik (Bachelor Informatik) bzw. Grundlagen der Informatik (Bachelor Informationswirtschaft) und den Mathematikvorlesungen erworbenen mathematischen
Herangehensweise an die Lösung von Problemen an. Schwerpunkte sind hier formale Korrektheitsargumente und eine mathematische Effizienzanalyse.
Dozenten: Jun.-Prof. Dennis Hofheinz | Karlsruher Institut für Technologie (KIT), Institut für Theoretische Informatik | Vorlesungsaufzeichnung: KIT | WEBCAST: http://webcast.kit.edu
All content for Algorithmen 1, SS2016, Vorlesung is the property of Karlsruher Institut für Technologie (KIT) and is served directly from their servers
with no modification, redirects, or rehosting. The podcast is not affiliated with or endorsed by Podjoint in any way.
Der Inhalt der Vorlesung orientiert sich am Buch »Algorithms and Data Structures - The Basic Toolbox« von Kurt Mehlhorn und Peter Sanders. Der Studierende
- kennt und versteht grundlegende, häufig benötigte Algorithmen, ihren Entwurf, Korrektheits- und Effizienzanalyse, Implementierung, Dokumentierung und Anwendung,
- wendet die im Modul Grundlagen der Informatik (Bachelor Informationswirtschaft) erworbenen Programmierkenntnisse auf nichttriviale Algorithmen an,
- wendet die in Grundbegriffe der Informatik (Bachelor Informatik) bzw. Grundlagen der Informatik (Bachelor Informationswirtschaft) und den Mathematikvorlesungen erworbenen mathematischen
Herangehensweise an die Lösung von Problemen an. Schwerpunkte sind hier formale Korrektheitsargumente und eine mathematische Effizienzanalyse.
Dozenten: Jun.-Prof. Dennis Hofheinz | Karlsruher Institut für Technologie (KIT), Institut für Theoretische Informatik | Vorlesungsaufzeichnung: KIT | WEBCAST: http://webcast.kit.edu
20: Algorithmen I, Vorlesung und Übung, SS 2016, am 29.06.2016
Algorithmen 1, SS2016, Vorlesung
1 hour 15 minutes 2 seconds
9 years ago
20: Algorithmen I, Vorlesung und Übung, SS 2016, am 29.06.2016
20 |
0:00:00 Starten
0:00:06 Erinnerung VL 27.06.2016
0:02:09 Kap. 11: Minimale Spannbäume
0:02:28 Minimale Spannbäume (MST)
0:03:22 Minimale aufspannende Wälder (MSF)
0:03:36 Anwendungen
0:04:57 MST-Kanten auswählen und verwerfen: Die Schnitteigenschaft (Cut Property)
0:12:19 MST-Kanten auswählen und verwerfen: Die Kreiseigenschaft (Cycle Property)
0:15:54 Der Jarník-Prim-Algorithmus
0:28:39 Analyse
0:32:00 Kruskals Algorithmus (1956)
0:37:47 Kruskals Algorithmus - Korrektheit
0:40:56 Union-Find Datenstruktur
0:44:15 Beginn Übung 10
0:44:15 Kürzeste Wege Algorithmen: Bellman-Ford
0:45:40 Bellman-Ford: Pseudo-Code
0:46:40 Bellman-Ford: Korrektheit (Beweis-Idee)
0:48:53 Bellman-Ford: Beispiel
0:53:03 Bellman-Ford: Bestimmung eines negativen Kreises
0:55:03 Minimale Spannbäume
0:57:00 Minimale Spannbäume: Jarník-Prim
0:58:37 Minimale Spannbäume: Kruskal
1:00:00 Steinerbäume
1:05:42 Steinerbaum: Was kann schief gehen?
1:10:09 Problem des Handlungsreisenden (TSP)
Algorithmen 1, SS2016, Vorlesung
Der Inhalt der Vorlesung orientiert sich am Buch »Algorithms and Data Structures - The Basic Toolbox« von Kurt Mehlhorn und Peter Sanders. Der Studierende
- kennt und versteht grundlegende, häufig benötigte Algorithmen, ihren Entwurf, Korrektheits- und Effizienzanalyse, Implementierung, Dokumentierung und Anwendung,
- wendet die im Modul Grundlagen der Informatik (Bachelor Informationswirtschaft) erworbenen Programmierkenntnisse auf nichttriviale Algorithmen an,
- wendet die in Grundbegriffe der Informatik (Bachelor Informatik) bzw. Grundlagen der Informatik (Bachelor Informationswirtschaft) und den Mathematikvorlesungen erworbenen mathematischen
Herangehensweise an die Lösung von Problemen an. Schwerpunkte sind hier formale Korrektheitsargumente und eine mathematische Effizienzanalyse.
Dozenten: Jun.-Prof. Dennis Hofheinz | Karlsruher Institut für Technologie (KIT), Institut für Theoretische Informatik | Vorlesungsaufzeichnung: KIT | WEBCAST: http://webcast.kit.edu
