Génération rapide et filtrage de configurations canoniques
Résumé
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.
Domaines
Langage de programmation [cs.PL]
Origine : Fichiers produits par l'(les) auteur(s)
Loading...