Models and Symmetry Breaking for ‘Peaceable Armies of Queens’
We discuss a difficult optimization problem on a chess-board, requiring equal numbers of black and white queens to be placed on the board so that the white queens cannot attack the black queens. We show how the symmetry of the problem can be straightforwardly eliminated using SBDS, allowing a set of non-isomorphic optimal solutions to be found. We present three different ways of modelling the problem in constraint programming, starting from a basic model. An improvement on this model reduces the number of constraints in the problem by introducing ancillary variables representing the lines on the board. The third model is based on the insight that only the white queens need be placed, so long as there are sufficient unattacked squares to accommodate the black queens. We also discuss variable ordering heuristics: we present a heuristic which finds optimal solutions very quickly but is poor at proving optimality, and the opposite heuristic for which the reverse is true. We suggest that in designing heuristics for optimization problems, the different requirements of the two tasks (finding an optimal solution and proving optimality) should be taken into account.
Unable to display preview. Download preview PDF.
- 1.Bosch, R.A.: Peaceably Coexisting Armies of Queens. Optima (Newsletter of the Mathematical Programming Society) 62, 6–9 (1999)Google Scholar
- 3.Gardner, M.: Chess Queens and Maximum Unattacked Cells. Math Horizon, pp. 12–16 (November 1999)Google Scholar
- 4.Gent, I.P., Smith, B.M.: Symmetry Breaking During Search in Constraint Programming. In: Horn, W. (ed.) Proceedings ECAI 2000, pp. 599–603 (2000)Google Scholar
- 6.Velucchi, M.: For me, this is the best chess-puzzle: Non-dominating queens problem, http://anduin.eldar.org/~problemi/papers.html (Accessed January 2004)