التمرين 1
Exercice 1 — Sac à dos 0-1, ensembles bloquants et formulations
On considère le problème classique du sac à dos : objets , poids , utilités , capacité .
- Écrire le problème de remplissage du sac sous forme d'un programme linéaire à variables booléennes.
- Montrer qu'on peut supposer et .
- Montrer que l'algorithme glouton donne une solution optimale pour le cas , et .
- Un ensemble d'objets est dit bloquant si la somme des poids est supérieure à et chacun de ses sous-ensembles propres ne l'est pas. a. Associer à chaque ensemble caractéristique une contrainte 0-1. b. Montrer que l'ajout de ces contraintes permet de supprimer la contrainte obtenue en 1. c. Appliquer à l'exemple précédent.
◀الحل
Le sac à dos 0-1 s'écrit sous , . Les poids/utilités négatifs se traitent trivialement. Le glouton marche ici par ordre décroissant des rapports ou données spécifiques. Les ensembles bloquants fournissent des inégalités de couverture .