Exakte Ganzzahlige Optimierung

精确整数优化

• 批准号: 49333131
• 负责人: Professor Dr. Martin Grötschel
• 金额: --
• 依托单位国家: 德国
• 项目类别: Priority Programmes
• 财政年份: 2007
• 资助国家: 德国
• 起止时间: 2006-12-31 至 2012-12-31
• 项目状态: 已结题
• 来源: https://gepris.dfg.de/gepris/projekt/49333131?language=en
• 关键词: Exakte; Ganzzahlige; Optimierung

Verfügbare Löser für gemischt-ganzzahlige Programme (mixed-integer programs, MIPs) sind auf die schnelle Berechnung von annähernd optimalen Lösungen für zulässige Instanzen ausgelegt. Die Nutzer wissen, dass die Antworten nur im Rahmen von Zulässigkeits- und Optimalitätstoleranzen verlässlich sind, legen aber in vielen Fällen auf exakte Lösungen keinen besonderen Wert. Die Lage ändert sich fundamental, wenn MIPs verwendet werden, um theoretische Fragen zu untersuchen, wenn Instanzen reine Zulässigkeitsprobleme sind (die unzulässig sind), und wenn falsche Antworten rechtliche Konsequenzen haben. Beispiele für solche Anwendungen sind die Designtheorie, die Chip-Verifikation, und die Vertragsvergabe mittels kombinatorischer Auktionen. Wir entwickeln und implementieren in diesem Projekt einen Ansatz zur exakten Lösung von MIPs. Auf Basis des Constraint Programming/MIP-Lösers SCIP wollen wir der wissenschaftlichen Gemeinschaft ein frei erhältliches Werkzeug zur Verfügung stellen, mit dem exakte Optimallösungen bzw., was vielleicht noch wichtiger ist, exakte Unzulässigkeitsbeweise berechnet werden können.

Verfügbare Löser für gemischt-ganzzahlige Program（混合整数程序，MIP） Optimalitätstoleranzen verlässlich sind，legen aber in vielen Fällen auf exakte Lösungen keinen besonderen Wert。 unzulässig sind), und wenn falsche Antworten rechtliche Konsequenzen haben。 Exakten Lösung von MIP。 Unzulässigkeitsbeweise berechnet werden können。