Contraintes et algorithmes en optimisation combinatoire

par FRANCOIS LABURTHE

Thèse de doctorat en Sciences et techniques

Sous la direction de Yves Caseau.

Soutenue en 1998

à Paris 7 .

    mots clés mots clés


  • Pas de résumé disponible.


  • Pas de résumé disponible.


  • Résumé

    Ce travail evalue la programmation par contraintes (ppc) pour la resolution de problemes d'optimisation combinatoire. Sur un ensemble de grands problemes (d'allocation de ressources, d'ordonnancement, d'optimisation de parcours et d'emplois du temps), on etudie et on propose de renforcer la resolution en ppc par des regles de coupes redondantes, des algorithmes de propagation issus de la recherche operationnelle et des arbres de recherche dedies. On compare ensuite l'efficacite d'une resolution par contraintes avec des algorithmes traditionnels de recherche operationnelle, ce qui permet d'etablir une cartographie de la resolution des problemes combinatoires consideres, mettant en relation les problemes (leur type et leur taille) avec les methodes de resolution appropriees (programmation par contraintes et algorithmes de recherche operationnelle). Cette cartographie montre l'interet de developper, pour les problemes complexes de grandes taille, des algorithmes hybrides, utilisant la programmation par contraintes en cooperation avec d'autres grandes methodes de resolution, comme l'optimisation locale par exemple. Pour permettre la programmation de tels algorithmes complexes, on propose un langage de haut niveau, salsa, permettant de specifier le controle d'algorithmes de recherche complexes. On illustre son utilisation pour la resolution de problemes divers d'optimisation par des algorithmes hybrides et on presente une semantique operationnelle a partir de laquelle a ete realise l'implementation prototype.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 177 p.
  • Annexes : 189 ref.

Où se trouve cette thèse ?

  • Bibliothèque : Université Paris Diderot - Paris 7. Service commun de la documentation. Bibliothèque Universitaire des Grands Moulins.
  • Accessible pour le PEB
  • Cote : TS1998
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.