TU Wien:Mathematical Programming VU (Ruthmair)
- Mathematical Programming VU (Brandstätter) (TU Wien, 0 Resources)
- Mathematical Programming VU (Ruthmair) (TU Wien, 2 Resources)
Daten[edit]
| Lecturers | Georg Brandstätter• Mario Ruthmair |
|---|---|
| ECTS | 3 |
| Department | Logic and Computation |
| When | summer semester |
| Last iteration | 2022SS |
| Language | English |
| Mattermost | mathematical-programming • Register • Mattermost-Infos |
| Links | tiss:186835, Homepage |
Inhalt[edit]
Formulieren und Lösen von Optimierungsproblemen als mathematische Programme: (Mixed) Integer linear programming. Vertiefende Lehrveranstaltung zum entsprechenden Teil aus Algorithmics.
Ablauf[edit]
Es gibt eine Vorlesung in der die verwendeten Formulierungstechniken anhand von einigen Problemen vorgestellt werden. Zusätzlich wird erklärt wie diese Probleme von Solvern gelöst werden (z.B. das Simplex-Verfahren).
Es gibt (freiwillige) Übungsaufgaben, eine große Programmieraufgabe und eine mündliche Prüfung (2019) bzw. schriftliche open-book Prüfung (Coronajahr 2020).
Benötigte/Empfehlenswerte Vorkenntnisse[edit]
Programmier- und Linux-Kenntnisse von Vorteil. Offiziell wird von der LVA nur C++ unter Linux unterstützt, es sind aber alle Sprechen erlaubt und es gibt die CPLEX API in verschiedensten Sprachen (Java, Python, etc.). Fachlich sind keine Vorkenntnisse notwendig. Es werden die Folien aus dem Algorithmics Teil zur Verfügung gestellt, sofern dieser noch nicht besucht wurde.
Vortrag[edit]
Einmal wöchentlich. Vortrag ist sehr interaktiv und beinhaltet zusätzliche Erklärungen zu den Folien. Bei Rückfragen wird noch einmal genauer erläutert.
Übungen[edit]
Es gibt es Übungsblätter: ca. 15 Beispiele zur Formulierungen von Beispielen, kleinere Beweise, Vergleichen von Formulierungen, Lösungsverfahren, etc. Die Übungsbeispiele sind freiwillig, die Punkte sind aber für eine (sehr) gute Note notwendig.
Es gibt eine Programmieraufgabe wo ein Problem (2019S: k-Node Minimum Spanning Tree) mittels verschiedenen Formulierungen und CPLEX (ein state-of-the-art Solver) gelöst werden und die Lösungen und Laufzeiten anhand verschiedenen (gegebene) Instanzen verglichen werden müssen.
Rückfragen an die Vortragenden sind jederzeit per Email möglich.
Prüfung, Benotung[edit]
Die Benotung der Übung ist nett und es gibt ausführliches Feedback per Email. Mündliche Prüfung: Die Prüfung fragt stark auf Verständnis und will keine detaillierten Formeln aus den Folien. Es ist also viel wichtiger die Verfahren zu verstehen, als die Formeln auswendig zu lernen. Meist baut eine Prüfungsfrage auf die Programmieraufgabe auf.
Dauer der Zeugnisausstellung[edit]
2019: direkt nach der mündlichen Prüfung.
Zeitaufwand[edit]
Für die ECTS angemessen. Die Programmieraufgaben und Übungen aber nicht unterschätzen und bald genug beginnen.
Unterlagen[edit]
noch offen
Tipps[edit]
- Bald genug mit der Programmieraufgabe beginnen. Das Ausführen aller Testfälle mit allen Formulierungen dauert auf einem Heimcomputer einige Stunden.
Verbesserungsvorschläge / Kritik[edit]
noch offen