Pour l’obtention du grade de Docteur en Sciences de l’Ingénieur
Modelling and solving complex combinatorial optimization problems:
quorumcast routing, elementary shortest path, elementary longest path
and agricultural land allocation
Mardi 8 décembre 2015 à 14h00, auditoire BARB 92
The feasible solution set of a Combinatorial Optimization Problem (COP) is discrete and finite. Solving a COP is to find optimal solutions in the set of feasible solutions such that the value of a given cost function is minimized or maximized. In the literature, there exist both complete and incomplete methods for solving COPs. The complete (or exact) methods return the optimal solutions with the proof of the optimality, for example the branchand- cut search. The incomplete methods try to find high-quality solutions which are as close to the optimal solutions as possible, for example local search.
In this thesis we focus on solving four distinct COPs: the Quorumcast Routing Problem (QRP), the Elementary Shortest Path Problem on graphs with negative-cost cycles (ESPP), the Elementary Longest Path Problem on graphs with positive-cost cycles (ELPP), and the Agricultural Land Allocation Problem (ALAP). In order to solve these problems with the complete methods, we use the Branch-and-Infer search, the Branch-and-Cut search, and the Branch-and-Price search. We also solve ALAP by the incomplete methods, such as Local Search, Tabu Search, Constraints-Based Local Search that combine with metaheuristics. The experimental evaluations on well-known benchmarks show that all proposed algorithms for all the first three COPs (QRP, ESPP and ELPP) are better than the-state-the art algorithms. Specially, we describe ALAP, formulate it as a combination of three COPs, and propose several complete and incomplete algorithms for these COPs.
Membres du jury :
Prof. Yves Deville (UCL), promoteur
Dr. Quang Dung Pham (SoICT, HUST, Vietnam), promoteur
Prof. Peter Van Roy (UCL), président
Prof. Pierre Schaus (UCL), secrétaire
Prof. Laurence Wolsey (UCL)
Prof. Bernard Fortz (ULB)