Sur la génération et l'exploitation de décompositions pour la résolution de réseaux de contraintes - Inria - Institut national de recherche en sciences et technologies du numérique
Communication Dans Un Congrès Année : 2005

Sur la génération et l'exploitation de décompositions pour la résolution de réseaux de contraintes

Résumé

Les méthodes exploitant les décompositions arborescentes pour résoudre des réseaux de contraintes semblent constituer les meilleures approches en termes de complexité théorique en temps. Néanmoins, on peut estimer qu'elles n'ont pas démontré, à ce jour, un véritable intérêt pratique. Aussi, dans cette contribution, nous étudions tout d'abord différentes stratégies d'approximations de décompositions arborescentes optimales, et nous analysons ensuite leur pertinence dans le cadre de la résolution de CSP. Dans une seconde partie, nous étudions le problème du choix de la meilleure stratégie pour le parcours de l'arbre de clusters associé dans le cadre de la résolution du CSP. Les stratégies sont relatives notamment au choix du cluster racine, c'est-à-dire, celui à partir duquel débutera la recherche. Un deuxième aspect concerne l'ordre dans lequel les fils d'un cluster seront visités.
Fichier principal
Vignette du fichier
39.pdf (265.42 Ko) Télécharger le fichier

Dates et versions

inria-00000072 , version 1 (26-05-2005)

Identifiants

  • HAL Id : inria-00000072 , version 1

Citer

Philippe Jégou, Samba Ndojh Ndiaye, Cyril Terrioux. Sur la génération et l'exploitation de décompositions pour la résolution de réseaux de contraintes. Premières Journées Francophones de Programmation par Contraintes, CRIL - CNRS FRE 2499, Jun 2005, Lens, pp.149-158. ⟨inria-00000072⟩
101 Consultations
42 Téléchargements

Partager

More