|
%I #33 Apr 12 2023 09:26:53
%S 0,0,0,0,25,2020,82115,2401910,58089465,1245331920,24625121455,
%T 460316430970,8266174350005,144171200793620,2461016066613195,
%U 41343340015862430,686274244801356145,11289648429330100120
%N Number of monotone Boolean functions of n variables with 4 mincuts. Also Sperner systems with 4 blocks.
%D J. L. Arocha, Antichains in ordered sets, (in Spanish) An. Inst. Mat. UNAM, vol. 27, 1987, 1-21.
%D L. Comtet, Advanced Combinatorics, Reidel, 1974, p. 293, #8, s(n,4).
%D V. Jovovic, G. Kilibarda, On enumeration of the class of all monotone Boolean function, Belgrade, 1999, in preparation.
%H Charles R Greathouse IV, <a href="/A051112/b051112.txt">Table of n, a(n) for n = 0..831</a> (next term has 1001 digits)
%H K. S. Brown, <a href="http://www.mathpages.com/home/kmath030.htm">Dedekind's Problem</a>
%H D. M. Cvetkovic, <a href="https://eudml.org/doc/254981">The number of antichains of finite power sets</a>, Publ. Inst. Math., 13 (27), 1972, 5-9.
%H Vladeta Jovovic, <a href="/A047707/a047707.pdf">Illustration for A016269, A047707, A051112-A051118</a>
%H Goran Kilibarda and Vladeta Jovovic, <a href="https://cs.uwaterloo.ca/journals/JIS/VOL7/Kilibarda/kili2.html">Antichains of Multisets</a>, J. Integer Seqs., Vol. 7, 2004.
%H <a href="/index/Rec#order_11">Index entries for linear recurrences with constant coefficients</a>, signature (82, -2970, 62700, -856713, 7947786, -51019100, 226259000, -678011136, 1304341632, -1445575680, 696729600).
%H <a href="/index/Bo#Boolean">Index entries for sequences related to Boolean functions</a>
%F a(n) = (1/4!)*(16^n - 12*12^n + 24*10^n + 4*9^n - 18*8^n + 6*7^n - 36*6^n + 36*5^n + 11*4^n - 22*3^n + 6*2^n).
%F From _Michael Somos_: (Start)
%F a(n) = 82*a(n - 1) - 2970*a(n - 2) + 62700*a(n - 3) - 856713*a(n - 4) + 7947786*a(n - 5) - 51019100*a(n - 6) + 226259000*a(n - 7) - 678011136*a(n - 8) + 1304341632*a(n - 9) - 1445575680*a(n - 10) + 696729600*a(n - 11).
%F G.f.: 5x^4(5-6x-1855x^2+20076x^3-44356x^4-215280x^5+759168x^6) / ((1-3x)(1-4x)(1-5x)(1-6x)(1-2x)(1-7x)(1-8x)(1-9x)(1-10x)(1-12x)(1-16x)). (End)
%t (1/4!)*(16^n-12*12^n+24*10^n+4*9^n-18*8^n+6*7^n-36*6^n+36*5^n+11*4^n-22*3^n+6*2^n),{n,0,20}] (* or *) LinearRecurrence[{82,-2970,62700,-856713,7947786,-51019100,226259000,-678011136,1304341632,-1445575680,696729600},{0,0,0,0,25,2020,82115,2401910,58089465,1245331920,24625121455},20] (* _Harvey P. Dale_, Nov 26 2019 *)
%o (PARI) a(n)=(16^n-12*12^n+24*10^n+4*9^n-18*8^n+6*7^n-36*6^n+36*5^n+11*4^n -22*3^n+6*2^n)/24 \\ _Charles R Greathouse IV_, Mar 14 2012
%Y Cf. A016269, A047707, A051113, A051114, A051115, A051116, A051117, A051118.
%K nonn,easy,nice
%O 0,5
%A _Vladeta Jovovic_, Goran Kilibarda, Zoran Maksimovic
|
