Programme > Par intervenant > Benoist Thierry

Jeudi 27
Heuristiques et méta-heuristiques
THIERRY BENOIST
› 15:00 - 15:20 (20min)
› Bât. C - Sigalas
LocalSolver: schémas de modélisation
Thierry Benoist  1@  , Julien Darlay  1@  , Bertrand Estellon  2@  , Frederic Gardi  1@  , Romain Megel  1@  
1 : Innovation 24 & LocalSolver  -  Site web
Bouygues
24 avenue Hoche 75008 Paris -  France
2 : Laboratoire d'informatique Fondamentale de Marseille  (LIF)  -  Site web
CNRS : UMR7279, Université de la Méditerranée - Aix-Marseille II
Parc Scientifique et Technologique de Luminy, 163 avenue de Luminy - case 901, 13288 Marseille cedex 9 -  France

Tous les modèles ne se valent pas. A chaque technique de résolution sont associés un certain nombre de schémas de modélisation (modeling patterns). Ainsi les modèles conçus pour la Programmation Linéaire en Nombres Entiers (PLNE) nécessitent de linéariser les structures non linéaires du problème, et gagnent à être formulés de façon à définir un bon polyèdre. Ils peuvent aussi intégrer des contraintes visant à briser les symétries. De même, un problème peut être formulé de diverses manières dans le cadre de la Programmation Par Contraintes (PPC), en employant éventuellement des contraintes redondantes pour mieux filtrer, en choissant des variables entières ou ensemblistes, ou encore en adoptant un double point de vue avec contraintes de "channeling".
Jusqu'à présent,l'absence de solver "model & run" pour la recherche locale a masqué quelque peu ces techniques de modélisation pour la recherche locale puisque l'algorithme et le modèle était intimement liés et développés simultanément. Dans cet exposé nous présenterons six principes de modélisation que nous illustrerons par de nombreux modèles LocalSolver.


Personnes connectées : 2