Une procédure générale d'élimination d'isomorphismes pour les problèmes de configuration - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2005

Une procédure générale d'élimination d'isomorphismes pour les problèmes de configuration

Abstract

Une difficulté intrinsèque à la résolution de problèmes de configuration réside dans l'existence de nombreux isomorphismes structurels dans les solutions. Nous définissons deux procédures de recherche permettant la suppression de grandes portions de l'espace de recherche dont on montre qu'elles ne renferment que des solutions non canoniques. On y parvient grâce à un test en chaque noeud de l'arbre de recherche de complexité temporelle linéaire. Nous présentons des résultats sur un exemple de configuration simple mais représentatif de ce qu'on pourra obtenir sur des problèmes réels.
Fichier principal
Vignette du fichier
17.pdf (273.13 Ko) Télécharger le fichier

Dates and versions

inria-00000055 , version 1 (25-05-2005)

Identifiers

  • HAL Id : inria-00000055 , version 1

Cite

Laurent Hénocque, Mathias Kleiner, Nicolas Prcovic. Une procédure générale d'élimination d'isomorphismes pour les problèmes de configuration. Premières Journées Francophones de Programmation par Contraintes, CRIL - CNRS FRE 2499, Jun 2005, Lens, pp.335-344. ⟨inria-00000055⟩
68 View
26 Download

Share

Gmail Facebook X LinkedIn More