Satisfaction de contraintes
Décrivez un problème par des variables, des domaines et des contraintes, et un solveur générique pourra l’attaquer sans savoir de quoi il parle - à condition de le laisser raisonner sur les contraintes au lieu de seulement deviner des valeurs.
Connectez-vous pour passer les quiz, gagner des XP et débloquer les étapes en atteignant 90% de maîtrise.
Modéliser un problème par des contraintes
25 min · 100 XPVariables, domaines et contraintes comme forme standard, le graphe de contraintes qui vient avec, et la commutativité qui réduit l’espace de recherche avant même que la recherche ne commence.
Ouvrir la leçon →Connectez-vous pour passer le quiz de 3 questions.
Propagation de contraintes et cohérence d’arc
30 min · 120 XPRé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.
Ouvrir la leçon →Connectez-vous pour passer le quiz de 3 questions.
La recherche avec retour arrière et ses heuristiques
30 min · 120 XPL’affectation en profondeur d’abord avec les trois heuristiques standard, et une mesure montrant que la plus célèbre d’entre elles ne fait rien à elle seule.
Ouvrir la leçon →Connectez-vous pour passer le quiz de 3 questions.