Elimination des symétries dans les problèmes injectifs
Abstract
L'ajout de contraintes est utilisé depuis longtemps pour éliminer les symétries dans les CSP. Par exemple, on peut enlever toutes les symétries dans le problème du 'pigeon hole'' en ordonnant les variables. Nous avons généralisé ce résultat à tous les problèmes injectifs, c'est-à-dire où les variables doivent prendre des valeurs toutes distinctes. Dans ce cas il est possible d'éliminer toutes les symétries avec un ordre partiel sur les variables. Nous montrons comment automatiquement calculer un tel ordre en utilisant des algorithmes sur les groupes finis. Nous montrons également que cet ordre partiel peut être combiné avec une méthode éliminant les symétries de valeurs. Des expériences variées montrent l'intérêt pratique de notre méthode.