Ci sono competizioni per la programmazione intera?
-
29-09-2020 - |
Soluzione
Ci sono competizioni per i solutori di soddisfazione dei vincoli.Alcuni problemi possono essere facilmente tradotti anche in IP Soluvers.Vedi ad esempio, minizinc sfida che ha avuto luogo annuale dal 2008 o il Concorso XCSP .
Altri suggerimenti
Non ci sono competizioni che si rivolgono alla programmazione generale dell'Integer o della programmazione integro mista, ma ci sono (o erano) benchmarks, come il MIPLIB (lineare) e minlplib (non lineare).
Ci sono competizioni per i sottoinsiemi (PB, Sat, Max-SAT) e per la programmazione dei vincoli, come voi tu e altre risposte indicato. Puoi trovare molte competizioni ( Dimacs sfide , ad esempio) con problemi di durezza NP che possono essere formulato anche come IP.
Allora, perché non ci sono tali competizioni? La mia indovina personale è che si riduce a:
- .
- complessità di implementazione. Un buon risolutore di programmazione integro è enorme e complesso. Le competizioni sedetiche e simili sono interessanti perché molte (piccole) squadre possono competere e alcuni trucchi potrebbero farti diventare abbastanza lontano. Ci sono solo alcuni solutori IP e tutti sono molti anni di lavoro.
- troppo generale. Ci sono molte molte istanze IP con diverse proprietà. Sarebbe difficile creare un set di benchmark equilibrato.
- Campo maturo. I solviss sono per lo più commerciali, e le aziende non hanno interesse a organizzare o partecipare a tali competizioni.
C'è stata una concorrenza del risolutore pseudo-booleano dal 2005-2012, ma (per quanto posso dire) nulla da allora.La programmazione lineare integer è un sottoinsieme di programmazione pseudo-booleana.Vedi il Pagina della concorrenza 2012 per i risultati e i collegamenti ad altri risultati della concorrenza.