MR : IDIAG

Méthodes Intelligentes et Raisonnement

Travail effectué par : Saouabi Mohamed Dhia Eddine

AU: 2020-2021
 T W O
+ T W O
F O U R
On a : Variables : F, T, U, W, R, O, x1, x2, x3
Domaines : {0,1,2,3,4,5,6,7,8,9}
C1 : O + O = R + 10*x1
C2 : x1 + W + W = U + 10*x2
C3 : x2 + T + T = O + 10*x3
C4 : F = x3
C5 : O ≠ R ≠ W ≠ U ≠ T ≠ F
On suppose que x1 = 1
C1 : 2O = R +10 ⇨ O = (R/2) + 5 ≥ 5 ⇨ O ∈ {5,6,7,8,9}
On suppose que O = 5 ⇨ 5+5 =R + 10⇨ R=0
C2 : W+W+X1 = U +10*x2 ⇨ 2W + 1 = U + 10*x2 , On suppose que x2 = 1
2W + 1 = U + 10 ⇨ 2W = U + 9 ⇨ W = (U/2) +9/2 ≥ 5 Avec W ≠ (O = 5)
On suppose que W = 6 ⇨ 6+6+x1 = U +x2*10, Or x1 = x2 = 1
Donc 6+6+1 = U + 10 ⇨ U = 3
C3 : x2 + T + T = O + 10*x3
On suppose que x3 = 1
Donc 1 + 2T = 5 + 10 ⇨ 2T = 14 ⇨ T = 7 Et comme x3 = F ⇨ F = 1
T W O 765
+ T W O ⇨ + 765
= F O U R = 1530
Pour Conclure :
O 5
R 0
W 6
U 3
T 7
F 1
X1 1
X2 1
X3 1

2
Exercice CSP :
X = {X1, X2, X3, X4, X5, X6} X1 0 1 2 3 9 10 11 12
D(X1) = {0,1,2,3,9,10,11,12} X2 -2 -1
D(X2) = {-2,-1} X3 5 6 7
D(X3) = {5,6,7} X4 -11 -10 -9 -2 -1 0
D(X4) = {-11,-10,-9,-2,-1,0} X5 0 1 2 3
D(X5) = {0,1,2,3} X6 0 1 2
D(X6) = {0,1,2}
C= {c1, c2, c3, c4, c5, c6} avec :
c1 : X1 =2* X4 + 3
c2 : X6 = X1 - 2
c3 : X5 > X2
c4 : X4 +2 ≥ X6
c5 : X3 = X5 +4
c6 : X2 < X6
On a : c1 : X1 =2* X4 + 3
Pour vérifier cette contrainte il faut que :
X1 3 D(X4) = {-1,0} et D(X1) = {1,3}
X2 -2 -1 On a : c2 : X6 = X1 - 2
X3 5 6 7 Pour vérifier cette contrainte il faut que :
X4 0 D(X1) = {3} et D(X6) = {1}
X5 1 2 3 Et pour vérifier c1 il faut que :
X6 1 D(X4) = {0}
On a : c3 : X5 > X2
Pour vérifier cette contrainte il faut que :
Alors les solutions : D(X5) = {0,1,2,3} et D(X2) = {-2,-1}
(3,-2,5,0,1,1) ; (3,-1,5,0,1,1) ; On a : c4 : X4 +2 ≥ X6
(3,-2,6,0,1,1) ; (3,-1,6,0,1,1) ; Pour vérifier cette contrainte il faut que :
(3,-2,7,0,1,1) ; (3,-1,7,0,1,1) ; D(X4) = {-1,0} et D(X6) = {1}
On a : c5 : X3 = X5 +4
(3,-2,5,0,2,1) ; (3,-1,5,0,2,1) ; Pour vérifier cette contrainte il faut que :
(3,-2,6,0,2,1) ; (3,-1,6,0,2,1) ; D(X3) = {5,6,7} et D(X5) = {1,2,3}
(3,-2,7,0,2,1) ; (3,-1,7,0,2,1) ; On a : c6 : X2 < X6
Pour vérifier cette contrainte il faut que :
(3,-2,5,0,3,1) ; (3,-1,5,0,3,1) ; D(X2) = {-2,-1} et D(X6) = {1}
(3,-2,6,0,3,1) ; (3,-1,6,0,3,1) ; Pour conclure :
(3,-2,7,0,3,1) ; (3,-1,7,0,3,1) ; D(X1) = {3} ; D(X2) = {-2,-1} ;
D(X3) = {5,6,7} ; D(X4) = {0} ;
D(X5) = {1,2,3} ; D(X6) = {1}

3
Exercice 2 :
1- On a 3 femmes F = {Marie, Denise, Inconnue = f1}
On a 3 hommes H= {Pascale, George, Inconnu = h1}
X : Relation de conversation
Y : Relation de mariage
X : F↔ H
Y : F↔ H
Alors :
Si X(f) = h donc X(h) = f
Si Y(f) = h donc Y(h) = f
On a aussi :
X(f) ≠ Y(f)
X(h) ≠ Y(h)

Avec :
- X(Marie) = Pascal
- X(George) = Y(Pascal)
- X(Denise) = Y(Marie)

2- On a : X(Marie) = Pascal
Et On a : X(George) = Y(Pascal)
Donc D X(George) = {Denise, f1} = D Y(Pascal)
On a X(Denise) = Y(Marie)
Donc D X(Denise) = {George, h1} = D Y(Marie)

Si :
- X(Marie) = Pascal
- X(George) = Y(Pascal) = Denise
- X(Denise) = Y(Marie) = George
Donc : X(h1) = f1

On a alors :
- Y(Pascal) = Denise
- Y(George) = Marie
- Y(h1) = f1 = X(h1)
Ce qui est impossible

Si :
- X(Marie) = Pascal
- X(George) = Y(Pascal) = f1
- X(Denise) = Y(Marie) = George

On a alors :
X(George) = f1 = Denise

4
 Ce qui est impossible

Si :
- X(Marie) = Pascal
- X(George) = Y(Pascal) = Denise
- X(Denise) = Y(Marie) = h1

On a alors :
X(Denise)= George = h1
Ce qui est impossible

Si :
- X(Marie) = Pascal
- X(George) = Y(Pascal) = f1
- X(Denise) = Y(Marie) = h1

On a alors :
- Y(Pascal) = f1
- Y(Marie) = h1
- Y(George) = Denise

D’où les couples sont : (Pascal, f1) ; (h1, Marie) ; (George, Denise)
Et les conversations se déroulent entre : (Pascal, Marie) ; (George, f1) ; (h1, Denise)