Ci sono competizioni per la programmazione intera?

Question

Ci sono competizioni per la programmazione intera come ci sono per sat e Maxsat ?

Answer 1

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 .

Answer 2

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.

Answer 3

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.