Uni-Logo Dr. Sigrid Knust, Christian Viergutz

Einführung in die Kombinatorische Optimierung SS 08


Inhalt:

Graph Einführung in
  • Grundbegriffe der kombinatorischen Optimierung
  • Lineare Programmierung
  • Ganzzahlige lineare Programmierung
  • Netzflussalgorithmen
  • Branch-and-Bound-Algorithmen
  • Lokale Suchverfahren
  • Praxisbeispiele

Termine:

  • Vorlesung: Sigrid Knust
    Tag Zeit Raum
    Mo12:15-13:4531/E05
    Mi10:15-11:4531/E05
  • Übung: Christian Viergutz
    Tag Zeit Raum
    Fr14:00-15:3069/E18

Formulieren und Lösen von LPs und MIPs:
Zur Lösung von LP- und MIP-Problemen soll in den Übungen die ZIB Optimization Suite eingesetzt werden, die die Programme Zimpl, SCIP und SoPlex enthält. Diese sind für den akademischen Einsatz frei verfügbar.
Zimpl dient zur Modellierung von LPs und MIPs und bietet eine mächtige formale Eingabesprache, aus der Eingabeformate für das anschließende Lösen mit LP- bzw. MIP-Solvern (wie SCIP/SoPlex) generiert werden können.
SCIP (Solving Constraint Integer Programs) ist ein Löser für gemischt-ganzzahlige lineare Programme, der intern einen LP-Löser benötigt, wobei standardmäßig SoPlex zum Einsatz kommt (was aber modular austauschbar ist).
Die Programme sind auf den Rechnern im CIP-Pool (31/339) installiert; wer möchte, kann sie aber auch auf dem eigenen Computer verwenden. Die Verwendung unter Windows XP/Vista ist evtl. über Cygwin oder MinGW möglich.


Material zur Vorlesung [up]:


Literatur:


Teilnahme [up]:

Teilnehmen können alle interessierten Studierende aus den Studiengängen Mathematik/Informatik, Angewandte Systemwissenschaft, Cognitive Science und Information Systems.

Schein [up]:

Voraussetzung für den Erwerb eines Scheins zur Veranstaltung ist die regelmäßige Teilnahme an den Übungen, die erfolgreiche Bearbeitung der Übungsaufgaben (jeweils 50% der Maximalpunkte in theoretischen und 50% der Maximalpunkte in praktischen Aufgaben) und die erfolgreiche Absolvierung einer Klausur am Ende des Semesters. Prüfungsrelevant sind alle Kapitel der Vorlesung sowie die Themen aus den Übungen.
Last update: 14.07.2008 (SK/CV)