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
Innovation 24 & LocalSolver
2 ACRO - Algorithmique, combinatoire et recherche opérationnelle
LIF - Laboratoire d'informatique Fondamentale de Marseille : ACRO
Résumé :

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.

Document type :
Conference papers
Complete list of metadatas

https://hal.archives-ouvertes.fr/hal-00946479
Contributor : Martine Courbin-Coulaud <>
Submitted on : Thursday, February 13, 2014 - 4:08:45 PM
Last modification on : Monday, March 4, 2019 - 2:04:24 PM

Identifiers

  • HAL Id : hal-00946479, version 1

Citation

Thierry Benoist, Julien Darlay, Bertrand Estellon, Frederic Gardi, Romain Megel. LocalSolver: schémas de modélisation. ROADEF - 15ème congrès annuel de la Société française de recherche opérationnelle et d'aide à la décision, Société française de recherche opérationnelle et d'aide à la décision, Feb 2014, Bordeaux, France. ⟨hal-00946479⟩

Share

Metrics

Record views

160