ResumenEn este trabajo se presenta un procedimiento enumerativo que identifica todos los cubrimientos maximales respecto del conjunto de cubrimientos implicados por una restricción de tipo mochila con variables 0-1. Las desigualdades inducidas por estos cubrimientos maximales no están dominadas por la desigualdad inducida por ningún otro cubrimiento implicado por la restricción de tipo mochila. Así pues, su identificación puede contribuir al reforzamiento de formulaciones de problemas de programación 0-1. Por otra parte, se presenta una mejora de un procedimiento de la literatura existente queúnicamente identifica ciertos cubrimientos maximales. Además, se muestran algunos resultados computacionales comparativos en los que ambos procedimientos se han aplicado a restricciones de tipo mochila generadas aleatoriamente.
AbstractIn this paper we present an enumerative procedure for identifying all maximal covers from the set of covers implied by a 0-1 knapsack constraint. The inequalities induced by these maximal covers are not dominated by the inequality induced by any other cover implied by the knapsack constraint. Thus, their identification can help to tighten 0-1 models. On the other hand, we present an improvement on a procedure taken from the literature for identifying certain maximal covers. Some comparative computational experiments where both procedures have been applied to randomly generated knapsack constraints are also reported.