2-triangulation de micro-structure pour la résolution de CSP - Inria - Institut national de recherche en sciences et technologies du numérique
Communication Dans Un Congrès Année : 2005

2-triangulation de micro-structure pour la résolution de CSP

Résumé

Un CSP ou problème de satisfaction de contraintes, consiste à donner des valeurs à des variables en respectant les contraintes qui les lient. Mais le problème de décision associé à un CSP est NP-complet. Dans [Jégou, 1993], Jégou propose une méthode, basée sur la décomposition de la micro-structure du CSP et dans [Chmeiss, 2003], une généralisation de cette méthode est présentée en utilisant une généralisation des graphes triangulés : les graphes CSGk. Nous proposons une amélioration de la décomposition de CSP basée sur les graphes CSG2. Cela passe par un calcul de 2-triangulation plus efficace tant au niveau de la complexité qu'à celui de la qualité de la décomposition, mais aussi un algorithme de recherche de cliques maximales dans les graphes 2-triangulés, apportant de bons résultats en pratique.
Fichier principal
Vignette du fichier
105.pdf (267.89 Ko) Télécharger le fichier
Loading...

Dates et versions

inria-00000678 , version 1 (14-11-2005)

Identifiants

  • HAL Id : inria-00000678 , version 1

Citer

Samba Ndojh Ndiaye. 2-triangulation de micro-structure pour la résolution de CSP. MajecSTIC 2005 : Manifestation des Jeunes Chercheurs francophones dans les domaines des STIC, IRISA – IETR – LTSI, Nov 2005, Rennes, pp.180-187. ⟨inria-00000678⟩
89 Consultations
83 Téléchargements

Partager

More