vérification avant et propagation de contraintes

Question

Je veux implémenter le problème de n-reine par propagation de contraintes. Quelles sont les différences entre la vérification avant et la propagation de contraintes dans le problème des n-reines?

Answer 1

La vérification avant propage les informations des variables affectées aux variables non attribuées, mais ne permet pas de détecter rapidement toutes les défaillances.

La propagation de contrainte applique de façon itérative des contraintes localement.