Reforzamiento de modelos en programación lineal 0-1

Résumé

El objetivo fundamental de esta memoria es el desarrollo teórico de métodos de reforzaiento de formulaciones en problemas de programación lineal 0-1 pura, Los temas principales que se tratan son la identificación de ciclados dominantes respecto de un conjunto de ciclados, identificación de cubrimientos maximales respecto del conjunto de cubrimientos implicados por una restricción de tipo mochila, detección de infactibilidad, identificación de restricciones redundantes, fijación de variables y reformulación de restricciones a partir de cubrimientos. Las aportaciones más destacabes son algunos algoritmos de identificación de ciclados dominantes y cubrimientos maximales, nuevos procedimientos de detección de infactibilidad y redundancia que permiten considerar conjuntamente varias restricciones, y métodos de incremento y reducción de coeficientes que consiguen reforzar la modelización de un problema a partir de ciertas restricciones redundantes.