Advertisement

Journal of Scheduling

, Volume 18, Issue 4, pp 377–392 | Cite as

Integer programming for the generalized high school timetabling problem

  • Simon Kristiansen
  • Matias Sørensen
  • Thomas R. Stidsen
Article

Abstract

Recently, the XHSTT format for high school timetabling was introduced. It provides a uniform way of modeling problem instances and corresponding solutions. The format supports a wide variety of constraints, and currently 38 real-life instances from 11 different countries are available. Thereby, the XHSTT format serves as a common ground for researchers within this area. This paper describes the first exact method capable of handling an arbitrary instance of the XHSTT format. The method is based on a mixed-integer linear programming (MIP) model, which is solved in two steps with a commercial general-purpose MIP solver. Computational results show that our approach is able to find previously unknown optimal solutions for 2 instances of XHSTT and proves optimality of 4 known solutions. For the instances not solved to optimality, new non-trivial lower bounds were found in 11 cases, and new best known solutions were found in 9 cases. Furthermore, the approach is compared with the finalists of Round 2 of the International Timetabling Competition 2011 and is shown to be competitive with one of the finalists.

Keywords

High school timetabling XHSTT Integer programming International Timetabling Competition 2011 

References

  1. Avella, P., D’Auria, B., Salerno, S., & Vasilâev, I. (2007). A computational study of local search algorithms for italian high-school timetabling. Journal of Heuristics, 13, 543–556.CrossRefGoogle Scholar
  2. Birbas, T., Daskalaki, S., & Housos, E. (2009). School timetabling for quality student and teacher schedules. Journal of Scheduling, 12, 177–197.CrossRefGoogle Scholar
  3. Bixby, R.E. (2012). 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).Google Scholar
  4. ter Braak, M. (2012). A hyperheuristic for generating timetables in the XHSTT format. Master’s thesis, University of Twente.Google Scholar
  5. Dorneles, ÁP., de Araújo, O.C., Maria-Brazil, S., & Buriol, L.S. (2012). The impact of compactness requirements on the resolution of high school timetabling problem. In: Congreso Latino-Iberoamericano de Investigación Operativa.Google Scholar
  6. da Fonseca, G. H. G., Santos, H. G., Toffolo, T. Â.M., Brito, S. S., & Souza, M. J. F. (2014). GOAL solver: A hybrid local search based solver for high school timetabling. Annals of Operations Research. doi: 10.1007/s10479-014-1685-4.
  7. Kheiri, A., Özcan, E., & Parkes, A.J. (2012), Hysst: Hyper-heuristic search strategies and timetabling. In: Proceedings of the Ninth International Conference on the Practice and Theory of Automated Timetabling (PATAT 2012) (pp. 497–499).Google Scholar
  8. Kingston, J. H. (2013a). Educational timetabling. In A. S. Uyar, E. Ozcan, & N. Urquhart (Eds.), Automated scheduling and planning, studies in computational intelligence (Vol. 505, pp. 91–108). Berlin Heidelberg: Springer.CrossRefGoogle Scholar
  9. Kingston, J.H. (2013b). High school timetable file format specification: Constraints. Retrieved Dec 8, 2013 from http://sydney.edu.au/engineering/it/~jeff/hseval.cgi?op=spec&part=constraints
  10. Kingston, J.H. (2013c). The hseval high school timetable evaluator. Retrieved Dec 8, 2013 from http://sydney.edu.au/engineering/it/~jeff/hseval.cgi
  11. Lach, G., & Lübbecke, M. (2012). Curriculum based course timetabling: new solutions to udine benchmark instances. Annals of Operations Research, 194, 255–272.CrossRefGoogle Scholar
  12. Pimmer, M., & Raidl, G. R. (2013). A timeslot-filling heuristic approach to construct high-school timetables. In L. Di Gaspero, A. Schaerf, & T. Stützle (Eds.), Advances in metaheuristics, operations research/computer science interfaces series (Vol. 53, pp. 143–157). New York: Springer.Google Scholar
  13. Post, G. (2013a). Benchmarking project for (high) school timetabling. Retrieved Dec 8, 2013 from http://www.utwente.nl/ctit/hstt/
  14. Post, G. (2013b). International Timetabling Competition 2011 results. Retrieved Dec 8, 2013 from http://www.utwente.nl/ctit/hstt/itc2011/results/
  15. Post, G., Ahmadi, S., Daskalaki, S., Kingston, J., Kyngas, J., Nurmi, C., et al. (2012a). An xml format for benchmarks in high school timetabling. Annals of Operations Research, 194, 385–397.CrossRefGoogle Scholar
  16. Post, G., Gaspero, L.D., Kingston, J.H., McCollum, B., & Schaerf, A. (2012b). The third international timetabling competition. In: Proceedings of the 9th International Conference on the Practice and Theory of Automated Timetabling (PATAT 2012), Son, Norway.Google Scholar
  17. Romrös, J., & Homberger, J. (2012). An evolutionary algorithm for high school timetabling. In: Proceedings of the Ninth International Conference on the Practice and Theory of Automated Timetabling (PATAT 2012) (pp. 485–488). Scandinavia: SINTEF.Google Scholar
  18. Santos, H., Uchoa, E., Ochi, L., & Maculan, N. (2012). Strong bounds with cut and column generation for class-teacher timetabling. Annals of Operations Research, 194(1), 399–412.CrossRefGoogle Scholar
  19. Schaerf, A. (1999). A survey of automated timetabling. Artificial Intelligence Review, 13, 87–127.CrossRefGoogle Scholar
  20. Sørensen, M., & Dahms, F. H. W. (2014). A two-stage decomposition of high school timetabling applied to cases in denmark. Computers & Operations Research, 43, 36–49.CrossRefGoogle Scholar
  21. Sørensen, M., & Stidsen, T. (2013). Comparing solution approaches for a complete model of high school timetabling. Tech. Rep. 5.2013, DTU Management Engineering, Technical University of Denmark.Google Scholar
  22. Sørensen, M., Kristiansen, S., & Stidsen, T.R. (2012). International Timetabling Competition 2011: An adaptive large neighborhood search algorithm. In: Proceedings of the 9th International Conference on the Practice and Theory of Automated Timetabling (PATAT 2012) (pp. 489–492). Scandinavia: SINTEF.Google Scholar
  23. Valouxis, C., Gogos, C., Alefragis, P., & Housos, E. (2012). Decomposing the high school timetable problem. In: Practice and Theory of Automated Timetabling (PATAT 2012), Son, Norway.Google Scholar

Copyright information

© Springer Science+Business Media New York 2014

Authors and Affiliations

  • Simon Kristiansen
    • 1
    • 2
  • Matias Sørensen
    • 1
    • 2
  • Thomas R. Stidsen
    • 1
  1. 1.Management Science, Department of Management EngineeringTechnical University of DenmarkKgs. LyngbyDenmark
  2. 2.MaCom A/SCopenhagen VDenmark

Personalised recommendations