Me pregunto, ¿cuál es el algoritmo más conocido, en términos de notación Big- , para resolver la programación lineal entera?
Sé que el problema es completo, por lo que no espero nada polinomial. Y sé que hay muchas heurísticas y otras que se usan en aplicaciones prácticas como CPLEX, pero estoy más interesado en la complejidad formal, en el peor de los casos, de un algoritmo exacto.
Algunos completos de tienen algoritmos en el tiempo donde y es un polinomio. La cubierta de Vértice, el conjunto independiente y el 3SAT entran en esta categoría, pero en general SAT y TSP no (hasta donde sabemos).
¿Se pueden hacer tales declaraciones sobre la programación de enteros o subinstancias particulares?
Si alguien tiene una referencia para el problema relacionado de la aritmética de presburger gratuita de cuantificador, también me interesaría mucho.
Respuestas:
Por lo que puedo decir al buscar, la encuesta definitiva parece ser:
Aardal, Karen, Robert Weismantel y Laurence A. Wolsey. "Enfoques no estándar para la programación de enteros". Matemática Aplicada Discreta 123.1 (2002): 5-74.
En particular, la Sección 2.1 analiza la programación de enteros en una dimensión acotada y presenta algoritmos debidos a diferentes autores. De hecho, la encuesta enumera muchas referencias y discute algunas implementaciones prácticas.
Para un número fijo de variables, la programación lineal entera es un tiempo polinómico que el algoritmo de Lenstra puede resolver.
fuente