|
| |
|
|
A047707
|
|
Number of monotone Boolean functions of n variables with 3 mincuts. Also Sperner systems with 3 blocks.
|
|
37
|
|
|
|
0, 0, 0, 2, 64, 1090, 14000, 153762, 1533504, 14356610, 128722000, 1119607522, 9528462944, 79817940930, 660876543600, 5424917141282, 44246078560384, 359144709794050, 2904688464582800, 23429048035827042, 188593339362097824
(list;
graph;
refs;
listen;
history;
text;
internal format)
|
|
|
|
OFFSET
|
0,4
|
|
|
REFERENCES
|
L. Comtet, Advanced Combinatorics, Reidel, 1974, p. 292, #8, s(n,3).
|
|
|
LINKS
|
Table of n, a(n) for n=0..20.
K. S. Brown, Dedekind's problem.
Vladeta Jovovic, Illustration for A016269, A047707, A051112-A051118
Index entries for sequences related to Boolean functions
Goran Kilibarda and Vladeta Jovovic, Antichains of Multisets, J. Integer Seqs., Vol. 7, 2004.
Index to sequences with linear recurrences with constant coefficients, signature (28,-315,1820,-5684,9072,-5760).
|
|
|
FORMULA
|
a(n) = (2^n)*(2^n - 1)*(2^n - 2)/6 - (6^n - 5^n - 4^n + 3^n).
G.f.: -2*x^3*(36*x^2-4*x-1)/((2*x-1)*(3*x-1)*(4*x-1)*(5*x-1)*(6*x-1)*(8*x-1)). [Colin Barker, Jul 31 2012]
|
|
|
CROSSREFS
|
Cf. A016269, A051112.
Sequence in context: A064010 A120829 A120121 * A223121 A134939 A217268
Adjacent sequences: A047704 A047705 A047706 * A047708 A047709 A047710
|
|
|
KEYWORD
|
nonn,easy
|
|
|
AUTHOR
|
N. J. A. Sloane.
|
|
|
STATUS
|
approved
|
| |
|
|