La contrainte Increasing NValue - LINA - Langages d'Aspects et de Composants Accéder directement au contenu
Communication Dans Un Congrès Année : 2010

La contrainte Increasing NValue

Résumé

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
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

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

Identifiants

  • HAL Id : inria-00520296 , version 2

Citer

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⟩
289 Consultations
126 Téléchargements

Partager

Gmail Facebook X LinkedIn More