%I#33 2023年4月12日09:26:53

%S 0,0,0,15202082115240191058089465124533192024625121455，

%电话：46031643097082661743500051441712007936202461016066613195，

%电话：4134334001586243068627424480135614511289648429330100120

%N具有4个最小截的N个变量的单调布尔函数的数目。还有带4个块的Sperner系统。

%D J.L.Arocha，有序集合中的反链，（西班牙语）An.Inst.Mat.UNAM，第27卷，1987年，1-21。

%D L.Comtet，《高级组合数学》，Reidel，1974年，第293页，#8，s（n，4）。

%D V.Jovovic，G.Kilibarda，《关于所有单调布尔函数类的枚举》，贝尔格莱德，1999年，准备中。

%H Charles R Greathouse IV，n表，a（n）表示n=0..831（下一项有1001位数字）

%H K.S.Brown，<a href=“http://www.mathpages.com/home/kmath030.htm“>Dedekind的问题</a>

%H D.M.Cvetkovic，<a href=“https://eudml.org/doc/254981“>有限幂集的反链数，《数学公共研究所》，13（27），1972，5-9。

%H Vladeta Jovovic，A016269、A047707、A051112-A051118的插图</a>

%H Goran Kilibarda和Vladeta Jovovic，<a href=“https://cs.uwaterloo.ca/journals/JIS/VOL7/Kilibarda/kili2.html“>多集合的反链</a>，《整数序列杂志》，2004年第7卷。

%H<a href=“/index/Rec#order_11”>常系数线性重复出现的索引条目，签名（82，-2970，62700，-856713，7947786，-51019100，226259000，-67801136，1304341632，-1445575680，696729600）。

%H<a href=“/index/Bo#Boolean”>为布尔函数相关序列的索引项</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+6x2^n）。

%F From _Michael Somos_：（开始）

%F a（n）=82*a（n-1）-2970*a。

%传真：5x^4（5-6x-1855x^2+20076x^3-44356x^4-215280x^5+759168x^6）/（1-3x）（1-4x）。（结束）

%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+6x2^n），{n，0,20}]（*或*）线性递归[{82，-297062700，-8567137947786，-5101900226259000，-6780111361341632，-14457568069672960}，{0,0,252021152401910580896 465124533192024625121455}，20]（*哈维·P·戴尔，2019年11月26日*）

%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+6x2^n）/24\\查尔斯·格里特豪斯四世，2012年3月14日

%Y参见A016269、A047707、A051113、A051114、A051215、A051116、A051017、A051118。

%不，简单，好

%0、5

%A _Vladeta Jovovic_、Goran Kilibarda、Zoran Maksimovic