Weak symmetries in problem formulations

Abstract

Unlike symmetries weak symmetries act only on a subset of the variables and/or respect only a subset of the constraints of the problem. Therefore, weak symmetries preserve the state of feasibility only with respect to the subset of variables they act on and only for the constraints they respect. This means if two solutions are symmetric under the weak symmetry they yield different full solutions with potentially different feasibility states. But weak symmetries cannot be simply broken, since this would result in a loss of solutions that cannot be derived afterwards. Therefore we propose a modelling technique that uses additional variables (SymVars) and constraints that enable us to express symmetric states of a solution. The idea is to decompose a problem P in a way such that the variables and constraints respected by the weak symmetry is present in one sub-problem P1 and the rest in the sub-problem P 2. This way the weak symmetry acts as a common symmetry on P 1. The additional variables and constraints form a new sub-problem Psym that is incorporated and the solving order is to find a solution to P1, consider a symmetric equivalent by Psym and pass the solution to P2 which finds a solution for the whole problem. By doing so the symmetry on P1 can be broken. Although additional variables are introduced which extends the search space symmetry breaking enables us to reduce the search effort. Whether symmetry breaking does compensate the extension of the search space by the additional variables depends on the problem and the search heuristic. But as soon as a solution for P 1 is found the whole equivalence class of solutions can be considered via Psym. Weak symmetries occur in various problems.They can be found in real-life problems (especially optimisation problems where the weak symmetry does not respect the objective value) as well as in in classic problem formulations like the magic square problem [1] or extensions of problems like the diagonal latin square [2] or the weighted magic square problem [3]. © Springer-Verlag Berlin Heidelberg 2005.