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
1, 4, 19, 179, 16142, 489996794, 1392195548399980209, 789204635842035039135545297410259321 (list; graph; refs; listen; history; text; internal format)
OFFSET
2,2
REFERENCES
V. Jovovic and G. Kilibarda, On enumeration of the class of all monotone Boolean functions, in preparation.
N. J. A. Sloane and Simon Plouffe, The Encyclopedia of Integer Sequences, Academic Press, 1995 (includes this sequence).
LINKS
V. Jovovic and G. Kilibarda, On the number of Boolean functions in the Post classes F^{mu}_8, in Russian, Diskretnaya Matematika, 11 (1999), no. 4, 127-138.
V. Jovovic and G. Kilibarda, On the number of Boolean functions in the Post classes F^{mu}_8, English translation, in Discrete Mathematics and Applications, 9, (1999), no. 6, 593-605.
FORMULA
a(n) = A003182(n) - A003182(n-1) - 1 = A006602(n) - 1.
CROSSREFS
Sequence in context: A366699 A292167 A126147 * A356287 A276259 A072879
KEYWORD
nonn,hard,more
AUTHOR
Micha Hofri (hofri(AT)cs.rice.edu)
EXTENSIONS
a(7) from A003182. - N. J. A. Sloane, Aug 13 2015
a(8) from A003182. - Bartlomiej Pawelski, Nov 27 2022
a(9) from A003182. - Dmitry I. Ignatov, Nov 27 2023
STATUS
approved

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 March 18 22:56 EDT 2024. Contains 370952 sequences. (Running on oeis4.)