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 .
Construire Un Projet de Recherche en Sciences Humaines Et Sociales - Une Procédure de Mise en Lien (Grinschpoun, Marie-France (Grinschpoun Etc.) (Z-Library)