Skip to main content
Article thumbnail
Location of Repository

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

By Barbara M. Smith, Sally C. Brailsford, Peter M. Hubbard and H. Paul Williams

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 organising 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

Topics: QA75 Electronic computers. Computer science
Publisher: Springer
Year: 1995
DOI identifier: 10.1007/3-540-60299-2
OAI identifier: oai:eprints.lse.ac.uk:31555
Provided by: LSE Research Online
Download PDF:
Sorry, we are unable to provide the full text but you may find it at the following location(s):
  • http://www.springer.com/ (external link)
  • http://eprints.lse.ac.uk/31555... (external link)
  • Suggested articles


    To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.