Réordonnancement de domaines dans les réseaux de contraintes - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year :

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

Abstract

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
Origin : Files produced by the author(s)
Loading...

Dates and versions

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

Identifiers

  • HAL Id : inria-00291550 , version 1

Cite

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⟩
258 View
107 Download

Share

Gmail Facebook Twitter LinkedIn More