login
The OEIS is supported by the many generous donors to the OEIS Foundation.

 

Logo
Hints
(Greetings from The On-Line Encyclopedia of Integer Sequences!)
A051305 Number of 5-element proper antichains of an n-element set. 3

%I #10 Sep 08 2022 08:44:59

%S 0,0,0,0,0,543,118629,12564636,907001550,51751693161,2527016053023,

%T 110737868741742,4489929936371880,171944175793168779,

%U 6309813148166785257,224210698542088771968

%N Number of 5-element proper antichains of an n-element set.

%H G. C. Greubel, <a href="/A051305/b051305.txt">Table of n, a(n) for n = 0..660</a>

%F a(n) = (1/5!)*(32^n -30*24^n +150*20^n -45*18^n +85*17^n -515*16^n -450*15^n +1365*14^n +390*13^n -1680*12^n -22*11^n +1875*10^n -1080*9^n -685*8^n +980*7^n -669*6^n +575*5^n -195*4^n -150*3^n +124*2^n -24).

%t Table[(32^n - 30*24^n + 150*20^n - 45*18^n + 85*17^n - 515*16^n -450*15^n + 1365*14^n + 390*13^n - 1680*12^n - 22*11^n + 1875*10^n - 1080*9^n - 685*8^n + 980*7^n - 669*6^n + 575*5^n - 195*4^n - 150*3^n + 124*2^n - 24)/5!, {n, 0, 50}] (* _G. C. Greubel_, Oct 07 2017 *)

%o (PARI) for(n=0,50, print1((32^n - 30*24^n + 150*20^n - 45*18^n + 85*17^n - 515*16^n -450*15^n + 1365*14^n + 390*13^n - 1680*12^n - 22*11^n + 1875*10^n - 1080*9^n - 685*8^n + 980*7^n - 669*6^n + 575*5^n - 195*4^n - 150*3^n + 124*2^n - 24)/5!, ", ")) \\ _G. C. Greubel_, Oct 07 2017

%o (Magma) [(32^n - 30*24^n + 150*20^n - 45*18^n + 85*17^n - 515*16^n -450*15^n + 1365*14^n + 390*13^n - 1680*12^n - 22*11^n + 1875*10^n - 1080*9^n - 685*8^n + 980*7^n - 669*6^n + 575*5^n - 195*4^n - 150*3^n + 124*2^n - 24)/(120): n in [0..50]]; // _G. C. Greubel_, Oct 07 2017

%Y Cf. A032263, A036239, A051112.

%K nonn

%O 0,6

%A _Vladeta Jovovic_, Goran Kilibarda, Zoran Maksimovic

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

License Agreements, Terms of Use, Privacy Policy. .

Last modified April 24 11:37 EDT 2024. Contains 371936 sequences. (Running on oeis4.)