Hybridation de méthodes complètes et incomplètes pour la résolution de CSP - TEL - Thèses en ligne Accéder directement au contenu
Thèse Année : 2006

Hybridization of complet and incomplete methods to
solve CSP

Hybridation de méthodes complètes et incomplètes pour la résolution de CSP

Résumé

Hybridization of incomplete and constraint programming techniques for solving Constraint Satisfaction Problems is generally restricted to some kind of master-slave combinations for specific classes of problems. In this PhD thesis, we are concerned with the design of a hybrid resolution framework based on K.R. Apt's chaotic iterations. In this framework, basic resolution processes
are abstracted by functions over an ordered structure. This allows us to consider the different resolution agents at a same level and to study more precisely various strategies for hybridization of local search, genetic algorithms and constraint propagation.
Hybrid resolution can be achieved as the computation of a fixed point of some specific reduction functions. Our framework opens up new and finer possibilities for hybridization/combination strategies. Our prototype implementation gave experimental results showing the interest of the model to design such hybridizations.
L'hybridation des mécanismes de méthodes incomplètes et des techniques de programmation par contraintes est souvent basée sur des combinaisons de type maître-esclave, dédiées à la résolution de classes de problèmes spécifiques. Dans cette thèse, nous nous intéressons à la définition d'un modèle théorique uniforme, basé sur les itérations chaotiques de K.R. Apt qui définissent un cadre mathématique pour l'itération d'un ensemble fini de fonctions sur des domaines abstraits munis d'un ordre partiel. Ce cadre permet
de prendre en compte une hybridation entre les méthodes incomplètes et les méthodes complètes. Dans ce contexte, la résolution s'apparente à un calcul de point fixe d'un ensemble de fonctions de réductions spécifiques. Notre cadre générique permet alors d'envisager des stratégies de combinaisons et d'hybridation de manière plus fine et d'étudier leurs propriétés. Nous avons employé un cadre général approprié pour modéliser la résolution des problèmes d'optimisation et nous présentons des résultats
expérimentaux qui mettent en avant les atouts de telles
combinaisons en regard d'une utilisation indépendante des techniques de résolution.
Fichier principal
Vignette du fichier
these_Tony_Lambert.pdf (754.28 Ko) Télécharger le fichier
Loading...

Dates et versions

tel-00130790 , version 1 (13-02-2007)

Identifiants

  • HAL Id : tel-00130790 , version 1

Citer

Tony Lambert. Hybridation de méthodes complètes et incomplètes pour la résolution de CSP. Modélisation et simulation. Université de Nantes, 2006. Français. ⟨NNT : ⟩. ⟨tel-00130790⟩
331 Consultations
930 Téléchargements

Partager

Gmail Facebook X LinkedIn More