Contraintes et algorithmes en optimisation combinatoire

• Auteur / Autrice : François Laburthe
• Direction : Yves Caseau
• Type : Thèse de doctorat
• Discipline(s) : Sciences et techniques
• Date : Soutenance en 1998
• Etablissement(s) : Paris 7

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.