TU Wien:Mathematical Programming VU (Ruthmair)

From VoWi
Jump to navigation Jump to search

Daten[edit]

Lecturers Mario Ruthmair, Georg Brandstätter
ECTS 3
Department Logic and Computation
When summer semester
Links tiss:186835 , Mattermost-Channel
Zuordnungen
Master Embedded Systems
Master Data Science
Master Business Informatics
Master Logic and Computation Wahlmodul Algorithmics and Complexity
Master Visual Computing Wahlmodul Methoden für Visual Computing
Master Software Engineering & Internet Computing


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