Art | Uhrzeit | Ort | Datum | LP | Dozent und Übungsleitung |
---|---|---|---|---|---|
V2 | Mittwoch 12:30 - 14:00 | AVZ III / HS 1 | 13. April - 20. Juli 2016 (ausser 18. und 25. Mai) | 2,5 | Prof. Rolf Klein, David Kübel |
Ü2 | siehe Übungstermine | 19. April - 22. Juli 2016 (ausser 17. - 27. Mai) | 3,5 | Philipp Bruckschen, Martin Kretschmer, Pascal Mueller, Florian Nelles, Patrick Seume |
|
1. Klausurtermin | Nachmittag | HS X + I | Do. 28. Juli 2016 | ||
2. Klausurtermin | Nachmittag | HS X + IX | Mo. 26. September 2016 |
Grenzen der Berechenbarkeit, Unentscheidbarkeit, Rekursionstheorie, NP-schwere Probleme, Theorie der NP-Vollständigkeit (Satz von Cook), polynomielle Reduktionen, randomisierte Algorithmen, Approximationsalgorithmen, Approximationshärte
Die Vorlesung basiert auf einem Skript, welches im Laufe des Semesters aktualisiert und erweitert wird. Für Interessierte wird in folgendem Paper der Universität Paderborn gezeigt, warum Game of Life unentscheidbar ist.
Update Skript 11.05.: Diverse Korrekturen und Kapitel 2.4.
Update Skript 07.06.: Diverse Korrekturen und Kapitel 3.
Wer die Übungen zu diesem Modul bereits in einem früheren Semester bestanden hat, erhält die Prüfungszulassung automatisch. Bitte überprüfen Sie selbst, ob dies in basis bereits eingetragen wurde und wenden Sie sich bei Problemen an David Kübel.
Wer aus früheren Semestern keinen Übungserfolg vorweisen kann, beachte:
Gruppe | Wann | Wo | Tutor |
---|---|---|---|
1 | Dienstag 10:15 - 11:45 | AVZ III / A7a | Philipp Bruckschen |
2 | Dienstag 14:15 - 15:45 | AVZ III / A6a | Philipp Bruckschen |
3 | Mittwoch 14:15 - 15:45 | AVZ III / A6b | Pascal Müller |
4 | Mittwoch 16:00 - 17:30 | AVZ III / A6a | Pascal Müller |
5 | Donnerstag 12:15 - 13:45 | AVZ III / A7a | Florian Nelles |
6 | Donnerstag 14:15 - 15:45 | AVZ III / A301 | Florian Nelles |
7 | Freitag 10:15 - 11:45 | AVZ III / A7a | Martin Kretschmer |
8 | Freitag 12:00 - 13:30 | AVZ III / A7a | Martin Kretschmer |
| | |
|
10 | Donnerstag 10:15 - 11:45 | AVZ III / A301 | Patrick Seume |
11 | Donnerstag 12:15 - 13:45 | AVZ III / A301 | Patrick Seume |