Efficient Algorithms on the Family Associated to an Implicational System

Abstract : An implication system (IS) on a finite set S is a set of rules called Σ -implications of the kind A →_Σ B, with A,B ⊆ S. A subset X ⊆ S satisfies A →_Σ B when ''A ⊆ X implies B ⊆ X'' holds, so ISs can be used to describe constraints on sets of elements, such as dependency or causality. ISs are formally closely linked to the well known notions of closure operators and Moore families. This paper focuses on their algorithmic aspects. A number of problems issued from an IS Σ (e.g. is it minimal, is a given implication entailed by the system) can be reduced to the computation of closures φ _Σ (X), where φ _Σ is the closure operator associated to Σ . We propose a new approach to compute such closures, based on the characterization of the direct-optimal IS Σ _do which has the following properties: \beginenumerate ıtemit is equivalent to Σ ıtemφ _Σ _do(X) (thus φ _Σ (X)) can be computed by a single scanning of Σ _do-implications ıtemit is of minimal size with respect to ISs satisfying 1. and 2. \endenumerate We give algorithms that compute Σ _do, and from Σ _do closures φ _Σ (X) and the Moore family associated to φ _Σ .
Type de document :
Article dans une revue
Discrete Mathematics and Theoretical Computer Science, DMTCS, 2004, 6 (2), pp.315-338
Liste complète des métadonnées

Littérature citée [20 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-00959010
Contributeur : Service Ist Inria Sophia Antipolis-Méditerranée / I3s <>
Soumis le : jeudi 13 mars 2014 - 17:06:00
Dernière modification le : mardi 24 avril 2018 - 13:55:39
Document(s) archivé(s) le : vendredi 13 juin 2014 - 12:11:52

Fichier

dm060209.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-00959010, version 1

Collections

Citation

Karell Bertet, Mirabelle Nebut. Efficient Algorithms on the Family Associated to an Implicational System. Discrete Mathematics and Theoretical Computer Science, DMTCS, 2004, 6 (2), pp.315-338. 〈hal-00959010〉

Partager

Métriques

Consultations de la notice

298

Téléchargements de fichiers

293