Vous êtes sur la page 1sur 3

1-3 Approches de rsolutions d'un problme d'emploi du temps

Plusieurs approches de rsolution du problme d'emploi du temps ont t


proposes dans la littrature, les premires approches taient bases sur la
thorie des graphes , la programmation linaire pour certaines et les techniques
de satisfaction des contraintes pour d'autres . Cependant , ces mthodes n'ont
pas donnes des solutions traitants toutes les instances du problme [ref1] . Pour
cela elles ont vite cd le pas d'autres types de mthodes savoir les
mtaheuristiques . Les mtaheuristiques garantissent une bonne investigation de
l'espace de recherche sans garantir pour autant l'optimalit de la solution [ref1] .
Ceci permis l'apparition d'autres types de mthodes savoir l'hybridation des
premires mthodes avec les mthaheuristiques.
1-3-1 Approches bases sur la programmation linaire et la thories des
graphes :
La programmation linaires est un outils gnrique de la R O qui permet de
rsoudre un grand nombre de problmes. Une fois le problme modlis sous
forme d'quations linaires , il existe des mthodes qui permettent de le rsoudre
d'une manire exacte.
La thorie des graphes est un domaine trs riche contenant des modles et
des applications permettant de rsoudre plusieurs types de problmes . Le
graphe coloring problem (GCP) est une de ces fameuses applications connues en
litrature [ref ].
S. Daskalaski (2004 ) a utilis la programmation linaire en nombres entiers pour
prsenter une formulation du problme d'emploi du temps. Ils ont ajout
plusieurs fonctionnalits telles que les variables multidimensionnelles et une
fonction de cot permettant l'introduction de certaines prfrences concernant
les salles et les periodes de temps , ce qui donne plus de flexibilit au systme. 4
Timoty Redl (2007) propos une autre formalisation du problme en utilisant
GCP . Il a bas sa proposition sur l'hypothse suivante : " est -il possible d'ajouter
une affectation parallle des salles durant la construction du graphe de conflit de
ce problme" . il a suppos que chaque cours reprsente un sac contenant les
salles les plus adaptables au cours , puis il les a regrouper sous forme d'un
graphe bipartis.
1-3 -2 Approches bases sur les problmes de satisfaction des contraintes
Les problmes de satisfaction des contraintes CSP ont t introduit par Montanari
(1974)
Dfinition : Un problme de satisfaction de contraintes est un quadruplet
(X,D,C,R) .
X =(x1,x2,.....,xn ) : un ensemble de variable
D =(D1,D2,.....,Dn) : domaine discret et fini de valeurs associs chaque variable
C =(C 1,C2,.....,Cn) : ensemble de contraintes
R = ( R1,R2 , ..., Rn) : Relation Ri associe chaque contrainte Ci .

Une solution P(X,D,C,R) est une instanciation consistante de l'ensemble de toutes


les variable X sur D. Un CSP est dit cohrent si au moins il possde une solution .
En profitant de ce type de formalisme, plusieurs chercheurs ont choisi de
formuler le problme d'emploi du temps comme problme de satisfaction de
contraintes citant entre eux:
Safai Deris (2000) qui a formul le problme sous forme d'arbre de recherche
dont les niveaux reprsentent les cours enseigner et chaque niveau i m fils
correspond m affectations possibles sachant que 1 i n . De plus ils ont
choisi d'utiliser les techniques de propagation des contraintes pour la rsolution
de ce problme et une phase finale de diversification qui permet de rduire le
nombre de violation des contraintes .
1-3-3 Approches bases sur les mtaheuristiques
Les mtaheuristiques ont t utilises dans plusieurs travaux de recherche
permettant d'optimiser une large gamme de problmes difficile tel que celui de
l'emploi du temps
Adewumi et Sawyerr (2008 ) ont choisi d'adapter les algorithmes gntiques la
rsolution de ce problme. leurs formalisation consiste ce que chaque
chromosome est considrer comme un emploi du temps d'une salle et chaque
gne dans le chromosome contient des informations sur diffrents cours qui sont
programm dans cette salle pour des priodes de temps prcises . Ajoutant une
fonction d'valuation pour mesurer le degr de violation des contraintes dures .
Zhipeng et Jinkao ( 2008) ont employ la recherche tabou pour exploiter l'espace
de recherche de ce problme l'application s'effectue en passant par trois phases
constructives :
la phase d'initialisation qui permet de construire un emploi du temps initiale en
suite la phase d'intensification dont l'excution de l'algorithme de recherche
tabou enfin une phase finale de diversification qui permet de rduire le nombre
de violation des contraintes.
1-3-4 Approches bases sur l'hybridation des contraintes
Outre l'utilisation classique des mthodes compltes ou incompltes ,
certaines auteurs ont propos d'autre techniques de rsolution telles que
l'hybridation et la composition entre les deux familles de mthodes .
Teddy Wijaya et Manuriyi ont utilis des algorithmes gntiques avec le
formalisme de satisfaction des contraintes . Ils ont d'abord formul le problme
sous forme d'un CSP puis ils l'ont rsolu en utilisant les algorithmes gntiques .
Ils ont en effet utilis quatre types de chromosomes(R 1,R2,R3,R4)
R1 contenant (cours , enseignant , salle, crneau )
R2 contenant ( enseignant , salle, crneau)
R3 contenant ( enseignant , salle , crneau, salle, crneau, fonction)
R4 contenant ( enseignant , salle, crneau ,salle , crneau )
ajoutant aussi une fonction qui permet de mesurer le degr de satisfaction des
contraintes et de pnaliser leurs violation .