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

Pierre Colomb (1) , Alexis Irlande (2) , Olivier Raynaud (1) , Yoan Renaud (3)

1 LIMOS - Laboratoire d'Informatique, de Modélisation et d'Optimisation des Systèmes
2 UNAL - Universidad Nacional de Colombia [Bogotà]
3 LIRIS - Laboratoire d'InfoRmatique en Image et Systèmes d'information

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.

Domaines: Intelligence artificielle [cs.AI]

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⟩