Managing the tabu list length using a fuzzy inference system: an application to examination timetabling

In this paper, we present an application of Tabu Search (TS) to the examination timetabling problem. One of the drawbacks of this meta-heuristic is related to the need of tuning some parameter (like tabu tenure) whose value affects the performance of the algorithm. The importance of developing an automatic procedure is clear considering that most of the users of timetabling software, like academic staff, do not have the expertise to conduct such tuning. The goal of this paper is to present a method to automatically manage the memory in the TS using a Decision Expert System. More precisely a Fuzzy Inference Rule Based System (FIRBS) is implemented to handle the tabu tenure based on two concepts, “Frequency” and “Inactivity”. These concepts are related respectively with the number of times a move is introduced in the tabu list and the last time (in number of iterations) the move was attempted and prevented by the tabu status. Computational results show that the implemented FIRBS handles well the tuning of the tabu status duration improving, as well, the performance of Tabu Search.

[1]  Raymond S. K. Kwan.  Bus and Train Driver Scheduling , 2004, Handbook of Scheduling.

[2]  Matteo Fischetti,et al.  Solution of real-world train timetabling problems , 2001, Proceedings of the 34th Annual Hawaii International Conference on System Sciences.

[3]  John W. Chinneck,et al.  Proctor Assignment at Carleton University , 1998, Interfaces.

[4]  Giuseppe F. Italiano,et al.  New Algorithms for Examination Timetabling , 2000, WAE.

[5]  Lotfi A. Zadeh,et al.  A Theory of Approximate Reasoning , 1979 .

[6]  Peter J. Stuckey,et al.  A Hybrid Algorithm for the Examination Timetabling Problem , 2002, PATAT.

[7]  Jonathan L. Gross,et al.  Handbook of graph theory , 2007, Discrete mathematics and its applications.

[8]  Lotfi A. Zadeh,et al.  The Concepts of a Linguistic Variable and its Application to Approximate Reasoning , 1975 .

[9]  Andrea Schaerf,et al.  Local search techniques for large high school timetabling problems , 1999, IEEE Trans. Syst. Man Cybern. Part A.

[10]  Pierre Hansen,et al.  Variable neighborhood search: Principles and applications , 1998, Eur. J. Oper. Res..

[11]  Joseph Y.-T. Leung,et al.  Handbook of Scheduling: Algorithms, Models, and Performance Analysis , 2004 .

[12]  Michael A. Trick.  A Schedule-Then-Break Approach to Sports Timetabling , 2000, PATAT.

[13]  Daniel Brélaz,et al.  New methods to color the vertices of a graph , 1979, CACM.

[14]  Kathryn A. Dowsland,et al.  Ant colony optimization for the examination scheduling problem , 2005, J. Oper. Res. Soc..

[15]  Marco Dorigo,et al.  Metaheuristics for High School Timetabling , 1998, Comput. Optim. Appl..

[16]  Moshe Dror,et al.  Investigating Ahuja–Orlin’s large neighbourhood search approach for examination timetabling , 2007, OR Spectr..

[17]  Luiz Antonio Nogueira Lorena,et al.  A Constructive Evolutionary Approach to School Timetabling , 2001, EvoWorkshops.

[18]  Sol Broder,et al.  Final examination scheduling , 1964, Commun. ACM.

[19]  Lotfi A. Zadeh,et al.  The concept of a linguistic variable and its application to approximate reasoning-III , 1975, Inf. Sci..

[20]  Chris N. Potts,et al.  Constraint satisfaction problems: Algorithms and applications , 1999, Eur. J. Oper. Res..

[21]  Andy Hon Wai Chun,et al.  Nurse Rostering at the Hospital Authority of Hong Kong , 2000, AAAI/IAAI.

[22]  Jian Yang,et al.  Scheduling Problems in the Airline Industry , 2004, Handbook of Scheduling.

[23]  Alain Hertz,et al.  Ants can colour graphs , 1997 .

[24]  Edmund K. Burke,et al.  Enhancing Timetable Solutions with Local Search Methods , 2002, PATAT.

[25]  David C. Wood.  A system for computing university examination timetables , 1968, Comput. J..

[26]  Sanja Petrovic,et al.  Hybrid variable neighbourhood approaches to university exam timetabling , 2010, Eur. J. Oper. Res..

[27]  Ebrahim H. Mamdani,et al.  An Experiment in Linguistic Synthesis with a Fuzzy Logic Controller , 1999, Int. J. Hum. Comput. Stud..

[28]  M. G. Singh,et al.  Hybrid applications of constraint satisfaction and meta-heuristics to railway timetabling: a comparative study , 2001 .

[29]  Pierre Hansen,et al.  Variable Neighborhood Search , 2018, Handbook of Heuristics.

[30]  Michio Sugeno,et al.  Fuzzy identification of systems and its applications to modeling and control , 1985, IEEE Transactions on Systems, Man, and Cybernetics.

[31]  Stefan Helber,et al.  Application of a real-world university-course timetabling model solved by integer programming , 2007, OR Spectr..

[32]  Fred W. Glover,et al.  Future paths for integer programming and links to artificial intelligence , 1986, Comput. Oper. Res..

[33]  Luca Di Gaspero,et al.  Tabu Search Techniques for Examination Timetabling , 2000, PATAT.

[34]  Sanja Petrovic,et al.  A time-predefined local search approach to exam timetabling problems , 2004 .

[35]  Michael W. Carter,et al.  OR Practice - A Survey of Practical Applications of Examination Timetabling Algorithms , 1986, Oper. Res..

[36]  Carlos M. Fonseca,et al.  A Study of Examination Timetabling with Multiobjective Evolutionary Algorithms , 2001 .

[37]  Michael Pilegaard Hansen,et al.  Planning of high school examinations in Denmark , 1995 .

[38]  Gilbert Laporte,et al.  A General Examination Scheduling System , 1992 .

[39]  George M. White,et al.  Examination Timetables and Tabu Search with Longer-Term Memory , 2000, PATAT.

[40]  Barry McCollum,et al.  A New Neural Network Based Construction Heuristic for the Examination Timetabling Problem , 2006, PPSN.

[41]  Edmund K. Burke,et al.  Selected papers from the First International Conference on Practice and Theory of Automated Timetabling , 1995 .

[42]  Wilhelm Erben,et al.  A Grouping Genetic Algorithm for Graph Colouring and Exam Timetabling , 2000, PATAT.

[43]  Kathryn A. Dowsland,et al.  A robust simulated annealing based examination timetabling system , 1998, Comput. Oper. Res..

[44]  Hans-Jürgen Zimmermann,et al.  Fuzzy Set Theory - and Its Applications , 1985 .

[45]  Graham Kendall,et al.  An Investigation of a Tabu-Search-Based Hyper-Heuristic for Examination Timetabling , 2005 .

[46]  Gilbert Laporte,et al.  Horex: A Computer Program For The Construction Of Examination Schedules , 1978 .

[47]  Dushyant Sharma,et al.  Multi-exchange neighborhood structures for the capacitated minimum spanning tree problem , 2001, Math. Program..

[48]  Sanja Petrovic,et al.  University Timetabling , 2004, Handbook of Scheduling.

[49]  Kathryn A. Dowsland,et al.  Variants of simulated annealing for the examination timetabling problem , 1996, Ann. Oper. Res..

[50]  G. Dueck.  New optimization heuristics , 1993 .

[51]  Rolf Drechsler,et al.  Applications of Evolutionary Computing, EvoWorkshops 2008: EvoCOMNET, EvoFIN, EvoHOT, EvoIASP, EvoMUSART, EvoNUM, EvoSTOC, and EvoTransLog, Naples, Italy, March 26-28, 2008. Proceedings , 2008, EvoWorkshops.

[52]  Edmund K. Burke,et al.  A survey of search methodologies and automated system development for examination timetabling , 2009, J. Sched..

[53]  Edmund K. Burke,et al.  Automated University Timetabling: The State of the Art , 1997, Comput. J..

[54]  D. de Werra,et al.  An introduction to timetabling , 1985 .

[55]  David Abramson,et al.  Simulated Annealing Cooling Schedules for the School Timetabling Problem , 1999 .

[56]  Sanja Petrovic,et al.  A Multiobjective Optimisation Technique for Exam Timetabling Based on Trajectories , 2002, PATAT.

[57]  Edmund K. Burke,et al.  A multistage evolutionary algorithm for the timetable problem , 1999, IEEE Trans. Evol. Comput..

[58]  George J. Klir,et al.  Fuzzy sets and fuzzy logic , 1995 .

[59]  H. Zimmermann,et al.  Fuzzy Set Theory and Its Applications , 1993 .

[60]  Hishammuddin Asmuni,et al.  Fuzzy Multiple Ordering Criteria for Examination Timetabling , 2004 .

[61]  Pierre Hansen,et al.  Variable Neighbourhood Search , 2003 .

[62]  Edmund K. Burke,et al.  Applications to timetabling , 2004 .

[63]  M. Sugeno,et al.  Structure identification of fuzzy model , 1988 .

[64]  Sanja Petrovic,et al.  A Novel Similarity Measure for Heuristic Selection in Examination Timetabling , 2004, PATAT.

[65]  Gilbert Laporte,et al.  Recent Developments in Practical Examination Timetabling , 1995, PATAT.

[66]  V. Lotfi,et al.  A Three Phased Approach To Final Exam Scheduling , 1989 .

[67]  Gilbert Laporte,et al.  Examination Timetabling: Algorithmic Strategies and Applications , 1994 .

[68]  Jonathan M. Thompson,et al.  GRASPing the Examination Scheduling Problem , 2002, PATAT.

[69]  Siegfried Gottwald,et al.  Fuzzy Sets and Fuzzy Logic , 1993 .