login
The OEIS is supported by the many generous donors to the OEIS Foundation.

 

Logo
Hints
(Greetings from The On-Line Encyclopedia of Integer Sequences!)
A007411 Number of matrices with n columns whose rows do not cover each other. Also antichain covers of an unlabeled n-set.
(Formerly M3558)
7

%I M3558 #39 Nov 27 2023 10:30:19

%S 1,4,19,179,16142,489996794,1392195548399980209,

%T 789204635842035039135545297410259321

%N Number of matrices with n columns whose rows do not cover each other. Also antichain covers of an unlabeled n-set.

%D V. Jovovic and G. Kilibarda, On enumeration of the class of all monotone Boolean functions, in preparation.

%D N. J. A. Sloane and Simon Plouffe, The Encyclopedia of Integer Sequences, Academic Press, 1995 (includes this sequence).

%H M. Hofri, <a href="/A007411/a007411.pdf">Email to N. J. A. Sloane, May 1994</a>.

%H V. Jovovic and G. Kilibarda, <a href="http://mi.mathnet.ru/eng/dm/v11/i4/p127">On the number of Boolean functions in the Post classes F^{mu}_8</a>, in Russian, Diskretnaya Matematika, 11 (1999), no. 4, 127-138.

%H V. Jovovic and G. Kilibarda, <a href="http://dx.doi.org/10.1515/dma.1999.9.6.593">On the number of Boolean functions in the Post classes F^{mu}_8</a>, English translation, in Discrete Mathematics and Applications, 9, (1999), no. 6, 593-605.

%F a(n) = A003182(n) - A003182(n-1) - 1 = A006602(n) - 1.

%Y Cf. A037843, A006126, A003182, A006602.

%K nonn,hard,more

%O 2,2

%A Micha Hofri (hofri(AT)cs.rice.edu)

%E a(7) from A003182. - _N. J. A. Sloane_, Aug 13 2015

%E a(8) from A003182. - _Bartlomiej Pawelski_, Nov 27 2022

%E a(9) from A003182. - _Dmitry I. Ignatov_, Nov 27 2023

Lookup | Welcome | Wiki | Register | Music | Plot 2 | Demos | Index | Browse | More | WebCam
Contribute new seq. or comment | Format | Style Sheet | Transforms | Superseeker | Recents
The OEIS Community | Maintained by The OEIS Foundation Inc.

License Agreements, Terms of Use, Privacy Policy. .

Last modified April 24 06:14 EDT 2024. Contains 371918 sequences. (Running on oeis4.)