Formulation du problème CSP

La formulation du problème d’emploi du temps est la suivante:

Problème= {Enseignants, Salles, Cours, Horaires, Contraintes} ;
Enseignants= {E1,….Ei,…..Ee} est l’ensemble des e enseignants ;
Salles= {S1,….Sj,…..Ss} est l’ensemble des s salles ;
Cours= {C1,….Cl,…..Cc} est l’ensemble des c cours ;
Horaires= {H1,….Hk,…..Hh} est l’ensemble des h horaires ;
Les contraintes sont un ensemble de contraintes.
● Un enseignant Ei peut donner au plus un cours pendant l’horaire Hk dans une salle
Sj: ∑ ∑ x [Ei, Sj, Cl, Hk] ≤ 1 ; Ei, Hk Sj Cl
● Une salle Sj peut contenir au plus un cours Cl donne par un seul enseignant pendant
l’horaire Hk : ∑ ∑ ∑ x [Ei, Sj, Cl, Hk] ≤ 1 ; Sj Ej Cl Hk
● Un cours Cl peut être donné au plus par un unique enseignant Ei dans une salle Sj à
un certain horaire Hk: x [Ei, Sj, Cl, Hk] = 1 Cl

Le problème de l’emploi du temps formalisé par un CSP peut être résolu de multiples façons
:

● genetic
● FET(récursive swapping)
● Greedy
● LP (linear problem)