Article Dans Une Revue Annals of Mathematics and Artificial Intelligence Année : 2014

Recursive decomposition tree of a Moore co-family and closure algorithm

Résumé

A collection of sets on a ground set U n (U n = {1, 2, ..., n}) closed under intersection and containing U n is known as a Moore family. The set of Moore families for a fixed n is in bijection with the set of Moore co-families (union-closed families containing the empty set) denoted M n. This paper follows the work initiated in [9] in which we have given an inductive definition of the lattice of Moore co-families. In the present paper we use this definition to define a recursive decomposition tree of any Moore co-family and we design an original algorithm to compute the closure under union of any family. Then we compare performance of this algorithm to performance of Ganter's algorithm and Norris' algorithm.

Fichier principal
Vignette du fichier
co-closure.pdf (1.1 Mo) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Licence
Loading...

Dates et versions

hal-02024930 , version 1 (19-02-2019)

Licence

Identifiants

Citer

Pierre Colomb, Alexis Irlande, Olivier Raynaud, Yoan Renaud. Recursive decomposition tree of a Moore co-family and closure algorithm. Annals of Mathematics and Artificial Intelligence, 2014, 70 (1-2), pp.107-122. ⟨10.1007/s10472-013-9362-x⟩. ⟨hal-02024930⟩
119 Consultations
238 Téléchargements

Altmetric

Partager

  • More