Relaxation de AllDifferent avec préférences - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2008

Relaxation de AllDifferent avec préférences

Abstract

Dans cet article, nous proposons deux nouvelles sémantiques de violation pour la contrainte globale AllDifferent permettant de prendre en compte les préférences formulées par l'utilisateur. La première, dite sémantique basée variable, pour laquelle un poids est attribué à chaque variable et où la quantité de violation correspond à la somme des poids des variables à réinstancier. Pour cette sémantique, nous proposons un algorithme maintenant la consistance globale en temps polynomial. La seconde, dite sémantique basée décomposition, pour laquelle un poids est attribué à chaque contrainte binaire de différence et où la quantité de violation correspond à la somme des poids des contraintes binaires de différence insatisfaites. Pour cette sémantique, nous montrons que le test de consistance est un problème NP-Complet. Nous proposons alors de maintenir une consistance locale basée sur le calcul d'un minorant (en temps polynomial) et nous étudions expérimentalement la qualité du minorant et de la consistance ainsi maintenue.
Fichier principal
Vignette du fichier
pages-191-200-article19.pdf (339.07 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

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

Identifiers

  • HAL Id : inria-00291577 , version 1

Cite

Jean-Philippe Metivier, Patrice Boizumault, Samir Loudni. Relaxation de AllDifferent avec préférences. JFPC 2008- Quatrièmes Journées Francophones de Programmation par Contraintes, LINA - Université de Nantes - Ecole des Mines de Nantes, Jun 2008, Nantes, France. pp.191-200. ⟨inria-00291577⟩
75 View
178 Download

Share

Gmail Facebook X LinkedIn More