Elimination des symétries dans les problèmes injectifs - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2005

Elimination des symétries dans les problèmes injectifs

Résumé

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.
Fichier principal
Vignette du fichier
59.pdf (321.84 Ko) Télécharger le fichier

Dates et versions

inria-00000092 , version 1 (27-05-2005)

Identifiants

  • HAL Id : inria-00000092 , version 1

Citer

Jean-François Puget. Elimination des symétries dans les problèmes injectifs. Premières Journées Francophones de Programmation par Contraintes, CRIL - CNRS FRE 2499, Jun 2005, Lens, pp.259-266. ⟨inria-00000092⟩

Collections

JFPC05
51 Consultations
44 Téléchargements

Partager

Gmail Facebook X LinkedIn More