Génération rapide et filtrage de configurations canoniques - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2007

Génération rapide et filtrage de configurations canoniques

Abstract

La configuration sous contraintes présente une nouvelle difficulté à prendre en compte par les méthodes d'élimination de symétries connues par la communauté CSP car elle y introduit un aspect dynamique. Nous présentons ici une amélioration significative d'un algorithme de génération de configurations canoniques. Cette nouvelle version exploite l'incrémentalité que l'on peut faire ressortir de la génération de solutions canoniques et de l'ordre total sur les arbres sur laquelle elle repose. La complexité du test de canonicité passe ainsi de O(Nlog(N)) à O(N). De plus, une technique de filtrage nous permet d'éliminer à l'avance des configurations non canoniques. Des résultats expérimentaux montrent l'intérêt de cette approche sur des problèmes classiques.
Fichier principal
Vignette du fichier
64.pdf (219.36 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

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

Identifiers

  • HAL Id : inria-00151237 , version 1

Cite

Laurent Henocque, Nicolas Prcovic. Génération rapide et filtrage de configurations canoniques. Troisièmes Journées Francophones de Programmationpar Contraintes (JFPC07), Jun 2007, Rocquencourt / France. ⟨inria-00151237⟩
51 View
32 Download

Share

Gmail Facebook X LinkedIn More