Remerciez-le!

Remerciez @Admin pour avoir partagé cet document gratuitement, de la manière la plus simple, en partageant sur les réseaux sociaux.

Département des Mathématiques et d’Informatique 1ière année AD, 2018-2019 Facul

Département des Mathématiques et d’Informatique 1ière année AD, 2018-2019 Faculté SE-SNV, Université Larbi Ben Mhidi Responsable : Mme MELLAL Corrigé de l’examen en Programmation par contraintes Exercice 1 (6 points) On considère le CSP binaire P=(X,D,C) suivant : X = {X1, X2, X3, X4} D(X1)=D(X2)={a, b}, D(X3)={b,c}, D(X4)={a,c} C={c1 : X1 ≠ X2, c2 : X2 ≠ X3, c3 : X1 ≠ X4, c4 : X3 ≠ X4} 1- Appliquez l’algorithme de recherche SRA (Simple Retour Arrière) au CSP P 2- Appliquez l’algorithme de recherche FC (Forward-Checking) au CSP P Exercice 2 (8 points) monnaie(T,P, Var):- Var=[T, P, X200, X100, X50 , X20, X10 ], fd_domain(X200,[0,10,20,50,100,200]), fd_domain(X100,[0,10,20,50,100]), fd_domain(X50,[0,10,20,50]), fd_domain(X20,[0,10,20]), fd_domain(X10,[0,10]), X200 + X100 + X50 + X20 + X10 #= T-P, fd_labeling(Var). ?- monnaie(250,50, Var). Var = [250,50,20,100,50,20,10] ? ; Exercice 3 (6 points) Département des Mathématiques et d’Informatique 1ière année AD, 2018-2019 Faculté SE-SNV, Université Larbi Ben Mhidi Responsable : Mme MELLAL Soit le CSP (X,D,C) : X = {X1, X2, X3} D(X1)={1..3}, D(X2)={0..2}, D(X3)={2..4} C={c1 : X1 est pair, X2 et X3 sont impair, c2 : X1 < X3, c3 : X2< X1, c4 : X3>X2} - Indiquez si le CSP est nœud consistant ? justifiez ? rendez-le nœud consistant dans le cas contraire. NON - Indiquez si le CSP est arc consistant ? justifiez ? rendez-le arc consistant dans le cas contraire. NON - Quelle est l’unique solution du CSP , solution X1=2, X2=1, X3=3 uploads/Science et Technologie/ corrige-de-lexamen-ppc.pdf