Recursive decomposition and bounds of the lattice of Moore co-families

  • Authors:
  • Pierre Colomb;Alexis Irlande;Olivier Raynaud;Yoan Renaud

  • Affiliations:
  • Campus Universitaire des Cézeaux, Université Blaise Pascal - Clermont-Ferrand/Laboratoire LIMOS, Aubière, France 63173;Universidad Nacional de Colombia, Bogota, Colombia;Campus Universitaire des Cézeaux, Université Blaise Pascal - Clermont-Ferrand/Laboratoire LIMOS, Aubière, France 63173;Campus Universitaire des Cézeaux, Université Blaise Pascal - Clermont-Ferrand/Laboratoire LIMOS, Aubière, France 63173

  • Venue:
  • Annals of Mathematics and Artificial Intelligence
  • Year:
  • 2013

Quantified Score

Hi-index 0.00

Visualization

Abstract

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 $\mathbb{M}_n$ . In this paper, we propose a recursive definition of the set of Moore co-families on U n . Then we apply this decomposition result to compute a lower bound on $|\mathbb M_n|$ as a function of $|\mathbb M_{n-1}|$ , the Dedekind numbers and the binomial coefficients. These results follow the work carried out in [1] to enumerate the number of Moore families on U 7.