Nach positiver Absolvierung der Lehrveranstaltung sind Studierende in der Lage, folgende Leistungen zu erbringen:

Dieses Modul erweitert die algorithmischen Kenntnisse und Kompetenzen der Studierenden, die bereits im Modul Algorithmen und Datenstrukturen vermittelt wurden. Die Studierenden lernen fortgeschrittene rigorose Analyse- und Entwurfsmethoden für effiziente Algorithmen und vertiefen ihre Fähigkeiten in verschiedenen Bereichen wie Abstraktion, Beweismethodik und algorithmische Komplexitätsanalyse.

Nach positiver Absolvierung des Moduls haben die Studierenden folgende Kompetenzen erworben.

• Kennen und Beschreiben der vorgestellten effizienten Algorithmen
• Verstehen und Anwenden der zugrundeliegenden algorithmischen Methoden
• Analysieren und Bewerten von fortgeschrittenen Algorithmen
• Abstraktion und Modellierung algorithmischer und kombinatorischer Probleme
• Beweisen der Korrektheit und Laufzeitkomplexität von Algorithmen
• Entwerfen von fortgeschrittenen effizienten Algorithmen
• Selbstorganisiertes und eigenverantwortliches Entwickeln effizienter Lösungsansätze
• Mathematisch präzises Beschreiben der eigenen Lösungen und Beweisideen
• Präsentieren und kritisches Diskutieren eigener und fremder Lösungsansätze

• Wiederholung grundlegender Aspekte aus Algorithmenkomplexität und -analyse, O-Notation, Graphentheorie
• Matroide und Greedy-Algorithmen
• Approximierbarkeit
• Untere Schranken in der Algorithmenanalyse
• Stringalgorithmen
• Schedulingalgorithmen
• Algorithmen für Probleme der Artificial Intelligence 

Die Lernaktivitäten umfassen Vorlesungseinheiten, Übungen in Kleingruppen ("Tafelübungen"), sowie zwei schriftliche Tests.

Wir starten das Semester im Präsenzbetrieb (Vorlesung, Übung, Tests). 

Übungsgruppen und Tests.

Positiver Abschluss des Moduls Algorithmen und Datenstrukturen.