Décomposition sous-directe d'un treillis en facteurs irréductibles

Abstract

National audienceLa taille d'un treillis de concepts peut augmenter de façon exponentielle avec la taille du contexte. Lorsque le nombre de noeuds devient important, l'´ etude et la génération d'un tel treillis devient impossible. Décomposer le treillis en petit sous-treillis est un moyen de contourner ceprobì eme. Dans la décomposition sous-directe, les petits sous-treillis générés sont des quotients qui ont une interprétation intéressante dans le cadre de l'Analyse de Concepts Formels. Dans cet article, nous présentons les etapes pour obtenir une décomposition sous-directe en treillis irréductibles , en partant d'un contexte fini et réduit. Cette décomposition est obtenue en utilisant trois points de vue : les treillis quotients, les relationsfì eches et les sous-contextes compatibles. Cette approche est essentiellement algébrique car elle repose sur la théorie des treillis, sauf pour le dernier point. Nous donnons un algorithme polynomial permettant de générer cette décomposition a partir d'un contexte initial. Cette méthode peut etré etendue pour permettre l'exploration interactive ou la fouille dans de grands contextes

    Similar works