Gibt es Wettbewerbe für ganzzahlige Programmierungen?

Question

Gibt es Wettbewerbe für ganzzahlige Programmierungen, wie es für sat und maxsat ?

Answer 1

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 .

Answer 2

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.

Answer 3

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.

.