Réordonnancement de domaines dans les réseaux de contraintes - IMT Atlantique Accéder directement au contenu
Communication Dans Un Congrès Année : 2008

Réordonnancement de domaines dans les réseaux de contraintes

Résumé

Dans le but d'accélérer la résolution d'un CSP, nous nous intéressons au problème consistant à modifier l'ordre sur les valeurs qui est induit par la définition de chaque domaine. Nous discutons de l'intérêt de cette technique de reformulation et définissons les problèmes pertinents. Nous montrons qu'on peut trouver un ordre rendant un réseau de contraintes monotone (s'il en existe un) en temps polynomial, mais que le même problème est NP-difficile pour la classe des contraintes min-closes. Enfin, nous montrons en quoi nos résultats s'appliquent au maintien de diverses consistances aux bornes.
Fichier principal
Vignette du fichier
pages-133-142-article45.pdf (319.36 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

inria-00291550 , version 1 (27-06-2008)

Identifiants

  • HAL Id : inria-00291550 , version 1

Citer

Christian Bessiere, Thierry Petit, Bruno Zanuttini. Réordonnancement de domaines dans les réseaux de contraintes. 4èmes Journées Francophones de Programmation par Contraintes (JFPC 2008), LINA - Université de Nantes - Ecole des Mines de Nantes, Jun 2008, Nantes, France. pp.133-142. ⟨inria-00291550⟩
268 Consultations
107 Téléchargements

Partager

Gmail Facebook X LinkedIn More