|
| |
|
| A001206号 |
| n个变量的自对偶单调布尔函数的个数。
（原名M1267 N0486）
|
|
25
|
|
|
|
0, 1, 2, 4, 12, 81, 2646, 1422564, 229809982112, 423295099074735261880
(列表；图表；参考文献；听；历史；文本；内部格式)
|
|
|
|
抵消
|
0,3
|
|
|
评论
|
有时称为Hosten-Morris数字（或HM数字）。
也就是集合{1，…，n-1}上的单形复数，使得没有一对面覆盖{1，..，n-1{的全部。[Miller-Sturmfels]-N.J.A.斯隆，2008年2月18日
也是n个变量中邻域单项式理想的最大生成元数。[Miller-Sturmfels]-N.J.A.斯隆2008年2月18日
此外，Post-class F（7,2）中标记的（n-1）集或（n-1”变量布尔函数上相交反链的数量。囊性纤维变性。A059090型-弗拉德塔·乔沃维奇Goran Kilibarda，2000年12月28日
还有n个成员上的非支配子级数的数目-高德纳，2005年9月1日
|
|
|
参考文献
|
Martin Aigner和Günter M.Ziegler，《从书中证明》，第三版，斯普林格·弗拉格出版社，2004年。见第22章。
V.Jovovic和G.Kilibarda，《后类F（7,2）中n变量布尔函数的数量》，贝尔格莱德，2001年，正在编写中。
D.E.Knuth，《计算机编程的艺术》，第4A卷，第7.1.1节，第79页。
W.F.Lunnon，《IU函数：自由分配格的大小》，D.J.a.Welsh第173-181页，《组合数学及其应用》编辑。纽约学术出版社，1971年。
Charles F.Mills和W.M.Mills，《λ（8）的计算》，预印本，1979年。给出（8）。
E.Miller和B.Sturmfels，组合交换代数，Springer，2005年。
N.J.A.Sloane，《整数序列手册》，学术出版社，1973年（包括该序列）。
N.J.A.Sloane和Simon Plouffe，《整数序列百科全书》，学术出版社，1995年（包括该序列）。
|
|
|
链接
|
塔拉斯·巴纳赫（Taras Banakh）、沃洛德米尔·加夫里基夫（Volodymyr Gavrylkiv）、，群的超扩张的自同构群，arXiv:1802.05804[math.GR]，2018年。
Jan C.Bioch和Toshihide Ibaraki，生成和逼近非支配子级数《IEEE并行和分布式系统汇刊》6（1995），905-914。
A.E.Brouwer和A.Verbeek，互交集族的计数，报告ZN 411972年3月，数学。中心。，阿姆斯特丹。给出n≤7时的a（n）。
A.E.Brouwer和A.Verbeek，互交集族的计数《组合数学电子杂志》，第20卷，第2期（2013年），论文#P8。
Gábor Damásdi、Stefan Felsner、António Giráo、Balázs Keszegh、David Lewis、Dániel T.Nagy、Torsten Ueckerdt、，关于覆盖数、Young图和偏序集的局部维数，arXiv:2001.06367[数学.CO]，2020年。
Jesús A.De Loera、Serkan Hošten、Robert Krone、Lily Silverstein、，单项式理想最小自由解的平均行为，arXiv:1802.06537[math.AC]，2018年。
Serkan Hosten和Walter D.Morris，Jr。，完整图的阶维数，离散数学。201（1999），第133-139页。
D.E.勒布，玩多人游戏的挑战《人工智能中的启发式编程》，第4卷，Ellis Horwood，1994年，编辑，列维和比尔著。[断开的链接]
D.E.Loeb和A.Meyerowitz，集合图的最大相交族，H.Barcelo和G.Kalai，编辑，《1993年耶路撒冷组合数学会议论文集》。AMS系列《当代数学》，1994年。
巴托米耶·帕维尔斯基（Bartlomiej Pawelski）和安德烈·斯泽皮托夫斯基（Andrzej Szepietowski），Dedekind数的可除性，arXiv:2302.04615[math.CO]，2023。
N.M.Rivière，自由分配格上的递归公式，J.组合理论5 1968 229--234。MR0231764（38#92）。
|
|
|
配方奶粉
|
|
|
|
例子
|
a（2）=1+1=2；
a（3）=1+3=4；
a（4）=1+7+3+12；
a（5）=1+15+30+30+5=81；
a（6）=1+31+195+605+780+543+300+135+45+10+1=2646；
a（7）=1+63+1050+9030+41545+118629+233821+329205+327915+224280+100716+29337+5950+910+105+1=1422564。
非空集的a（1）=1到a（4）=12交叉反链（见Jovovic和Kilibarda的评论）：
{} {} {} {}
{{1}} {{1}} {{1}}
{{2}} {{2}}
{{1,2}} {{3}}
{{1,2}}
{{1,3}}
{{2,3}}
{{1,2,3}}
{{1,2},{1,3}}
{{1,2},{2,3}}
{{1,3},{2,3}}
{{1,2},{1,3},{2,3}}
（结束）
|
|
|
数学
|
stableSets[u_，Q_]：=如果[Length[u]==0，{{}}，With[{w=First[u]}，Join[stableSets[DeleteCases[u，w]，Q]，Prepend[#，w]&/@stableSets-[DeleteCases[u、r_/；r==w||Q[r，w]|Q[w，r]]，Q]]]；
表[Length[stableSets[Subsets[Range[n]，{1，n}]，Or[Intersection[#1，#2]=={}，SubsetQ[#1、#2]]&]]，{n，0，5}](*古斯·怀斯曼2019年7月3日*）
|
|
|
交叉参考
|
|
|
|
关键字
|
非n,坚硬的,美好的,更多
|
|
|
作者
|
|
|
|
扩展
|
a（8）由于C.F.Mills和W.H.Mills，1979年
|
|
|
状态
|
经核准的
|
| |
|
|
