Thèse soutenue

Approches hybrides pour les problèmes CSP
FR  |  
EN
Accès à la thèse
Auteur / Autrice : Hervé Deleau
Direction : Jin-Kao Hao
Type : Thèse de doctorat
Discipline(s) : Informatique
Date : Soutenance en 2005
Etablissement(s) : Angers

Mots clés

FR

Mots clés contrôlés

Résumé

FR  |  
EN

Cette thèse propose une approche hybride générique pour résoudre les problèmes de satisfaction de contraintes (CSP). Après avoir présenté les CSP et les méthodes couramment utilisées pour les résoudre, nous présentons notre approche, combinant des stratégies inspirées de la recherche arborescente et de la recherche locale. Le cadre unificateur est celui d'une population d'individus, lesquels correspondent, non pas à des solutions, mais à des sous-ensembles de l'espace de recherche. La propagation de contraintes et la découpe de domaines contribuent à réduire les individus à des sous-ensembles plus restreints; la recherche locale examine des solutions (appelées "points") dans un individu. Notre approche est évaluée expérimentalement sur un ensemble de problèmes. Enfin, nous proposons de nouvelles perspectives et adaptations possibles de notre approche sur d'autres types de problèmes.