Recouvrement de problèmes par des hypergraphes acycliques : analyses théorique et expérimentale - Inria - Institut national de recherche en sciences et technologies du numérique
Communication Dans Un Congrès Année : 2007

Recouvrement de problèmes par des hypergraphes acycliques : analyses théorique et expérimentale

Résumé

Cette contribution s'intéresse à la notion de recouvrement de problèmes (au sens des CSPs) par des hypergraphes acycliques (ou hyper-arbres). Elle introduit une méthode de résolution fondée sur l'exploitation d'ensemble d'hypergraphes acycliques recouvrants. Ces recouvrements peuvent être assimilés à une forme d'extension de la notion classique de décomposition arborescente de réseau de contraintes. Nous étudions ici les propriétés et les relations de ces recouvrements, puis nous évaluons leur intérêt théorique pour le cas de problèmes structurés. Nous montrons que cette approche rend possible une gestion dynamique de la structure des CSPs pendant la résolution, et facilite ainsi une exploitation aisée des heuristiques dynamiques d'ordonnancement des variables. De plus, nous proposons un résultat de complexité qui améliore significativement ceux fournis précédemment dans la littérature. Enfin, nous présentons des résultats expérimentaux qui donnent une idée de l'intérêt de cette nouvelle approche sur le plan pratique.
Fichier principal
Vignette du fichier
15.pdf (220.47 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

inria-00151228 , version 1 (01-06-2007)

Identifiants

  • HAL Id : inria-00151228 , version 1

Citer

Jégou Philippe, Samba Ndjoh Ndiaye, Cyril Terrioux. Recouvrement de problèmes par des hypergraphes acycliques : analyses théorique et expérimentale. Troisièmes Journées Francophones de Programmationpar Contraintes (JFPC07), Jun 2007, INRIA, Domaine de Voluceau, Rocquencourt, Yvelines France. ⟨inria-00151228⟩
77 Consultations
72 Téléchargements

Partager

More