Décomposition arborescente et cohérence locale souple dans les CSP pondérés - Inria - Institut national de recherche en sciences et technologies du numérique
Communication Dans Un Congrès Année : 2006

Décomposition arborescente et cohérence locale souple dans les CSP pondérés

Résumé

Plusieurs approches récentes pour résoudre les modèles graphiques (réseaux Bayésiens avec contraintes) exploitent simultanément une décomposition du graphe et le maintien d'une propriété de cohérence locale. La décomposition de graphe exploite la structure du problème, offrant des bornes sur la complexité spatiale et temporelle, tandis que la propagation des contraintes dures conduit en pratique à des améliorations en terme de mémoire et de temps à l'intérieur de ces bornes de complexité théorique. Parallèlement, l'extension des propriétés de cohérence locale au cas des réseaux de contraintes pondérées a permis d'importants gains d'efficacité pour les méthodes fondées sur le principe de séparation et évaluation. En fait, ces cohérences locales souples établissent de manière incrémentale des minorants permettant de couper dans l'arbre de recherche et de guider les heuristiques. Dans cet article, nous considérons la combinaison d'une méthode exploitant la décomposition arborescente avec le maintien d'une propriété de cohérence locale souple pour résoudre des problèmes de satisfaction de contraintes pondérées. L'interaction complexe entre ces deux mécanismes amène à considérer différentes approches ayant différentes propriétés théoriques. Il apparaît que la combinaison la plus prometteuse sacrifie un peu les bornes théoriques pour une meilleure efficacité en pratique.
Fichier principal
Vignette du fichier
36.pdf (288.9 Ko) Télécharger le fichier
Loading...

Dates et versions

inria-00085804 , version 1 (14-07-2006)

Identifiants

  • HAL Id : inria-00085804 , version 1
  • PRODINRA : 252446

Citer

Simon de Givry, Thomas Schiex, Gérard Verfaillie. Décomposition arborescente et cohérence locale souple dans les CSP pondérés. Deuxièmes Journées Francophones de Programmation par Contraintes (JFPC06), 2006, Nîmes - Ecole des Mines d'Alès / France, France. ⟨inria-00085804⟩
306 Consultations
99 Téléchargements

Partager

More