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
Die Vorlesung (23, 11.07.16, SS2016) konnte wegen technischer Probleme nicht aufgezeichnet werden. Der Vorlesungsinhalt ist aber identisch mit der Aufzeichnung vom 06.07.2015 (SS2015)
23 |
0:00:00 Starten
0:00:07 Dynamische Programmierung – Aufbau aus Bausteinen
0:02:12 "Systematische SuchSystematische Suche"
0:06:14 Beispiel: Branch-and-Bound für das Rucksackproblem
0:20:42 Beispielrechnung
0:33:16 Branch-and-Bound – allgemein
0:34:48 Beispielrechnung
0:42:53 Lokale Suche – global denken, lokal handeln
0:47:44 Hill Climbing
0:49:08 Problem: Lokale Optima
0:51:55 Warum die Nachbarschaft wichtig ist
0:53:41 Jenseits von Hill Climbing
1:00:35 Evolutionäre Algorithmen
1:03:40 Zusammenfassung
1:10:03 Werbeblock
1:10:48 Kap. 13: Parallele Algorithmen
1:20:51 Rechnertypen
1:24:10 Gemeinsamer Speicher (shared memory)
1:25:07 Rechenmodell
19 |
0:00:00 Starten
0:02:13 Negative Kosten
0:07:10 Zurück zu Basiskonzepten
0:09:47 Mehr Basiskonzepte
0:11:45 Allgemeines Korrektheitskriterium
0:19:06 Algorithmen brutal - Bellman-Ford-Algorithmus für beliebige Kantengewichte
0:26:44 Beispiel
0:30:07 Bellman-Ford - Laufzeit
0:32:06 Ayklische Graphen
0:36:15 Von überall nach überall
0:38:54 Kürzeste Wege: Zusammenfassung
0:40:17 Mehr zu kürzesten Wegen
0:43:29 Exkurs: Routing in Straßennetzwerken
0:46:00 Straßennetzwerke
0:46:23 Distanz zu einem Zielknoten t
0:48:03 Ideen für Routenplanung
0:50:12 Approach: Transit-Node Routing
0:50:43 Beispiel
0:53:58 Erste Beobachtung
0:55:45 Zweite Beobachtung
0:57:22 Beispiel: Transitknoten
0:57:41 Experimente
0:58:23 Offene Fragen
0:59:31 Minimale Spannbäume
1:02:52 Minimale aufspannende Wälder
1:03:23 Anwendungen
16 |
0:00:00 Starten
0:02:17 Graphentraversierung
0:03:44 Graphentraversierung als Kantenklassifizierung
0:07:01 Breitensuche
0:15:47 Repräsentation des Baums
0:22:01 Repräsentation von Q und Q' mittels FIFO
0:23:47 Alternative Repräsentation von Q und Q'
0:25:59 Tiefensuche
0:28:51 Tiefensuchschema für G = (V,E)
0:32:49 DFS-Baum
0:35:59 BEGINN ÜBUNG
0:36:12 Nachtrag: Quicksort, alternative Partitionierung
0:37:27 Grundlagen der Graphentheorie
0:37:37 Graphen und Relationen
0:40:14 Teilbarkeitsgraph
0:41:53 Der Hyperwürfel Q3
0:42:47 Knotengrad
0:43:36 Handshaking Lemma
0:47:19 Adjazenz- und Inzidenzmatrix
0:48:40 Beispiel Adjazenz- und Inzidenzmatrix
0:52:39 Graphen als Matrizen
0:52:57 Wiederholung: DAG
0:54:19 Graphen als Matrizen
0:56:34 Wege, Kreise und Zusammenhang
0:57:20 Eulersche und Hamiltone Kreise
0:59:15 Eulersche Kreise - Anwendungsbeispiel
1:01:07 Satz von Euler (Graphen)
1:07:28 Breitensuche
1:09:46 Beispielanwendung Breitensuche
07 |
0:00:00 Starten
0:00:06 Erinnerung VL vom 04.05.2016
0:03:50 Hashing mit verketteten Listen (Wdh.)
0:06:47 Etwas Wahrscheinlichkeitstheorie für den Hausgebraucht
0:31:42 Beispiel: Variante des Geburtstagsparadoxon
0:35:22 Mehr zum Geburtstagsparadoxon
0:36:49 Analyse für zufällige Hash-Funktionen
0:43:42 Zufällige Hash-Funktionen?
0:45:38 Universelles Hashing
0:48:48 Eine einfache universelle Familie
0:52:03 Beispiel für H
0:53:30 Beweis
0:59:16 Bit-basierte Universelle Familien
1:04:14 Hashing mit Linearer Suche (Linear Probing)
1:07:50 Der einfache Teil
1:13:37 Remove
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