|
| |
|
|
A051183
|
|
Number of 6-element intersecting families of an n-element set.
|
|
1
| |
|
|
0, 0, 0, 0, 230, 91993, 14037879, 1509286261, 136653987232, 11209147489701, 862949794999193, 63573922606869037, 4535012297248660194, 315713834759742768349, 21570075957885603579067
(list; graph; refs; listen; history; internal format)
|
|
|
|
OFFSET
| 0,5
|
|
|
REFERENCES
| V. Jovovic, G. Kilibarda, On the number of Boolean functions in the Post classes F^{mu}_8, Diskretnaya Matematika, 11 (1999), no. 4, 127-138 (translated in Discrete Mathematics and Applications, 9, (1999), no. 6).
|
|
|
FORMULA
| 1/6! (64^n - 15*48^n + 60*40^n - 15*36^n + 30*34^n - 6*33^n - 215*32^n - 180*30^n + 585*28^n + 45*27^n + 60*26^n + 150*25^n - 510*24^n - 360*23^n + 168*22^n - 585*21^n + 795*20^n + 1665*19^n - 1890*18^n - 2175*17^n + 3305*16^n + 1775*15^n - 3795*14^n - 870*13^n + 3123*12^n - 1075*11^n - 495*10^n + 1460*9^n - 2245*8^n + 1424*7^n + 150*6^n - 590*5^n + 499*4^n - 274*3^n - 120*2^n + 120)
|
|
|
CROSSREFS
| Cf. A036239, A051180-A051185.
Sequence in context: A171666 A140077 A194490 * A156742 A031965 A088289
Adjacent sequences: A051180 A051181 A051182 * A051184 A051185 A051186
|
|
|
KEYWORD
| nonn
|
|
|
AUTHOR
| Vladeta Jovovic, Goran Kilibarda (vladeta(AT)eunet.rs)
|
| |
|
|
