login
This site is supported by donations to The OEIS Foundation.

 

Logo

Annual Appeal: Please make a donation to keep the OEIS running. In 2017 we replaced the server with a faster one, added 20000 new sequences, and reached 7000 citations (often saying "discovered thanks to the OEIS").
Other ways to donate

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 (list; graph; refs; listen; history; text; internal format)
OFFSET

2,2

REFERENCES

V. Jovovic, 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

Table of n, a(n) for n=2..7.

M. Hofri, Email to N. J. A. Sloane, May 1994

V. Jovovic, 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, 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.

FORMULA

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

CROSSREFS

Cf. A037843, A006126, A003182, A006602.

Sequence in context: A155804 A292167 A126147 * A276259 A072879 A112958

Adjacent sequences:  A007408 A007409 A007410 * A007412 A007413 A007414

KEYWORD

nonn,hard,more

AUTHOR

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

EXTENSIONS

a(7) from A003182. - N. J. A. Sloane, Aug 13 2015

STATUS

approved

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

License Agreements, Terms of Use, Privacy Policy. .

Last modified December 10 05:49 EST 2018. Contains 318044 sequences. (Running on oeis4.)