Skip to main content
Log in

The progressive party problem: Integer linear programming and constraint programming compared

  • Published:
Constraints Aims and scope Submit manuscript

Abstract

Many discrete optimization problems can be formulated as either integer linear programming problems or constraint satisfaction problems. Although ILP methods appear to be more powerful, sometimes constraint programming can solve these problems more quickly. This paper describes a problem in which the difference in performance between the two approaches was particularly marked, since a solution could not be found using ILP.

The problem arose in the context of organizing a “progressive party” at a yachting rally. Some yachts were to be designated hosts; the crews of the remaining yachts would then visit the hosts for six successive half-hour periods. A guest crew could not revisit the same host, and two guest crews could not meet more than once. Additional constraints were imposed by the capacities of the host yachts and the crew sizes of the guests.

Integer linear programming formulations which included all the constraints resulted in very large models, and despite trying several different strategies, all attempts to find a solution failed. Constraint programming was tried instead and solved the problem very quickly, with a little manual assistance. Reasons for the success of constraint programming in this problem are identified and discussed.

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

Access this article

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Similar content being viewed by others

References

  • Beringer, H. & De Backer, B. (1995). Combinatorial Problem Solving in Constraint Logic Programming with Cooperating Solvers. In C. Beierle and L. Plumer, editors, Logic Programming: Formal Methods and Practical Applications, chapter 8, pages 245–272. Elsevier Science B.V..

  • Crowder, H., Johnson, E.L. & Padberg, M.W. (1983). Solving large-scale zero-one linear programming problems Operations Research, 31:803–834.

    Google Scholar 

  • Dincbas, M., Simonis, H. & van Hentenryck, P. (1988). Solving a Cutting-Stock problem in constraint logic programming. In R.A. Kowalski and K.A. Brown, editors, Logic Programming, pages 42–58.

  • Haralick, R.M. & Elliott, G.L. (1980). Increasing tree search efficiency for constraint satisfaction problems. Artificial Intelligence, 14:263–313.

    Google Scholar 

  • Puget, J.-F. (1993). On the Satisfiability of Symmetrical Constrained Satisfaction Problems. In Proceedings of ISMIS'93.

  • Puget, J.-F. (994). A C++ Implementation of CLP. In Proceedings of SPICIS94 (Singapore International Conference on Intelligent Systems).

  • Puget, J.-F. & De Backer, B. (1995). Comparing Constraint Programming and MILP. In APMOD'95, 1995.

  • van Hentenryck, P. & Carillon, J.-P. (1988). Generality versus Specificity: an Experience with AI and OR techniques. In Proceedings of AAAI-88, volume 2, pages 660–664.

    Google Scholar 

  • Williams, H.P. (1992). The elimination of integer variables. JORS, 43:387–393.

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Rights and permissions

Reprints and permissions

About this article

Cite this article

Smith, B.M., Brailsford, S.C., Hubbard, P.M. et al. The progressive party problem: Integer linear programming and constraint programming compared. Constraints 1, 119–138 (1996). https://doi.org/10.1007/BF00143880

Download citation

  • Issue Date:

  • DOI: https://doi.org/10.1007/BF00143880

Keywords

Navigation