Deux variations sur le thème de la consistance d'arcs : maintien et renforcement
Résumé
établir un niveau de consistance partielle au sein d'un problème de satisfaction de contraintes est une étape importante, sinon nécessaire, de son processus de résolution. Ce rapport présente deux variations sur le thème de la consistance d'arcs qui reste aujourd'hui le niveau de consistance le plus souvent sollicité en pratique. La première variation est une extension de la consistance d'arcs classique au cadre des problèmes de contraintes dynamiques. Ces problèmes possèdent un cycle de vie dù à des interactions avec l'utilisateur qui peut ajouter et retirer des contraintes à tout moment. Le problème principal est alors de maintenir la consistance d'arcs à travers le retrait de contraintes. La seconde variation traite d'un léger renforcement de la condition qui caractérise la consistance d'arcs afin d'offrir une meilleure capacité de filtrage des domaines. Le niveau de consistance partiel obtenu se situe entre la consistance d'arcs et la consistance de chemins, conserve les bonnes propriétés de la première et reste bien moins coùteuse que la seconde.