Intergiciels Heuristiques Contraintes Composants Agile Vivado Agents

M2

Cours

• CM n°1
• CM n°2

But du TP

• Générateur de CSP : On génère 10 CSP
• 3 algorithmes:
  • BT
  • BJ
  • FC

Comparer les performances des algorithmes (via des courbes) en fonction de (axe des x) :

• Nombre de variables (10, 20, 50, 100, 200)
• Taille du domaine
• Dureté des contraintes (i.e. le pourcentage de couples exprimés par rapport au nombre total de couples)

Il faudra mesurer (axe des y) :

• Le temps
• Le nombre de checks
• Le nombre de backtracks

                      Cxy

   +-----+                                       +-----+
   |  X  | ------------------------------------> |  Y  |
   +-----+                                       +-----+

  D(X) = {1, 2, 3, ...}                   D(Y) = {1, 2, 3, 4, 5}

Démarche :

• On peut énumérer tous les couples possibles entre les deux domaines (i.e. ici, (1, 1), (1, 2), (1, 3), ...).