Definition · Begriff 19 von 25
Solver-Zertifikat
Der Nachweis eines Solvers, dass eine Lösung optimal ist oder innerhalb einer genannten Lücke liegt, etwa eine übereinstimmende primale und duale Schranke.
RechenbeispielSchranke und Optimalitätslücke, beim Lauf gespeichertDer Lauf speichert den besten Plan, die vom Solver berechnete Schranke und die Lücke dazwischen, zusammen mit Daten- und Modellversion. Wer das Protokoll hat, sieht, wie nah der Plan am bestmöglichen liegt.
In einfachen Worten
Ein Zertifikat macht aus "der Solver sagt das" etwas Prüfbares. Bei linearen Programmen ist es eine zulässige duale Lösung mit demselben Zielwert. Bei ganzzahligen Programmen ist es die abschließende Schranke der Suche, die die Lücke zum besten gefundenen Plan schließt.
Solver-Zertifikat, auf Ihre eigene Entscheidung angewandt.
Bringen Sie eine wiederkehrende Entscheidung ein. Ihre Planer sehen die Begriffe dieses Glossars, angewandt auf ihre eigenen Regeln und Daten.
- Glossar
- alle 25 Begriffe, A bis Z
- Problemtypen
- die Entscheidungen, die kint löst
- Vergleiche
- kint im Vergleich mit anderen Ansätzen
- Kontakt
- hello@kint.pro