Tables de transposition pour la satisfaction de contraintes - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2007

Tables de transposition pour la satisfaction de contraintes

Résumé

Dans ce papier, nous proposons une approche basée sur la reconnaissance d'états dans le cadre de la résolution du problème de satisfaction de contraintes (CSP). L'idée principale consiste en la mémorisation d'états pendant la recherche de manière à prévenir la résolution de sous-réseaux similaires. Les techniques classiques évitent la réapparition de conflits précédemment rencontrés en enregistrant des ensembles conflits (conflict sets). Ceci contraste avec notre approche basée sur les états qui mémorise des sous-réseaux déjà explorés, c'est à dire une photographie de certains domaines sélectionnés. Ces informations sont ensuite exploitées pour éviter soit le parcours d'états in consistants, soit de recalculer l'ensemble des solutions de ces sous-réseaux. Les deux approches présentent une certaine complémentarité : en effet différents états peuvent être évités à partir d'une même instantiation partielle ou ensemble conflits tandis que différentes instantiations partielles peuvent mener à un même état qui n'a besoin d'être exploré qu'une seule fois. De plus notre méthode permet de détecter et casser dynamiquement certaines formes de symétries (notamment l'interchangeabilité au voisinage). Les résultats expérimentaux obtenus laissent entrevoir des perspectives promette uses pour la recherche basée sur les états.
Fichier principal
Vignette du fichier
22.pdf (140.67 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

inria-00151218 , version 1 (01-06-2007)

Identifiants

  • HAL Id : inria-00151218 , version 1

Citer

Christophe Lecoutre, Lakhdar Saïs, Sébastien Tabary, Vincent Vidal. Tables de transposition pour la satisfaction de contraintes. Troisièmes Journées Francophones de Programmationpar Contraintes (JFPC07), Jun 2007, INRIA, Domaine de Voluceau, Rocquencourt, Yvelines France. ⟨inria-00151218⟩
54 Consultations
33 Téléchargements

Partager

Gmail Facebook X LinkedIn More