Metodo

International Studies in Phenomenology and Philosophy

Series | Book | Chapter

200473

Counting of moore families for n=7

Pierre ColombAlexis IrlandeOlivier Raynaud

pp. 72-87

Abstract

Given a set U n  = {0,1,...,n − 1}, a collection (mathcal{M}) of subsets of U n that is closed under intersection and contains U n is known as a Moore family. The set of Moore families for a given n, denoted by M n , increases very quickly with n, thus |M 3| is 61 and |M 4| is 2480. In [1] the authors determined the number for n = 6 and stated a 24h- computation-time. Thus, the number for n = 7 can be considered as an extremely difficult technical challenge. In this paper, we introduce a counting strategy for determining the number of Moore families for n = 7 and we give the exact value : 14 087 648 235 707 352 472. Our calculation is particularly based on the enumeration of Moore families up to an isomorphism for n ranging from 1 to 6.

Publication details

Published in:

Kwuida Lonard, Sertkaya Bar (2010) Formal concept analysis: 8th international conference, ICFCA 2010, Agadir, Morocco, march 15-18, 2010. Dordrecht, Springer.

Pages: 72-87

DOI: 10.1007/978-3-642-11928-6_6

Full citation:

Colomb Pierre, Irlande Alexis, Raynaud Olivier (2010) „Counting of moore families for n=7“, In: L. Kwuida & B. Sertkaya (eds.), Formal concept analysis, Dordrecht, Springer, 72–87.