Corrige de lexamen ppc Département des Mathématiques et d ? Informatique Faculté SE-SNV Université Larbi Ben Mhidi ière année AD - Responsable Mme MELLAL Corrigé de l ? examen en Programmation par contraintes Exercice points On considère le CSP binaire P

Département des Mathématiques et d ? Informatique Faculté SE-SNV Université Larbi Ben Mhidi ière année AD - Responsable Mme MELLAL Corrigé de l ? examen en Programmation par contraintes Exercice points On considère le CSP binaire P X D C suivant X X X X X D X D X a b D X b c D X a c C c X ?? X c X ?? X c X ?? X c X ?? X - Appliquez l ? algorithme de recherche SRA Simple Retour Arrière au CSP P - Appliquez l ? algorithme de recherche FC Forward-Checking au CSP P Exercice points monnaie T P Var - Var T P X X X X X fddomain X fddomain X fddomain X fddomain X fddomain X X X X X X T-P fdlabeling Var - monnaie Var Var Exercice points CDépartement des Mathématiques et d ? Informatique Faculté SE-SNV Université Larbi Ben Mhidi ière année AD - Responsable Mme MELLAL Soit le CSP X D C X X X X D X D X D X C c X est pair X et X sont impair c X X c X X c X X Indiquez si le CSP est n ?ud consistant justi ?ez rendez-le n ?ud consistant dans le cas contraire NON - Indiquez si le CSP est arc consistant justi ?ez rendez-le arc consistant dans le cas contraire NON - Quelle est l ? unique solution du CSP solution X X X C ?

  • 43
  • 0
  • 0
Afficher les détails des licences
Licence et utilisation
Gratuit pour un usage personnel Aucune attribution requise
Partager