Skip to Main content Skip to Navigation
Conference papers

Eliminations des solutions symétriques pour l'isomorphisme de sous-graphe

Philippe Vismara 1
1 COCONUT - Agents, Apprentissage, Contraintes
LIRMM - Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier
Résumé : La programmation par contrainte fournit aujourd'hui des modèles efficaces pour résoudre les problèmes d'isomorphisme de sous-graphe. Beaucoup de problèmes réels nécessitent l'énumération de toutes les solutions qui ne sont pas équivalentes à une symétrie d'un des graphes traités. Dans cet article nous nous intéressons aux conditions sous lesquelles il est possible d’éliminer ces symétries en utilisant des contraintes lexicographiques. Dans le cas où le nombre de symétries devient trop important, nous proposons une méthode basée sur des contraintes ensemblistes.
Document type :
Conference papers
Complete list of metadata

https://hal-lirmm.ccsd.cnrs.fr/lirmm-00830409
Contributor : Joël Quinqueton <>
Submitted on : Wednesday, June 5, 2013 - 7:31:28 AM
Last modification on : Monday, February 15, 2021 - 10:04:42 AM

Identifiers

  • HAL Id : lirmm-00830409, version 1

Collections

Citation

Philippe Vismara. Eliminations des solutions symétriques pour l'isomorphisme de sous-graphe. 9èmes Journées Francophones de Programmation par Contraintes (JFPC 2013), Jun 2013, Aix-en-Provence, France. pp.343-346. ⟨lirmm-00830409⟩

Share

Metrics

Record views

133