Propagation de contraintes

Définition

La propagation de contraintes est le processus de communication de la réduction de domaine d'une variable de décision à toutes les contraintes qui sont énoncées sur cette variable. Ce processus peut entraîner davantage de réductions de domaine. Ces réductions de domaine, à leur tour, sont communiquées aux contraintes appropriées.

Ce processus se poursuit jusqu'à ce que plus aucun domaine variable ne puisse être réduit ou lorsqu'un domaine devient vide et qu'une défaillance se produit. Un domaine vide lors de la propagation de la contrainte initiale signifie que le modèle n'a pas de solution.

Français

Propagation de contraintes masculin

Anglais

Constraint propagation

Source : Utexas Ai vocabulary