Raisonnement capacitaire et élimination de variables dans les problèmes de rangement

Résumé : Les problèmes d'ordonnancement et de dimensionnement de réseaux ont en commun de contenir un sous problème de rangement (packing) qui surgit de la nécessité d'affecter des ressources suffisantes à des entités qui les consomment. Nous rapprocherons les inégalités valides obtenues par agrégation et projection des contraintes de sac-à-dos utilisées en programmation linéaire pour le dimensionnement de réseaux et le raisonnement énergétique utilisé en ordonnancement par les méthodes de programmation par contraintes. Nous regroupons ces approches sous la dénomination d'équations capacitaires obtenues par élimination de variables et les appliquons à un problème d'emploi du temps.