Synthese Teil I — Grundlagen auf einen Blick
Vier Kapitel, eine Frage: Was muss vorliegen, bevor ein Solver überhaupt sinnvoll gestartet werden kann? Die Antwort ist unbequem, weil das meiste davon nichts mit Programmieren zu tun hat.
Was welches Kapitel klärt
| Frage | Kapitel | Was Sie danach können |
|---|---|---|
| Was ist überhaupt ein Optimierungsmodell? | Kapitel 1 | Die vier Bausteine benennen — Variablen, Zielfunktion, Nebenbedingungen, Daten — und sie in einem fremden Problem wiedererkennen |
| Warum rechnet der Solver falsch, obwohl das Modell stimmt? | Kapitel 2 | Konvexität beurteilen, den zulässigen Bereich als Polyeder sehen, schlechte Konditionierung erkennen und beheben |
| Welche Bibliothek, und warum vertragen sie sich nicht? | Kapitel 3 | Solver, Bindings und Modellierungsschichten unterscheiden — und den HiGHS-Symbolkonflikt zwischen ortools und highspy umgehen |
| Wie wird aus einem Satz ein Modell? | Kapitel 4 | Die vier Fragen stellen, harte von weichen Regeln trennen, einen Besprechungssatz übersetzen (Abschnitt 4.6) |
Die Reihenfolge ist die Aussage
Dieser Teil steht bewusst vor den Verfahren. Die drei häufigsten Gründe, aus denen ein OR-Projekt scheitert, liegen alle hier — und keiner davon ist ein Solverproblem:
- Die falsche Zielgröße. Sie ist die folgenreichste Entscheidung des ganzen Projekts, und sie wird meist in den ersten zehn Minuten nebenbei getroffen. Auslastung ist ein Ergebnis, kein Ziel; „Umsatz” wird gesagt, wenn „Deckungsbeitrag” gemeint ist.
- Zu viele harte Regeln. Jede unnötig harte Bedingung ist eine Zeitbombe: Irgendwann ist sie nicht erfüllbar, und das System antwortet gar nicht mehr. Hart ist nur, was rechtlich oder physikalisch unmöglich ist.
- Ein Satz, der mehrere Lesarten hat. „Stammkunden dürfen wir nicht verlieren” lässt sich auf mindestens drei Arten modellieren, und keine ist aus dem Satz ableitbar. Die Wahl trifft man — im Zweifel unbewusst.
Wenn Sie nur eines mitnehmen
🎯 Ein Modell rechnet aus, was aufgeschrieben wurde, nicht was gemeint war. Die Arbeit, die darüber entscheidet, ob am Ende etwas Brauchbares herauskommt, findet vor der ersten Zeile Code statt — und sie besteht aus Fragen an andere Menschen, nicht aus Mathematik.
Vor Teil II sollten Sie an einem eigenen Beispiel die vier Fragen aus Abschnitt 4.3 durchgespielt haben. Ohne das bleiben die Verfahren Technik ohne Anwendung.