La contrainte Increasing NValue - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2010

La contrainte Increasing NValue

Abstract

Cet article introduit la contrainte Increasing NValue, qui restreint le nombre de valeurs distinctes affectées à une séquence de variables, de sorte que chaque variable de la séquence soit inférieure ou égale à la variable la succédant immédiatement. Cette contrainte est une spécialisation de la contrainte NValue, motivée par le besoin de casser des symétries. Il est bien connu que propager la contrainte NValue est un problème NP-Difficile. Nous montrons que la spécialisation au cas d'une séquence ordonnée de variables rend le problème polynomial. Nous proposons un algorithme d'arc-consistance ayant une complexité temporelle en O(sum D), où sum D est la somme des tailles des domaines. Cet algorithme est une amélioration significative, en termes de complexité, des algorithmes issus d'une représentation de la contrainte Increasing NValue à l'aide d'automates ou de la contrainte SLIDE. Nous utilisons notre contrainte dans le cadre d'un problème d'allocation de ressources.
Fichier principal
Vignette du fichier
beldiceanu.pdf (267.97 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

inria-00520296 , version 1 (22-09-2010)
inria-00520296 , version 2 (25-09-2010)

Identifiers

  • HAL Id : inria-00520296 , version 2

Cite

Nicolas Beldiceanu, Fabien Hermenier, Xavier Lorca, Thierry Petit. La contrainte Increasing NValue. JFPC 2010 - Sixièmes Journées Francophones de Programmation par Contraintes, Jun 2010, Caen, France. pp.61-70. ⟨inria-00520296v2⟩
279 View
120 Download

Share

Gmail Facebook Twitter LinkedIn More