Mathematical Programming Solver based on Local Search
FOCUS Series in Computer Engineering
Publication Date: June 2014 Hardback 112 pp.
This book covers local search for combinatorial optimization and its extension to mixed-variable optimization. Although not yet understood from the theoretical point of view, local search is the paradigm of choice for tackling large-scale real-life optimization problems. Today’s end-users demand interactivity with decision support systems. For optimization software, this means obtaining good-quality solutions quickly. Fast iterative improvement methods, like local search, are suited to satisfying such needs. Here the authors show local search in a new light, in particular presenting a new kind of mathematical programming solver, namely LocalSolver, based on neighborhood search.
First, an iconoclast methodology is presented to design and engineer local search algorithms. The authors’ concern regarding industrializing local search approaches is of particular interest for practitioners. This methodology is applied to solve two industrial problems with high economic stakes. Software based on local search induces extra costs in development and maintenance in comparison with the direct use of mixed-integer linear programming solvers. The authors then move on to present the LocalSolver project whose goal is to offer the power of local search through a model-and-run solver for large-scale 0-1 nonlinear programming. They conclude by presenting their ongoing and future work on LocalSolver toward a full mathematical programming solver based on local search.
1. Local Search: Methodology and Industrial Applications.
2. Local Search for 0–1 Nonlinear Programming.
3. Toward an Optimization Solver Based on Neighborhood Search.
About the Authors
Frédéric Gardi is a Senior Expert and Vice President of Products at Innovation 24, a subsidiary of Bouygues in Paris, France, and Product Manager of LocalSolver. He specializes in the design and engineering of local search algorithms.
Thierry Benoist is a Senior Expert in charge of operations research projects at Innovation 24.
Julien Darlay is an Expert at Innovation 24. His fields of expertise include algorithmics, combinatory and numerical optimization, forecast, statistical and logical data analysis and simulation.
Bertrand Estellon is Professor in the IT Department and the Faculty of Science at Aix-Marseille University in France and a member of the combinatory and operational research team of the Laboratoire d'Informatique Fondamentale de Marseille.
Romain Megel is an Expert at Innovation 24. His fields of expertise include algorithmics, optimization, inference-based systems (constraint programming, expert systems), and business rule management.