Search:
Computing and Library Services - delivering an inspiring information environment

Models and symmetry breaking for ‘peaceable armies of queens'

Smith, Barbara M., Petrie, Karen E. and Gent, Ian P. (2004) Models and symmetry breaking for ‘peaceable armies of queens'. In: Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems. Lecture Notes in Computer Science, 3011/2004 . Springer Berlin, Heidelberg, pp. 271-286. ISBN 978-3-540-21836-4

Metadata only available from this repository.

Abstract

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

Item Type: Book Chapter
Subjects: T Technology > T Technology (General)
Q Science > QA Mathematics > QA75 Electronic computers. Computer science
Schools: School of Computing and Engineering
Depositing User: Briony Heyhoe
Date Deposited: 27 Aug 2008 14:06
Last Modified: 27 Aug 2008 14:06
URI: http://eprints.hud.ac.uk/id/eprint/1638

Item control for Repository Staff only:

View Item

University of Huddersfield, Queensgate, Huddersfield, HD1 3DH Copyright and Disclaimer All rights reserved ©