Cohérences Locales Paramétrées
Résumé
Les solveurs de contraintes maintiennent uniformé-ment le même niveau de cohérence locale (généralement la cohérence d'arc) indépendamment de l'instance du problèmeà résoudre. Nous proposons le concept de co-hérence locale paramétrée, une approche originale qui permet d'ajuster le niveau de cohérence locale en fonc-tion de l'instance du problèmeà résoudre et en fonction de la partie du problème dans laquelle s'effectue la propagation. Nous n'utilisons pas comme paramètre l'une des caractéristiques de l'instance, comme le font les por-tefeuilles de solveurs. Nous utilisons comme paramètre la stabilité des valeurs, une caractéristique basée sur l'état de l'algorithme de cohérence d'arc durant son exécution. Les cohérences locales paramétrées appliquentà une valeur, la cohérence d'arc ou un autre niveau de co-hérence plusélevé, selon que la stabilité de cette valeur est en dessus ou en dessous d'un seuil donné. L'approche que nous proposons permet d'obtenir un bon compromis entre la capacité d'une cohérence localeà supprimer des valeurs et le coût en temps pour atteindre ce niveau de cohérence dans un réseau de contraintes. Nous validons notre approche sur différents problèmes de la dernière compétition des solveurs de contraintes.
Domaines
Intelligence artificielle [cs.AI]Origine | Fichiers produits par l'(les) auteur(s) |
---|
Loading...