Models and Symmetry Breaking for 'Peaceable Armies of Queens'

We discuss a di cult 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 di erent 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 su cient unattacked squares to accommodate the black queens. We also discuss variable ordering heuristics: we present a heuristic which nds optimal solutions very quickly but is poor at proving optimality, and the opposite heuristic for which the reverse is true. We suggest that in design...

• Type: Conference
• Year: 2004
• Where: CPAIOR
• Authors: Barbara M. Smith, Karen E. Petrie, Ian P. Gent
• Keywords: Black Queens, CPAIOR 2004, Optimal Solution, White Queens