Der SCIP Workshop 2007 fand am

Der Workshop wurde vom DFG-Forschungszentrum Matheon und dem Zuse-Institut Berlin durchgeführt.

Inhalt

SCIP ist zur Zeit der schnellste nicht-kommerzielle Löser für ganzzahlige Programme. SCIP ist auch ein Framework für Constraint Integer Programming und Branch-and-Cut-and-Price. SCIP ermöglich volle Kontrolle des Lösungsprozesses und Zugriff auf detailierte Informationen.

Dieser Workshop sollte interessierten Benutzern einen Einblick in die Funktionsweise von SCIP liefern. Morgens wurden in Vorträgen die theoretischen bzw. strukturellen Grundlagen von SCIP erläutert. Nachmittags wurden diese in Programmierübungen vertieft.

Zielgruppe und Voraussetzungen

Der Workshop richtet sich an alle, die an der Funktionsweise von SCIP interessiert sind und/oder mit SCIP programmieren wollen. Grundlegende Kenntnisse linearer und kombinatorischer Optimierung, sowie C- oder C++-Kenntnisse sind notwendig.

Programm

Vorträge

• SCIP Introduction [pdf]
• SCIP Primal Heuristics [pdf]
• SCIP Branching [PowerPoint]
• SCIP Conflict Analysis [PowerPoint]
• SCIP Cutting Planes [pdf]

Übungen

Für die Übungen sind ein paar Vorarbeiten notwendig. Hier die Details:

Betriebssysteme

Wir empfehlen dringend eine Linux-Installation.

Für "unüberzeugbare" Windowsbenutzer: Es muss entweder Cygwin oder MinGW installiert sein.

SCIP-Installation

Bitte die ZIB-Optimization Suite herunterladen und installieren (inklusive Test).

Beispieldaten

Für die übungen benötigen wir die folgenden zusätzlichen Daten und Code-Teile:

• TSP.tgz
• LOP.tgz

Diese bitte herunterladen und an passender Stelle auspacken.

Übungsblätter

• Exercise: TSP Heuristic [pdf]
• Exercise: Linear Ordering Constraint Handler [pdf]

Lösung für Übungsaufgaben

• HeurFrats.h
• HeurFrats.cpp

• cons_linearordering.h
• cons_linearordering.c