Gibt es Wettbewerbe für ganzzahlige Programmierungen?
-
29-09-2020 - |
Lösung
Es gibt Wettbewerbe für die Löser für Einschränkungen.Einige Probleme können auch ohne IP-Löser übersetzt werden.Siehe zB MiniZinc Challenge , der seit 2008 jährlich stattgefunden hat oder das XCSP-Wettbewerb .
Andere Tipps
Es gibt keine Wettkämpfe, die die allgemeine Ganzzahlprogrammierung oder die gemischte Integer-Programmierung abzielen, aber es gibt (oder waren) Benchmarks, wie beispielsweise MIPLIB (linear) und das minlplib (nichtlinear).
Es gibt Wettbewerbe für Subsets (PB, SAT, MAX-SAT) und für die Constraint-Programmierung, da Sie und andere Antworten darauf hingewiesen haben. Sie finden viele Wettbewerbe ( dimacs Herausforderungen zum Beispiel) mit NP-harten Problemen, die sein können auch als IP formuliert.
Also, warum gibt es keine solchen Wettkämpfe? Meine persönliche Vermutung ist, dass es auf Folgendes kommt:
- .
- Umsetzungskomplexität. Ein guter Integer-Programmierlöser ist riesig und komplex. SAT-Wettbewerbe und dergleichen sind interessant, da viele (kleine) Teams konkurrieren können, und ein paar Tricks könnten Sie ziemlich weit bringen. Es gibt nur wenige IP-Löser, und alle von ihnen sind viele Jahre Arbeit.
- zu allgemein. Es gibt viele viele IP-Instanzen mit unterschiedlichen Eigenschaften. Es wäre schwierig, einen ausgewogenen Benchmark-Set zu erstellen.
- älteres Feld. Die Löser sind meistens kommerziell, und die Unternehmen haben kein Interesse daran, an solchen Wettkämpfen teilzunehmen oder teilzunehmen.
Es gab einen Pseudo-Boolean-Solver-Wettbewerb von 2005-2012, aber (soweit ich es ihm sagen kann) seitdem nichts.Integer lineare Programmierung ist eine Teilmenge der Pseudo-booleschen Programmierung.Siehe den 2012-Wettbewerbspage für Ergebnisse und Links zu anderen Wettbewerbsergebnissen.
.