A fix-and-optimize matheuristic for university timetabling
University course timetabling covers the task of assigning rooms and time periods to courses while ensuring a minimum violation of soft constraints that define the quality of the timetable. These soft constraints can have attributes that make it difficult for mixed-integer programming solvers to find good solutions fast enough to be used in a practical setting. Therefore, metaheuristics have dominated this area despite the fact that mixed-integer programming solvers have improved tremendously over the last decade. This paper presents a matheuristic where the MIP-solver is guided to find good feasible solutions faster. This makes the matheuristic applicable in practical settings, where mixed-integer programming solvers do not perform well. To the best of our knowledge this is the first matheuristic presented for the University Course Timetabling problem. The matheuristic works as a large neighborhood search where the MIP solver is used to explore a part of the solution space in each iteration. The matheuristic uses problem specific knowledge to fix a number of variables and create smaller problems for the solver to work on, and thereby iteratively improves the solution. Thus we are able to solve very large instances and retrieve good solutions within reasonable time limits. The presented framework is easily extendable due to the flexibility of modeling with MIPs; new constraints and objectives can be added without the need to alter the algorithm itself. At the same time, the matheuristic will benefit from future improvements of MIP solvers. The matheuristic is benchmarked on instances from the literature and the 2nd International Timetabling Competition (ITC2007). Our algorithm gives better solutions than running a state-of-the-art MIP solver directly on the model, especially on larger and more constrained instances. Compared to the winner of ITC2007, the matheuristic performs better. However, the most recent state-of-the-art metaheuristics outperform the matheuristic.
KeywordsMatheuristics Integer programming University course timetabling
The authors would like to thank the organizers of ITC-2007 for providing a formal problem description of CB-CTT as well as benchmark instances. The authors would also like to thank Alex Bonutti, Luca Di Gaspero and Andrea Schaerf for creating and maintaining the website for instances and solutions to CB-CTT.
- Bixby, R.E.: Optimization Stories, 21st International Symposium on Mathematical Programming Berlin, vol Extra, Journal der Deutschen Mathematiker-Vereinigung, chap A Brief History of Linear and Mixed-Integer Programming Computation, pp 107–121 (2012)Google Scholar
- Burke, E., Marecek, J., Parkes, A., Rudová, H.: Uses and abuses of MIP in course timetabling. In: Poster at the Workshop on Mixed Integer Programming, MIP2007, Montréal (2008)Google Scholar
- Caserta, M., Voss, S.: Metaheuristics: intelligent problem solving. In: Maniezzo, V., Statzle, T., Voss, S. (eds.) Matheuristics, Annals of Information Systems, vol. 10, pp. 1–38. Springer, New York (2010)Google Scholar
- Di Gaspero, L., McCollum, B., Schaerf, A.: The second international timetabling competition (ITC-2007): curriculum-based course timetabling (track 3). Tech. rep., School of Electronics, Electrical Engineering and Computer Science, Queenes University SARC Building, Belfast, United Kingdom (2007)Google Scholar
- Kiefer, A., Hartl, R., Schnell, A.: Adaptive large neighborhood search for the curriculum-based course timetabling problem. Tech. rep. University of Vienna (2014)Google Scholar
- Taillard, E.D., Voss, S.: Popmusic partial optimization metaheuristic under special intensification conditions. In: Essays and Surveys in Metaheuristics, Operations Research/Computer Science Interfaces Series, vol. 15, Springer US, pp 613–629 (2002)Google Scholar