Reseaux de contraintes : satisfaction et optimisation

Constraint networks : satisfaction and optimisation

• Auteur / Autrice : MOHAMED-SALAH AFFANE
• Direction : Hachemi Bennaceur
• Type : Thèse de doctorat
• Discipline(s) : Sciences appliquées
• Date : Soutenance en 1999
• Etablissement(s) : Paris 13

Résumé

L'objectif de cette these est de proposer des algorithmes permettant d'ameliorer l'efficacite des methodes de recherche completes pour les problemes de satisfaction de contraintes (csp), d'etablir des liens entre l'optimisation combinatoire et le formalisme csp, et d'exploiter ces liens pour la resolution du probleme de satisfaction de contraintes maximal (max-csp). Dans un premier temps, nous presentons les differentes techniques utilisees pour la resolution des csp. Ensuite, nous exploitons la semantique des contraintes bijectives et fonctionnelles afin d'ameliorer les performances des algorithmes de filtrage contenant ce type de contraintes. En effet, nous proposons un algorithme generique, arc label consistance (lac), pour le filtrage et la decomposition des csp contenant des contraintes bijectives et fonctionnelles. La deuxieme partie de cette these est consacree a l'aspect optimisation. Dans un premier temps, nous presentons une formulation du max-csp par un probleme d'affectation quadratique (qap). Ensuite, nous exploitons ce lien pour proposer une nouvelle borne inferieure parametree pour le max-csp. Les differents algorithmes proposes sont valides experimentalement.