On solving the progressive party problem as a MIP

Abstract The ‘Progressive Party Problem’ (Smith et al. [9]) has long been considered a problem intractable for branch-and-bound mixed integer solvers. Quite impressive results have been reported with constraint programming systems for this problem. As a result the problem has become a standard example in texts on constraint programming. Fortunately, there has been progress in the mixed integer programming arena: we can solve now larger and more difficult problems than ever before. Improvements in algorithmic theory, solvers, modeling environments and computer hardware created a new situation, where reported cases of unsolvable instances of mixed integer programming models need to be re-examined, possibly with another outcome. In this paper we will show that we can solve the ‘Progressive Party Problem’ formulated as a large MIP problem, using standard, off-the-shelf hardware and software. A simple myopic heuristic is also implemented and can solve the problem in a fraction of the time. Scope and purpose The problem of creating a schedule for a progressive party event for a yacht club can be formulated as a very large and difficult mixed integer programming (MIP) problem. Several papers report that researchers were unable to solve this problem using MIP software: the problem was too difficult. In this paper we show in detail how by careful modeling we arrive at a formulation that can be solved efficiently. Building integer models has been called both a science and an art. This lesson in practical modeling is an illustration of this. The text is intended for an audience of both novice and expert modelers.

[1]  Joachim Paul Walser,et al.  Domain independent local search for linear integer optimization , 1998 .

[2]  Sally C. Brailsford,et al.  Organizing a social event - A difficult problem of combinatorial optimization , 1996, Comput. Oper. Res..

[3]  María Auxilio Osorio Lama,et al.  Mixed Logical-linear Programming , 1999, Discret. Appl. Math..

[4]  Niklaus Wirth,et al.  Program development by stepwise refinement , 1971, CACM.

[5]  Joachim Paul Walser,et al.  Integer Optimization by Local Search: A Domain-Independent Approach , 1999 .

[6]  Joachim P. Walser Solving Linear Pseudo-Boolean Constraint Problems with Local Search , 1997, AAAI/IAAI.

[7]  WirthNiklaus Program development by stepwise refinement , 1971 .

[8]  Jack J. Dongarra,et al.  Performance of various computers using standard linear equations software in a FORTRAN environment , 1988, CARN.

[9]  J. Dongarra Performance of various computers using standard linear equations software , 1990, CARN.

[10]  Mark Wallace,et al.  A new approach to integrating mixed integer programming and constraint logicprogramming , 1999, Ann. Oper. Res..

[11]  Silvano Martello,et al.  Meta-Heuristics: Advances and Trends in Local Search Paradigms for Optimization , 2012 .

[12]  Sally C. Brailsford,et al.  The progressive party problem: Integer linear programming and constraint programming compared , 1995, Constraints.

[13]  Jin-Kao Hao,et al.  Solving the Progressive Party Problem by Local Search , 1999 .

[14]  Robert E. Bixby,et al.  MIP: Theory and Practice - Closing the Gap , 1999, System Modelling and Optimization.