Constraints

, Volume 16, Issue 1, pp 54–76 | Cite as

Formal languages for integer programming modeling of shift scheduling problems

  • Marie-Claude Côté
  • Bernard Gendron
  • Claude-Guy Quimper
  • Louis-Martin Rousseau
Article

Abstract

This paper approaches the problem of modeling optimization problems containing substructures involving constraints on sequences of decision variables. Such constraints can be very complex to express with Mixed Integer Programming (MIP). We suggest an approach inspired by global constraints used in Constraint Programming (CP) to exploit formal languages for the modeling of such substructures with MIP. More precisely, we first suggest a way to use automata, as the CP regular constraint does, to express allowed patterns for the values taken by the constrained sequence of variables. Secondly, we present how context-free grammars can contribute to formulate constraints on sequences of variables in a MIP model. Experimental results on both approaches show that they facilitate the modeling, but also give models easier to solve by MIP solvers compared to compact assignment MIP formulations.

Keywords

Constraint programming Integer programming Reformulations Formal languages 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Ahuja, R. K., Magnanti, T. L., & Orlin, J. B. (1993). Network flows. Englewood Cliffs: Prentice Hall.Google Scholar
  2. 2.
    Aykin, T. (1996). Optimal shift scheduling with multiple break windows. Management Science, 42(4), 591–602.MATHCrossRefGoogle Scholar
  3. 3.
    Aykin, T. (1998). A composite branch and cut algorithm for optimal shift scheduling with multiple breaks and break windows. Journal of the Operational Research Society, 49(6), 603–615.MATHGoogle Scholar
  4. 4.
    Balakrishan, A., & Wong, R. (1990). Model for the rotating workforce scheduling problem. Networks, 20, 25–42.CrossRefMathSciNetGoogle Scholar
  5. 5.
    Beaulieu, H., Ferland, J. A., Gendron, B., & Michelon, P. (2000). A mathematical programming approach for scheduling physicians in the emergency room. Health Care Management Science, 3, 193–200.CrossRefGoogle Scholar
  6. 6.
    Bechtold, S., & Jacobs, L. (1990). Implicit modeling of flexible break assignment in optimal shift scheduling. Management Science, 36(11), 1339–1351.CrossRefGoogle Scholar
  7. 7.
    Bechtold, S., & Jacobs, L. (1996). The equivalence of general set-covering and implicit integer programming formulations for shift scheduling. Naval Research Logistics, 43(2), 233–249.MATHCrossRefMathSciNetGoogle Scholar
  8. 8.
    Bouchard, M. (2004). Optimisation des pauses dans le problème de fabrication des horaires avec quarts de travail. Memoire de maitrise, Ecole Polytechnique de Montreal.Google Scholar
  9. 9.
    Çezik, T., Günlük, O., & Luss, H. (1999). An integer programming model for the weekly tour scheduling problem. Naval Research Logistic, 48(7).Google Scholar
  10. 10.
    Cocke, J., & Schwartz, J. T. (1970). Programming languages and their compilers: Preliminary notes. Technical report, Courant Institute of Mathematical Sciences, New York University.Google Scholar
  11. 11.
    Dantzig, G. (1954). A comment on Edie’s traffic delay at toll booths. Operations Research, 2, 339–341.CrossRefMathSciNetGoogle Scholar
  12. 12.
    Demassey, S., Pesant, G., & Rousseau, L.-M. (2005). Constraint programming based column generation for employee timetabling. In Proceedings of the second international conference on intergretion of AI and OR techniques in Constraint Programming for Combinatorial Optimization Problems (CPAIOR 2005) (Vol. 3524, pp. 140–154).Google Scholar
  13. 13.
    Demassey, S., Pesant, G., & Rousseau, L.-M. (2006). A cost-regular based hybrid column generation approach. Constraints, 11(4), 315–333.MATHCrossRefMathSciNetGoogle Scholar
  14. 14.
    Ernst, A., Hourigan, P., Krishnamoorthy, M., Mills, G., Nott, H., & Sier, D. (1999). Rostering ambulance officers. In Proceedings of the fifteenth national conference of the Australian society for operations research, Gold Coast (pp. 470–481).Google Scholar
  15. 15.
    Ernst, A. T., Jiang, H., Krishnamoorthy, M., Owens, B., & Sier, D. (2004). An annotated bibliography of personnel scheduling and rostering. Annals of Operations Research, 127, 21–144.MATHCrossRefMathSciNetGoogle Scholar
  16. 16.
    Ernst, A. T., Jiang, H., Krishnamoorthy, M., & Sier, D. (2004). Staff scheduling and rostering: A review of applications, methods and models. European Journal of Operational Research, 153, 3–27.MATHCrossRefMathSciNetGoogle Scholar
  17. 17.
    Hopcroft, J. E., Motwani, R., & Ullman, J. D. (2001). Introduction to automata theory, languages and computation. Reading: Addison Wesley.MATHGoogle Scholar
  18. 18.
    Kadioglu, S., & Sellmann, M. (2008). Efficient context-free grammar constraints. In Proceedings of the 23rd national conference on artificial intelligence (pp. 310–316).Google Scholar
  19. 19.
    Kasami, T. (1965). An efficient recognition and syntax-analysis algorithm for context-free languages. Technical Report, Scientific report AFCRL-65-758, Air Force Cambridge Research Lab, Bedford, MA.Google Scholar
  20. 20.
    Laporte, G., Nobert, Y., & Biron, J. (1980). Rotating schedules. European Journal of Operational Research, 4(1), 24–30.CrossRefGoogle Scholar
  21. 21.
    Mehrotra, A., Murthy, K., & Trick, M. (2000). Optimal shift scheduling: A branch-and-price approach. Naval Research Logistics, 47, 185–200.MATHCrossRefMathSciNetGoogle Scholar
  22. 22.
    Menana, J., & Demassey, S. (2009). Sequencing and counting with the multicost-regular constraint. In CPAIOR (pp. 178–192).Google Scholar
  23. 23.
    Millar, H., & Kiragu, M. (1998). Cyclic and non-cyclic scheduling of 12 h shift nurses by network programming. European Journal of Operational Research, 104(3), 582–592.MATHCrossRefGoogle Scholar
  24. 24.
    Moondra, S. (1976). A linear programming model for work force scheduling for banks. Journal of Bank Research, 6, 299–301.Google Scholar
  25. 25.
    Pesant, G. (2004). A regular language membership constraint for finite sequences of variables. In Proceedings of the tenth international conference on principles and practice of Constraint Programming (CP 2004) (pp. 482–495).Google Scholar
  26. 26.
    Quimper, C.-G., & Rousseau, L.-M. A large neighborhood search approach to the multi-activity shift scheduling problem. Journal of Heuristics. doi: 10.1007/s10732-009-9106-6.
  27. 27.
    Quimper, C.-G., & Walsh, T. (2006). Global grammar constraints. In Proceedings of the twelfth international conference on principles and practice of Constraint Programming (CP 2006) (pp. 751–755).Google Scholar
  28. 28.
    Quimper, C.-G., & Walsh, T. (2007). Decomposing global grammar constraints. In Proceedings of the thirteenth international conference on principles and practice of Constraint Programming (CP 2007) (pp. 590–604).Google Scholar
  29. 29.
    Rekik, M. (2006). Construction d’horaires de travail dans des environnements hautement flexibles. PhD thesis, École Polytechnique de Montréal.Google Scholar
  30. 30.
    Rekik, M., Cordeau, J.-F., & Soumis, F. (2004). Using benders decomposition to implicitly model tour scheduling. Annals of Operations Research, 118, 111–133.CrossRefMathSciNetGoogle Scholar
  31. 31.
    Sellmann, M. (2007). The theory of grammar constraints. In Proceedings of the twelfth international conference on principles and practice of Constraint Programming (CP 2006) (pp. 530–544).Google Scholar
  32. 32.
    Sodhi, M. S. (2003). A flexible, fast, and optimal modeling approach applied to crew rostering at London Underground. Annals of Operations Research, 127, 259–281.CrossRefGoogle Scholar
  33. 33.
    Thompson, G. (1995). Improved implicit optimal modelling of the labor shift scheduling problem. Management Science, 41(4), 595–607.MATHCrossRefGoogle Scholar
  34. 34.
    Younger, D. H. (1967). Recognition and parsing of context-free languages in time n 3. Information and Control, 10(2), 189–208.MATHCrossRefGoogle Scholar

Copyright information

© Springer Science+Business Media, LLC 2009

Authors and Affiliations

  • Marie-Claude Côté
    • 1
    • 2
  • Bernard Gendron
    • 2
    • 3
  • Claude-Guy Quimper
    • 4
  • Louis-Martin Rousseau
    • 1
    • 2
  1. 1.Département de mathématiques et génie industrielÉcole Polytechnique de MontréalMontréalCanada
  2. 2.CIRRELT-Interuniversity Research Center on Enterprise NetworksLogistics and TransportationMontréalCanada
  3. 3.Département d’informatique et de recherche opérationnelleUniversité de Montréal, Pavillon André-AisenstadtMontréalCanada
  4. 4.Omega OptimisationMontréalCanada

Personalised recommendations