Mathematische Methoden der Algorithmik

Studienleistung: 50 percent of the homework.

Prüfungsleistung: An oral exam whose date will be found via doodle towards the end of the term.

The topic is linear and integer programming. Besides the theoretical basics, the students learn to model problems as such programs and how to solve them:

1. Linear optimization
2. Simplex algorithm
3. Duality
4. Integer optimization

1. B. Korte and J. Vygen: Combinatorial Optimization: Theory and Algorithms, Algorithms and Combinatorics, Springer, 2005 (kv-cota-05, BibTeX)
2. A. Schrijver: Theory of Linear and Integer Programming, Wiley-Interscience Series in Discrete Mathematics and Optimization, John Wiley & Sons, 1998 (s-tlip-98, BibTeX)
3. V. Chvátal: Linear Programming, Series of Books in the Mathematical Sciences, W.H. Freeman, 1983 (c-lp-83, BibTeX)
4. Ein Skript aus dem Wintersemester 2008/09

Aktuelles

• Die Vorlesung am kommenden Mittwoch, den 27.11.2013 fällt aus!

Mailingliste

Es gibt eine Mailingliste zu dieser Vorlesung, in die Ihr vom Dozenten eingetragen werdet. Falls dies nicht passiert ist, meldet Euch bitte bei Dr. Alexander Kröller.

Hausaufgaben

• 1. Hausaufgabenblatt
• 2. Hausaufgabenblatt
• 3. Hausaufgabenblatt, gerry1.zpl und gerry2.zpl
• 4. Hausaufgabenblatt, city.zpl und gotham.zpl
• 5. Hausaufgabenblatt

Zusätzliche Materialien

...gibt es im geschützten Bereich.

Hinweise zu LP-Lösern

Ihr könnt euch einen IBR-Account anlegen und euch damit via SSH auf unimator.ibr.cs.tu-bs.de einloggen. Darauf sind die unten genannten Tools bereits eingerichtet. Über die Kommandozeile startet man sie mit:

cplex
scip
soplex
zimpl

IBM ILOG CPLEX (cplex) ist kommerziell, die SCIP Optimization Suite (scip, soplex, zimpl) ist freie Software und kann kostenfrei auf diversen Betriebssystemen installiert werden. Insbesondere ist dort das ZIMPL User Guide verfügbar.

Die Shells von CPLEX und SCIP sind sich recht ähnlich. Ihre wichtigsten Befehle lauten:

Das LP-Format ist im Wesentlichen selbsterklärend, ein guter Startpunkt ist diese einfache Beispieldatei. Eine detaillierte Dokumentation des Formats ist Teil der offiziellen IBM ILOG CPLEX Dokumentation. Die Dateiendung muss .lp lauten, da manche Solver daran das Format erkennen.