Inférence de supports pour les algorithmes de filtrage générique
Résumé
Dans cet article, nous proposons une analyse statique des différentes contraintes d'un réseau afin d'identifier certaines propriétés (ou caractéristiques) générales. L'utilisation de ces propriétés rend possible une inférence de supports qui permet de réduire le nombre de tests de consistance. En effet, l'exploitation de certaines propriétés identifiées lors d'une phase de pré-traitement peut apporter une amélioration substantielle des algorithmes de recherche qui maintiennent une forme de consistance locale telle que la consistance d'arc. Les résultats d'expérimentations menées sur de nombreuses classes d'instances démontrent l'intérêt de cette approche.
Loading...