¿Hay competiciones para la programación entera?

Question

¿Hay competiciones para la programación entera como la que hay para sat y maxsat ?

Answer 1

Hay competiciones para los solucionadores de satisfacción de restricciones.Algunos problemas se pueden traducir fácilmente a los solversadores de IP.Ver, por ejemplo, Minizinc Challenge que ha tenido lugar anualmente desde 2008 o el competencia XCSP .

Answer 2

No hay competiciones dirigidas a la programación de enteros generales o programación de enteros mixtos, pero hay (o fueron) puntos de referencia, como la Miplib (lineal) y la minlplib (no lineal).

Hay competiciones para subconjuntos (PB, SAT, MAX-SAT) y para programación de restricciones, a medida que usted y otras respuestas señalaron. Puede encontrar muchas competiciones ( desafíos de Dimacs , por ejemplo) con problemas de NP-DURS que pueden ser Formulado como IP, también.

Entonces, ¿por qué no hay tales competiciones? Mi conjetura personal es que se reduce a:

• complejidad de implementación. Un buen solucionador de programación de enteros es enorme y complejo. Las competiciones SAT y similares son interesantes porque muchos equipos (pequeños) pueden competir y algunos trucos podrían llevarlo muy lejos. Solo hay algunos solucionadores de IP, y todos ellos son muchos años de trabajo.
• demasiado general. Hay muchas instancias de IP con diferentes propiedades. Sería difícil crear un conjunto de referencia equilibrado.
• campo maduro. Los solucionadores son en su mayoría comerciales, y las compañías no tienen interés en organizar o participar en tales competiciones.

Answer 3

Hubo una competencia de solver Pseudo-Boolean desde 2005-2012, pero (por lo que puedo decir) nada desde entonces.La programación lineal entera es un subconjunto de la programación pseudo-booleana.Consulte el Página de competencia de 2012 para obtener resultados y enlaces a otros resultados de la competencia.