Filtrage basé sur des propriétés de graphe - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2006

Filtrage basé sur des propriétés de graphe

Abstract

Cet article présente un schéma de filtrage générique, basé sur la description de contraintes globales sous la forme de propriétés de graphes. Cette description est définie par un réseau de contraintes binaires et une liste de propriétés de graphe élémentaires : chaque solution de la contrainte globale correspond à un sous-graphe du réseau initial, dans lequel ne sont retenues que les contraintes binaires satisfaites. Ce sous-graphe doit vérifier les propriétés de graphe qui définissent la contrainte. Le filtrage consiste en l'identification des arcs du réseau qui appartiennent ou non aux sous-graphes solution. L'objectif est de construire, à côté du catalogue de contraintes, une liste de règles de filtrage systématiques. Ces règles sont basées sur un ensemble limité de propriétés. Elles s'appliquent à toutes les contraintes du catalogue décrites à l'aide de ces propriétés. Nous illustrons ce principe sur les propriétés de graphe les plus usuelles, et nous expérimentons notre technique sur la contrainte group.
Fichier principal
Vignette du fichier
28.pdf (274.7 Ko) Télécharger le fichier
Loading...

Dates and versions

inria-00085796 , version 1 (14-07-2006)

Identifiers

  • HAL Id : inria-00085796 , version 1

Cite

Nicolas Beldiceanu, Matts Carlsson, Sophie Demassey, Thierry Petit. Filtrage basé sur des propriétés de graphe. Deuxièmes Journées Francophones de Programmation par Contraintes (JFPC06), 2006, Nîmes - Ecole des Mines d'Alès / France, France. ⟨inria-00085796⟩
403 View
118 Download

Share

Gmail Mastodon Facebook X LinkedIn More