Etude et mise en œuvre de stratégies de coupes efficaces pour des problèmes entiers mixtes 0-1

par Christophe Louat

Thèse de doctorat en Informatique

Les rapporteurs étaient Van-Dat Cung, Monique Guignard.


  • Résumé

    Pour cette étude, plusieurs solveurs ont été utilisés afin de comparer leurs comportement quand des mêmes coupes sont ajoutées. Deux solveurs commerciaux (Cplex et Xpress) et un solveur libre (Glpk) ont été utilisés pour faire des tests avec un Branch-and-Bound Séquentiel. Un solveur libre (Bob++) a été utilisé pour réaliser des tests avec un Branch-and-Bound parallèle. Afin de faciliter l’utilisation des différents solveurs en ne faisant qu’un seul code a été créé. Nous présentons tout d’abord les différentes méthodes de coupes qui ont été intégrées à la librairie Glop pour réaliser des expérimentations. Nous montrons ensuite les différentes stratégies implémentées les unes étant des stratégies fixes, les autres des stratégies qui s’adaptent au déroulement de la résolution du problème. Nous présentons et analysons les résultats des exécutions réalisées avec un Branch-and-Bound séquentiel et enfin ceux des exécutions réalisé avec un Branch-and-Bound parallèle.


  • Résumé

    The use of cutting planes is since severals years one of the most used methods to improve the search of an optimal solution reducing the search space in a Branch-and-Bound. The work presented here aims at studying several cutting plane methods and at proposing some strategies to integrate them in a resolution method based on Branch-and-Bound algorithm to solve mixed integer 0-1 problems. We present extensive computational experiments in ordrer to try to find efficient cutting plane generation strategies with generic mixted integer 0-1 problems and with different solvers. For this study, some solvers were used to compare their when the same cutting planes are added. Two commercial solver (Cplex and Xpress) and one free solveur (Glpk) are used to test the different strategies in a sequential Branch-and-Bound. One free solver is used to test these strategies in a parallel Branch-and-Bound. To provide an easy way to use these different solvers, a free library (Glop) that allows the user to use some solver with a same code has been created. We first present the different cutting plane methods that were integrated in the library Glop to produce computational experimentents. We then turn our interest on the different strategies we implement, the one being fixed strategies, the other being strategies that adapt to the problem resolution. We present and analyse the results of computational experiments with sequential Branch-and-Bound and in the last part, those obtained with parallel Branch-and-Bound.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 1 vol. (144 p.)
  • Annexes : Bibliogr. p.[141]-144

Où se trouve cette thèse\u00a0?

  • Bibliothèque : Université de Versailles Saint-Quentin-en-Yvelines. Direction des Bibliothèques et de l'Information Scientifique et Technique-DBIST. Bibliothèque universitaire Sciences et techniques.
  • Disponible pour le PEB
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.