LocalSolver 4.0 : nouveautés et benchmarks

Thierry Benoist 1 Julien Darlay 1 Bertrand Estellon 2 Frederic Gardi 1, * Romain Megel 1
* Corresponding author
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é :

Notre ambition avec le projet LocalSolver est de fournir un solveur de programmation mathématique tout-en-un pour l'optimisation non-convexe en variables mixtes. Pour ce faire, LocalSolver est basé sur une recherche par voisinage variable, en guise de recherche globale. Son architecture peut être qualifiée d'hybride, notre volonté étant d'y intégrer toutes les techniques d'optimisation opportunes pour l'exploration de voisinages : recherche locale, techniques de programmation linéaire en nombres entiers, propagation de contraintes et inférence, techniques de programmation non-linéaire, etc.

LocalSolver 4.0 est un premier pas vers ce solveur d'un nouveau genre. Cette version permet d'attaquer des problèmes aux variables de décision mixtes, c'est-à-dire combinatoires et/ou continues. LocalSolver 4.0 intègre des techniques de recherche locale/directe permettant de traiter des problèmes d'optimisation mixte de grande échelle. Des résultats sur des problèmes difficiles comme le célèbre "unit commitment problem" sont donnés. Sont également intégrés dans cette version les premiers mouvements basés sur une exploration par des techniques de programmation linéaire en nombres entiers ou propagation de contraintes. Ces mouvements à voisinage large permettent de diversifier la recherche lorsque les mouvements à petits voisinages n'y parviennent pas, et donc de converger vers des solutions de meilleure qualité. Enfin, la capacité à prouver l'optimalité ou l'infaisabilité a été améliorée par l'enrichissement des techniques d'inférence intégrées dans LocalSolver. Des benchmarks de performance seront présentés pour illustrer les améliorations proposées dans cette nouvelle version de LocalSolver.

Document type :
Conference papers
Complete list of metadatas

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

Identifiers

  • HAL Id : hal-00946510, version 1

Citation

Thierry Benoist, Julien Darlay, Bertrand Estellon, Frederic Gardi, Romain Megel. LocalSolver 4.0 : nouveautés et benchmarks. 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-00946510⟩

Share

Metrics

Record views

147