Propagation de contraintes et cohérence d’arc

Réduire les domaines avant et pendant la recherche : ce que signifie la cohérence d’arc, comment AC-3 l’impose, et exactement ce qu’elle peut et ne peut pas prouver.

FondementsModule 230 min · 120 XP

Des jetons de couleur qui s’écoulent hors des domaines des régions à mesure que les arcs sont traités, un domaine qui se vide entièrement, et une file qui se remplit de nouveau chaque fois qu’un voisin rétrécit.

Ceci est une leçon premium

Connectez-vous et inscrivez-vous pour lire la leçon complète, exécuter le code, passer le quiz et gagner des XP pour le badge du parcours.

Se connecter Créer un compte

← Retour à Satisfaction de contraintes