Existem competições para programação inteira?

Question

Há competições para a programação inteira como se há para sentou e maxsat ?

Answer 1

Existem competições para solucionadores de satisfação.Alguns problemas podem ser prontamente traduzidos para soluções IP também.Ver, por exemplo, Minizinc desafio que ocorreu anualmente desde 2008 ou o http://xcsp.org/competition "rel=" Noreferrer "> Competição XCSP .

Answer 2

Não há competições direcionando a programação geral inteira ou a programação inteira mista, mas existem (ou foram) benchmarks, como o MiPlib (linear) e o minlplib (não linear).

Existem competições para subconjuntos (PB, SAT, MAX-SAT) e para programação de restrição, como você e outras respostas apontadas. Você pode encontrar muitas competições ( Dimacs Desafios , por exemplo) com problemas difíceis de NP que podem ser formulado como IP também.

Então, por que não há tais competições? Meu palpite pessoal é que se resume a:

• complexidade de implementação. Um bom solucionador de programação inteira é enorme e complexo. Com competições e semelhantes são interessantes porque muitas equipes (pequenas) podem competir e alguns truques poderiam te levar muito longe. Existem apenas alguns solucionadores IP, e todos eles são muitos anos de trabalho.
• muito geral. Existem muitas instâncias IP com propriedades diferentes. Seria difícil criar um conjunto de referência balanceado.
• campo maduro. Os solvers são principalmente comerciais, e as empresas não têm interesse em organizar ou participar de tais competições.

Answer 3

Houve uma competição de solucionais pseudo-booleanas a partir de 2005-2012, mas (tanto quanto eu posso dizer) nada desde então.A programação linear inteira é um subconjunto de programação pseudo-boole.Veja o Página de concorrência de 2012 Para resultados e links para outros resultados da concorrência.