Overall Objectives
Research Program
Application Domains
New Software and Platforms
New Results
Bilateral Contracts and Grants with Industry
Partnerships and Cooperations
XML PDF e-pub
PDF e-Pub

Section: New Results


Semidefinite programming and combinatorial optimization

Participant : Jérôme Malick.

We have worked with Frederic Roupin (Prof. at Paris XIII) and Nathan Krislock (Assistant Prof. at North Illinois University, USA) on the use of semidefinite programming to solve combinatorial optimization problems to optimality.

We proposed a new family of semidefinite bounds for 0-1 quadratic problems with linear or quadratic constraints [65] . We have embedded the new bounds within branch-and-bound algorithms to solve 2 standard combinatorial optimization problems to optimality.

We have also been working on a generic online semidefinite-based solver for binary quadratic problems using the generality of [65] . Finally, a first web interface for our solvers and our data sets are available online at .

Quadratic stabilization of Benders decomposition

Participants : Jérôme Malick, Sofia Zaourar.

The Benders decomposition, a fundamental method in operation research, is known to have the inherent instability of cutting plane-based methods. The PhD thesis of Sofia Zaourar proposes a algorithmic improvement of the method inspired from the level-bundle methods of nonsmooth optimisation. We illustrate the interest of the stabilization on two classical network problems: network design problems and hub location problems. We also prove that the stabilized Benders method have the same theoretical convergence properties as the usual Benders method. An article about this research was submitted this summer.