|
Search: id:A051113
|
|
|
| A051113 |
|
Number of monotone Boolean functions of n variables with 5 mincuts. |
|
+0 6
|
|
| 0, 0, 0, 0, 6, 2146, 304752, 25400564, 1557306954, 78817977462, 3513106214484, 143429796694888, 5501383287745422, 201652447559180618, 7148287976359243896, 247151326758617289372, 8386495692534098616210
(list; graph; listen)
|
|
|
OFFSET
|
0,5
|
|
|
REFERENCES
|
J. L. Arocha, Antichains in ordered sets, (in Spanish) An. Inst. Mat. UNAM, vol. 27, 1987, 1-21.
V. Jovovic, G. Kilibarda, On enumeration of the class of all monotone Boolean function, Belgrade, 1999, in preparation.
|
|
LINKS
|
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.
|
|
FORMULA
|
1/5! (32^n-20 * 24^n+ 60 * 20^n+ 20 * 18^n+ 10 * 17^n-110 * 16^n-120 * 15^n+ 150 * 14^n+ 120 * 13^n-240 * 12^n+ 20 * 11^n+ 240 * 10^n+ 40 * 9^n-205 * 8^n+ 60 * 7^n-210 * 6^n+ 210 * 5^n+ 50 * 4^n-100 * 3^n+ 24 * 2^n)
|
|
CROSSREFS
|
Cf. A016269, A047707, A051112-A051118.
Adjacent sequences: A051110 A051111 A051112 this_sequence A051114 A051115 A051116
Sequence in context: A089535 A059081 A056048 this_sequence A067174 A059203 A069643
|
|
KEYWORD
|
nonn
|
|
AUTHOR
|
Vladeta Jovovic, Goran Kilibarda, Zoran Maksimovic (vladeta(AT)Eunet.yu)
|
|
|
Search completed in 0.002 seconds
|