Programmation par Contraintes - Maria Malek
Rappel - La notion de Consistance
Une consistance est une propriété qui doit être assurée à
chaque étape de la recherche de la solution dans
l’objectif de couper l’arbre de recherche.
Programmation par Contraintes – p. 2/11
Rappel - La notion de Consistance
Une consistance est une propriété qui doit être assurée à
chaque étape de la recherche de la solution dans
l’objectif de couper l’arbre de recherche.
NON coûteuse à calculer.
Programmation par Contraintes – p. 2/11
Rappel - La notion de Consistance
Une consistance est une propriété qui doit être assurée à
chaque étape de la recherche de la solution dans
l’objectif de couper l’arbre de recherche.
NON coûteuse à calculer.
Retire des domaines des variables, les valeurs qui ne
participent pas à aucune solution.
Programmation par Contraintes – p. 2/11
Rappel - La notion de Consistance
Une consistance est une propriété qui doit être assurée à
chaque étape de la recherche de la solution dans
l’objectif de couper l’arbre de recherche.
NON coûteuse à calculer.
Retire des domaines des variables, les valeurs qui ne
participent pas à aucune solution.
Types de consistance :
La noeud-consistance consiste à éliminer des domaines
de variables toutes les valeurs qui n’appartiennent
pas aux solutions des contrainte unaires.
L’arc consistance contraintes binaires : le système sera
représenté par un graphe.
L’hyperplan consistance ... Programmation par Contraintes – p. 2/11
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
1
/
21
100%
