Skip to main content

A Framework for Constraint Programming Based Column Generation

  • Conference paper

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 1713))

Abstract

Column generation is a state-of-the-art method for optimally solving difficult large-scale optimization problems such as airline crew assignment. We show how to apply column generation even if those problems have complex constraints that are beyond the scope of pure OR methods. We achieve this by formulating the subproblem as a constraint satisfaction problem (CSP). We also show how to efficiently treat the special case of shortest path problems by introducing an efficient path constraint that exploits dual values from the master problem to exclude nodes that will not lead to paths with negative reduced costs. We demonstrate that this propagation significantly reduces the time needed to solve crew assignment problems.

The production of this paper was supported by the Parrot project, partially funded by the ESPRIT programme of the Commission of the European Union as project number 24 960. The partners in the project are ILOG (F), Lufthansa Systems (D), Carmen Systems (S), Olympic Airways (GR), University of Paderborn (D), University of Athens (GR). This paper re.ects the opinions of the authors and not necessarily those of the consortium.

This is a preview of subscription content, log in via an institution.

Buying options

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Barnhart, C., Johnson, E.L., Nemhauser, G.L., Savelsbergh, M.W.P., Vance, P.H.: Branch-and-Price: Column Generation for Huge Integer Programs. Operations Research 46, 316–329 (1998)

    Article  MATH  MathSciNet  Google Scholar 

  2. Beringer, H., De Backer, B.: Combinatorial problem solving in constraint logic programming with cooperative solvers. In: Beierle, C., Plumer, L. (eds.) Logic Programming: Formal Methods and Practical Applications, pp. 245–272. Elsevier, Amsterdam (1995)

    Google Scholar 

  3. Bessière, C.: Arc-consistency and arc-consistency again. Artificial Intelligence 65, 179–190 (1994)

    Article  Google Scholar 

  4. Bockmayr, A., Kasper, T.: Branch-and-Infer: A unifying framework for integer and finite domain constraint programming. INFORMS Journal of Computing 10(3), 287–300 (1998)

    Article  MATH  MathSciNet  Google Scholar 

  5. Cormen, T.H., Leierson, C.E., Riverste, R.L.: Introduction to Algorithms. McGraw-Hill, New York (1990)

    MATH  Google Scholar 

  6. Dantzig, G.B., Wolfe, P.: The decomposition algorithm for linear programs. Econometrica 29(4), 767–778 (1961)

    Article  MATH  MathSciNet  Google Scholar 

  7. Desrosiers, J., Solomon, M.M., Soumis, F.: Time constrained routing and scheduling. Handbooks of Operations Research and Management Science 8, 35–139 (1993)

    Article  MathSciNet  Google Scholar 

  8. Gamache, F., Soumis, F., Villeneuve, D., Desrosiers, J., Gélinas, E.: The preferential bidding systemat Air Canada. Transportation Science 32(3), 246–255 (1998)

    Article  MATH  Google Scholar 

  9. Gilmore, P.C., Gomory, R.E.: A linear programming approach to the cutting stock problem. Operations Research 9, 849–859 (1961)

    Article  MATH  MathSciNet  Google Scholar 

  10. Van Hentenryck, P., Deville, Y., Teng, C.M.: A generic arc-consistency algorithmand its specializations. Artificial Intelligence 57, 291–321 (1992)

    Article  MATH  MathSciNet  Google Scholar 

  11. ILOG. Ilog Solver. Reference manual and user manual. V4.3, ILOG (1998)

    Google Scholar 

  12. Jacquet-Lagreze, E., Lebbar, M.: Column generation for a scheduling problem with maintenance constraints. In: CP 1998 Workshop on Large-Scale Combinatorial Optimization and Constraints, Pisa, Italy (1998)

    Google Scholar 

  13. Kohl, N., Karisch, S.E.: Airline crew assignment: modeling and optimization. Carmen Report (1999) (in preparation)

    Google Scholar 

  14. Parrot. Executive Summary. ESPRIT 24 960 (1997)

    Google Scholar 

  15. Rodosek, R., Wallace, M., Haijan, M.T.: A new approach to integrating mixed integer programming and constraint logic programming. Annals of Operations Research 86, 63–87 (1999)

    Article  MATH  MathSciNet  Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 1999 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Junker, U., Karisch, S.E., Kohl, N., Vaaben, B., Fahle, T., Sellmann, M. (1999). A Framework for Constraint Programming Based Column Generation. In: Jaffar, J. (eds) Principles and Practice of Constraint Programming – CP’99. CP 1999. Lecture Notes in Computer Science, vol 1713. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-48085-3_19

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-48085-3_19

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-66626-4

  • Online ISBN: 978-3-540-48085-3

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics