Programmation linéaire mixte et programmation par contraintes pour un problème d'ordonnancement a contraintes énergétiques

Margaux Nattaf (1) , Christian Artigues (1) , Pierre Lopez (1)

1 LAAS-ROC - Équipe Recherche Opérationnelle, Optimisation Combinatoire et Contraintes

Nous considérerons unprobì eme d'ordonnancement cumulatif dans lequel les tâches ont une durée et un pro-fil de consommation de ressource variable. Ce profil, qui peut varier en fonction du temps, est une variable de dé-cision duprobì eme dont dépend la durée de la tâche as-sociée. Pour ceprobì eme NP-difficle, nous présentons un mod ele de programmation par contraintes et un mod ele de programmation linéaire en nombres entiers (PLNE). De plus, des inégalités valides déduites de la program-mation par contraintes viennent renforcer le PLNE. Ces mod eles sont ensuite comparés par le biais d' expérimen-tations. Abstract We study a cumulative scheduling problem where a task duration and resource consumption are not fixed. The consumption profile of the task, which can vary continuously over time, is a decision variable of the problem and the task duration depends on this profile. For the discrete case, the paper presents a mixed integer linear program as well as a constraints programming model. Furthermore, valid inequalities deduced from constraint programming are also provided. Both models are then compared through computational experiments .

Domaines: Informatique [cs]

Margaux Nattaf, Christian Artigues, Pierre Lopez. Programmation linéaire mixte et programmation par contraintes pour un problème d'ordonnancement a contraintes énergétiques. 12e Journées Francophones de la Programmation par Contraintes (JFPC 2016), Jun 2016, Montpellier, France. pp.209-212. ⟨hal-01349321⟩