Minimizing the Maximum Number of Open Stacks by Customer Search
We describe a new exact solver for the minimization of open stacks problem (MOSP). By combining nogood recording with a branch and bound strategy based on choosing which customer stack to close next, our solver is able to solve hard instances of MOSP some 5-6 orders of magnitude faster than the previous state of the art. We also derive several pruning schemes based on dominance relations which provide another 1-2 orders of magnitude improvement. One of these pruning schemes largely subsumes the effect of the nogood recording. This allows us to reduce the memory usage from an potentially exponential amount to a constant ~2Mb for even the largest solvable instances. We also show how relaxation techniques can be used to speed up the proof of optimality by up to another 3-4 orders of magnitude on the hardest instances.
Unable to display preview. Download preview PDF.
- 4.Prestwich, S.: Increasing solution density by dominated relaxation. In: 4th Int. Workshop on Modelling and Reformulating Constraint Satisfaction Problems (2005)Google Scholar
- 5.Shaw, P., Laborie, P.: A constraint programming approach to the min-stack problem. Constraint Modelling Challenge 2005 Google Scholar
- 6.Smith, B., Gent, I.: Constraint modelling challenge report (2005), http://www.cs.st-andrews.ac.uk/~ipg/challenge/ModelChallenge05.pdf
- 7.Wilson, N., Petrie, K.: Using customer elimination orderings to minimise the maximum number of open stacks. In: Constraint Modelling Challenge 2005 Google Scholar
- 9.Yannasse, H.H.: A note on generating solutions of a pattern sequencing problem to minimize the maximum number of open orders. Technical Report LAC-002/98, INPE, São José dos Campos, SP, Brazil (1998)Google Scholar