登录
OEIS由OEIS基金会的许多慷慨捐赠者.

 


搜索: a326363-编号:a32636363
    排序:关联|参考文献||被改进的|创建     格式:长的|短的|数据
德德金数:n个或更少变量的不等价单调布尔函数,或n个集合子集的反链。
(原名M0729)
+10
40
2, 3, 5, 10, 30, 210, 16353, 490013148, 1392195548889993358, 789204635842035040527740846300252680
抵消
0,1
评论
n个或更少变量的非状态布尔函数的NP-等价类。
还有n个玩家以最小获胜形式的简单游戏的数量,直到同构-法比安·里克尔梅2018年3月13日
标记的案例是A000372号. -古斯·怀斯曼2019年2月23日
第一个不同于A348260型(n+1),a(5)=210,348260美元(6) = 233. -古斯·怀斯曼2021年11月28日
Pawelski和Szepietowski表明a(n)=A001206号(n) (mod 2)和a(9)=6(mod 210)-查尔斯·格里特豪斯四世2023年2月16日
参考文献
I.Anderson,有限集组合学。牛津大学出版社,1987年,第38页。
阿罗查,豪尔赫·路易斯(1987)“有序集合中的反链”[西班牙语]。墨西哥国立自治大学数学研究所分析27:1-21。
J.Berman,三元代数的自由谱,收录于R.S.Freese和O.C.Garcia,编辑,《泛代数和格理论》(Puebla,1982),Lect。数学笔记。第1004卷,1983年。
G.Birkhoff,晶格理论。美国数学学会,学术讨论会出版物,第25卷,第3版,普罗维登斯,RI,1967年,第63页。
L.Comtet,《高级组合数学》,Reidel,1974年,第273页。
M.A.Harrison,交换与自动机理论导论。纽约州麦格劳·希尔,1965年,第188页。
D.E.Knuth,《计算机编程的艺术》,第4A卷,第7.1.1节,第79页。
W.F.Lunnon,《IU函数:自由分配格的大小》,D.J.a.Welsh第173-181页,《组合数学及其应用》编辑。纽约学术出版社,1971年。
S.Muroga,阈值逻辑及其应用。Wiley,NY,1971年,第38页,表2.3.2.-第13行。
N.J.A.Sloane和Simon Plouffe,《整数序列百科全书》,学术出版社,1995年(包括该序列)。
D.H.Wiedemann,个人沟通。
链接
K.S.Brown,Dedekind的问题
Patrick De Causmaecker和Stefan De Wannemacker,有限宇宙中集合的反链数,arXiv:1407.4288[math.CO],2014年。
Patrick De Causmaecker和Lennart Van Hirtum,求解反链方程组以计算第九个德德金数,arXiv:2405.20904[math.CO],2024。见第4页。
利维乌·伊琳卡和杰夫·卡恩,计算最大反链和独立集,arXiv:1202.4427[math.CO],2012;订单30.2(2013):427-435。
D.J.Kleitman,关于Dedekind问题:单调布尔函数的个数,程序。阿默尔。数学。1969年第21期第677-682页。
D.J.Kleitman和G.Markowsky,关于Dedekind的问题:同位素布尔函数的个数。,事务处理。阿默尔。数学。《社会学》第213卷(1975年),第373-390页。
S.Kurz,单调布尔函数的竞争学习,arXiv:1401.8135[cs.DS],2014年。
米卡·莫内和丹·奥尔特阿努,用于安全查询的确定性可分解电路, 2018.
S.Muroga,阈值逻辑及其应用,Wiley,NY,1971【几页注释扫描】
巴托洛米耶·帕维尔斯基,关于8个变量的不等价单调布尔函数的个数,arXiv:2108.13997[math.CO],2021。见表2第2页。
巴托洛米耶·帕维尔斯基,关于9个变量的不等价单调布尔函数的个数,arXiv:2305.06346[math.CO],2023年。
巴托米耶·帕维尔斯基(Bartlomiej Pawelski)和安德烈·斯泽皮托夫斯基(Andrzej Szepietowski),Dedekind数的可除性,arXiv:2302.04615[math.CO],2023。
塔蒙·斯蒂芬和蒂莫西·尤森,不等价单调布尔函数的计数《离散应用数学》,167(2014),15-24。
塔蒙·斯蒂芬和蒂莫西·尤森,不等价单调布尔函数的计数,arXiv预打印arXiv:1209.4623[cs.DS],2012。
安德烈·斯泽皮托夫斯基(Andrzej Szepietowski),作用于单调布尔函数的置换的固定,arXiv:2205.03868[math.CO],2022。见第17页。
埃里克·魏斯坦的数学世界,布尔函数.
配方奶粉
a(n)=A306505型(n) +1-古斯·怀斯曼2019年7月2日
例子
发件人古斯·怀斯曼2019年2月20日:(开始)
a(0)=2到a(3)=10反链的非同构代表:
{} {} {} {}
{{}} {{}} {{}} {{}}
{{1}} {{1}} {{1}}
{{1,2}} {{1,2}}
{{1},{2}} {{1},{2}}
{{1,2,3}}
{{1},{2,3}}
{{1},{2},{3}}
{{1,3},{2,3}}
{{1,2},{1,3},{2,3}}
(结束)
关键字
非n,坚硬的,美好的,更多
作者
扩展
a(7)由添加蒂莫西·尤森2012年9月27日
由Pawelski加上的a(8)米歇尔·马库斯2021年9月1日
Pawelski的a(9)加上米歇尔·马库斯2023年5月11日
状态
经核准的
n个变量的自对偶单调布尔函数的个数。
(原名M1267 N0486)
+10
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日
n元集相交子集的最大族数-布里吉特·坦纳2006年11月16日
Rivière给出了n≤5的a(n)-N.J.A.斯隆2012年5月12日
参考文献
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年(包括该序列)。
链接
塔拉斯·巴纳赫,沃洛德米尔·加夫里基夫,群的超扩张的自同构群,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[math.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)。
汤姆·特罗特,Erdős/Stone定理的一个应用,幻灯片,2001年9月13日。
配方奶粉
a(n+1)=和{m=0。。A037952美元(n) }A059090型(n,m)。
对于n>0,a(n)=A326372型(n-1)-1-古斯·怀斯曼2019年7月3日
例子
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。
囊性纤维变性。A059090型.
发件人古斯·怀斯曼2019年7月3日:(开始)
非空集的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日*)
交叉参考
囊性纤维变性。A000372号,A059090型.
允许有空边的情况是A326372型.
最大情况是A007363号,或A326363型允许有空边。
交叉口为空的情况是A326366飞机.
二项式逆变换是覆盖情况邮编:305844.
关键字
非n,坚硬的,美好的,更多
作者
扩展
a(8)由于C.F.Mills和W.H.Mills,1979年
a(8)来自丹尼尔·勒布1996年1月4日
a(8)确认人高德纳,2008年2月8日
状态
经核准的
{1..n}子集的最大反链数。
+10
18
1, 2, 3, 7, 29, 376, 31746, 123805914
抵消
0,2
评论
如果没有元素是其他元素的子集,那么集合系统(集合集)就是反链。
链接
德米特里·伊格纳托夫,关于集分格中(最大)反链个数的注记收录于:Ojeda-Aciego,M.、Sauerwald,K.、Jäschke,R.(编辑)《基于图形的表示和推理》。ICCS 2023。计算机科学讲义()。查姆施普林格。
德米特里·伊格纳托夫,关于n到7的布尔格中最大反链的个数Lobachevskii J.数学。,44 (2023), 137-146.
配方奶粉
对于n>0,a(n)=A326359型(n) +1。
例子
a(0)=1到a(3)=7最大反链:
{} {} {} {}
{1} {12} {123}
{1}{2} {1}{23}
{2}{13}
{3}{12}
{1}{2}{3}
{12}{13}{23}
数学
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]]];
fasmax[y_]:=补[y,并@@(大多数[子集[#]]&/@y)];
表[Length[fasmax[stableSets[Subsets[Range[n]],SubsetQ]],{n,0,5}]
(*或者*)
maxachP[n_]:=查找独立顶点集[
展平[Map[Function[s,Map[#\[DirectedEdge]s&,Most[Subsets[s]]],
子集[Range[n]]],无限,全部];
表[长度[maxachP[n]],{n,0,6}](*马穆卡·吉卜拉泽2021年1月25日*)
黄体脂酮素
(GAP)装载包装(“葡萄”);
maxachP:=函数(n)局部g,g;
g: =图(群(()),组合([1..n]),函数(x,g)返回x;结束,
函数(x,y)返回的不是IsSubset(x,y),也不是IsSubset(y,x);end,true);
G: =AutGroupGraph(G);
return Sum(CompleteSubgraph(NewGroupGraph(G,G),-1,2),
函数(c)返回长度(轨道(G,c,OnSets));结束);
结束;
列表([0..7],maxachP)#马穆卡·吉卜拉泽2021年1月26日
交叉参考
集合的反链是A000372号.
最小覆盖反链为A046165号.
最大交叉反链为A007363号.
非空集的最大反链为A326359型.
关键字
非n,更多
作者
古斯·怀斯曼2019年7月1日
扩展
a(6)-a(7)来自马穆卡·吉卜拉泽2021年1月26日
状态
经核准的
n点上的最大自对偶反链。
(原名M2505)
+10
15
0, 1, 3, 5, 20, 168, 11748, 12160647
抵消
1,3
评论
发件人古斯·怀斯曼2019年7月2日:(开始)
如果自对偶意味着(两两)相交,那么a(n)是{1..(n-1)}的非空子集的最大相交反链数。如果没有部分是任何其他部分的子集,则集合集是反链,如果没有两个部分不相交,则集合集是相交的。例如,a(2)=1到a(5)=20最大交叉反链为:
{1} {1} {1} {1}
{2} {2} {2}
{12} {3} {3}
{123} {4}
{12}{13}{23} {1234}
{12}{13}{23}
{12}{14}{24}
{13}{14}{34}
{23}{24}{34}
{12}{134}{234}
{13}{124}{234}
{14}{123}{234}
{23}{124}{134}
{24}{123}{134}
{34}{123}{124}
{12}{13}{14}{234}
{12}{23}{24}{134}
{13}{23}{34}{124}
{14}{24}{34}{123}
{123}{124}{134}{234}
(结束)
参考文献
N.J.A.Sloane和Simon Plouffe,《整数序列百科全书》,学术出版社,1995年(包括该序列)。
链接
丹尼尔·勒布,关于博弈、投票方案和分配格LaBRI报告625-93,波尔多大学,1993年。[断开的链接]
配方奶粉
对于n>0,a(n)=A326363型(n-1)-1=A326362型(n-1)+n-1-古斯·怀斯曼2019年7月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]]];
fasmax[y_]:=补[y,并@@(大多数[子集[#]]&/@y)];
表[Length[fasmax[stableSets[Subsets[Range[n],{1,n}],Or[Intersection[#1,#2]=={},SubsetQ[#1、#2]]&]]],{n,0,5}](*古斯·怀斯曼2019年7月2日*)
(*第二个项目*)
n=2^6;g=CompleteGraph[n];i=0;
While[i<n,i++;j=i;While[j<n,j++;If[BitAnd[i,j]==0|| BitAnd[i,j]==i|| Bit And[i,j]==j,g=边删除[g,i<->j]]];
sets=FindClique[g,Infinity,All];
长度[套]-1(*以利亚·贝列戈夫斯基2020年5月6日*)
交叉参考
交叉反链A326372型.
非空集合的相交反链是A001206号.
未标记的交叉反链是A305857型.
非空集的最大反链为A326359型.
允许有空边的情况是A326363型.
关键字
非n,更多
作者
扩展
a(8)来自以利亚·贝列戈夫斯基2020年5月6日
状态
经核准的
{1..n}的非空子集的最大反链数。
+10
13
1, 1, 2, 6, 28, 375, 31745, 123805913
抵消
0,3
评论
如果没有元素是其他元素的子集,那么集合系统(集合集)就是反链。
链接
德米特里·伊格纳托夫,关于n到7的布尔格中最大反链的个数Lobachevskii J.数学。,44 (2023), 137-146.
配方奶粉
对于n>0,a(n)=362358英镑(n) -1。
例子
a(0)=1到a(4)=28反链:
{} {1} {12} {123} {1234}
{1}{2} {1}{23} {1}{234}
{2}{13} {2}{134}
{3}{12} {3}{124}
{1}{2}{3} {4}{123}
{12}{13}{23} {1}{2}{34}
{1}{3}{24}
{1}{4}{23}
{2}{3}{14}
{2}{4}{13}
{3}{4}{12}
{1}{2}{3}{4}
{12}{134}{234}
{13}{124}{234}
{14}{123}{234}
{23}{124}{134}
{24}{123}{134}
{34}{123}{124}
{1}{23}{24}{34}
{2}{13}{14}{34}
{3}{12}{14}{24}
{4}{12}{13}{23}
{12}{13}{14}{234}
{12}{23}{24}{134}
{13}{23}{34}{124}
{14}{24}{34}{123}
{123}{124}{134}{234}
{12}{13}{14}{23}{24}{34}
数学
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]]];
fasmax[y_]:=补[y,并@@(大多数[子集[#]]&/@y)];
表[Length[fasmax[stableSets[Subsets[Range[n],{1,n}],SubsetQ]],{n,0,5}]
交叉参考
非空集的反链是A014466号.
最小覆盖反链为A046165号.
最大交叉反链为A007363号.
集合的最大反链为362358英镑.
关键字
非n,更多
作者
古斯·怀斯曼2019年7月1日
扩展
a(6)来自安德鲁·霍罗伊德2019年8月14日
a(7)来自德米特里·伊格纳托夫2021年10月12日
状态
经核准的
覆盖n个顶点的集合的最大交叉反链数,没有单点。
+10
13
1, 1, 1, 2, 12, 133, 11386, 12143511
抵消
0,4
评论
覆盖意味着没有孤立的顶点。如果没有任何部分是任何其他部分的子集,则集合系统(集合集)是反链的,如果没有两个部分不相交,则是相交的。
例子
a(4)=12反链:
{{1,2,3,4}}
{{1,2},{1,3,4},{2,3,4}}
{{1,3},{1,2,4},{2,3,4}}
{{1,4},{1,2,3},{2,3,4}}
{{2,3},{1,2,4},{1,3,4}}
{{2,4},{1,2,3},{1,3,4}}
{{3,4},{1,2,3},{1,2,4}}
{{1,2},{1,3},{1,4},{2,3,4}}
{{1,2},{2,3},{2,4},{1,3,4}}
{{1,3},{2,3},{3,4},{1,2,4}}
{{1,4},{2,4},{3,4},{1,2,3}}
{{1,2,3},{1,2,4},{1,3,4},{2,3,4}}
数学
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]]];
fasmax[y_]:=补[y,并@@(大多数[子集[#]]&/@y)];
表[Length[fasmax[Select[stableSets[Subsets[Range[n]],Or[Intersection[#1,#2]=={},SubsetQ[#1、#2]]&],Union@@#==Range[n]&]],{n,0,5}]
(*第二个项目*)
n=2^6;g=CompleteGraph[n];i=0;
While[i<n,i++;j=i;While[j<n,j++;If[BitAnd[i,j]==0|| BitAnd[i,j]==i|| Bit And[i,j]==j,g=边删除[g,i<->j]]];
sets=选择[FindClique[g,Infinity,All],BitOr@@#=n-1&];
长度[套](*以利亚·贝列戈夫斯基2020年5月5日*)
交叉参考
非空非单集的反链是A307249型.
最小覆盖反链为A046165美元.
最大交叉反链为A007363号.
非空集的最大反链为A326359型.
关键字
非n,更多
作者
古斯·怀斯曼2019年7月1日
扩展
a(6)-a(7)来自以利亚·贝列戈夫斯基2020年5月5日
状态
经核准的
{1..n}的非空非单个子集的最大交叉反链数。
+10
12
1, 1, 1, 2, 16, 163, 11742, 12160640
抵消
0,4
评论
如果没有任何部分是任何其他部分的子集,则集合系统(集合集)是反链的,如果没有两个部分不相交,则是相交的。
配方奶粉
对于n>1,a(n)=A326363型(n) -n-1个=A007363号(n+1)-编号。
例子
a(4)=16个最大相交反链:
{{1,2,3,4}}
{{1,2},{1,3},{2,3}}
{{1,2},{1,4},{2,4}}
{{1,3},{1,4},{3,4}}
{{2,3},{2,4},{3,4}}
{{1,2},{1,3,4},{2,3,4}}
{{1,3},{1,2,4},{2,3,4}}
{{1,4},{1,2,3},{2,3,4}}
{{2,3},{1,2,4},{1,3,4}}
{{2,4},{1,2,3},{1,3,4}}
{{3,4},{1,2,3},{1,2,4}}
{{1,2},{1,3},{1,4},{2,3,4}}
{{1,2},{2,3},{2,4},{1,3,4}}
{{1,3},{2,3},{3,4},{1,2,4}}
{{1,4},{2,4},{3,4},{1,2,3}}
{{1,2,3},{1,2,4},{1,3,4},{2,3,4}}
数学
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]]];
fasmax[y_]:=补[y,并@@(大多数[子集[#]]&/@y)];
表[Length[fasmax[stableSets[Subsets[Range[n],{2,n}],Or[Intersection[#1,#2]=={},SubsetQ[#1、#2]]&]]],{n,0,5}]
(*第二个项目*)
n=2^6;g=CompleteGraph[n];i=0;
While[i<n,i++;j=i;While[j<n,j++;If[BitAnd[i,j]==0|| BitAnd[i,j]==i|| Bit And[i,j]==j,g=边删除[g,i<->j]]];
sets=FindClique[g,Infinity,All];
长度[sets]-对数[2,n]-1(*以利亚·贝列戈夫斯基2020年5月6日*)
交叉参考
非空非单集的反链是A307249型.
最小覆盖反链为A046165号.
最大交叉反链为A007363号.
非空集的最大反链为A326359型.
关键字
非n,更多
作者
古斯·怀斯曼2019年7月1日
扩展
a(7)来自以利亚·贝列戈夫斯基2020年5月6日
状态
经核准的
{1,…,n}非空子集的非同构反链数。
+10
11
1, 2, 4, 9, 29, 209, 16352, 490013147, 1392195548889993357, 789204635842035040527740846300252679
抵消
0,2
评论
跨越情况是A006602号A261005型。标记的案例是A014466号.
发件人Petros Hadjicostas公司2020年4月22日:(开始)
a(n)是n个因子上对数线性层次模型的“类型”数科林·马尔洛(请参阅发送给的电子邮件N.J.A.斯隆).
关于n个因子的两个层次模型属于同一“类型”,只要通过因子的置换可以从另一个模型中获得一个。
n个因子(在所有“类型”中)的分层对数线性模型的总数如下所示A014466号(n)=A000372号(n) -1。
因子层次对数线性模型的名称基于最大交互项的集合,该项必须是反链(根据最大性的定义)。
在第1页的例子中,科林·马尔洛将分组A014466号(3) =19个n=3个因子x,y,z的分层对数线性模型转化为a(3)=9种类型。有关更多详细信息,请参阅下面的示例。(结束)
第一个不同于A348260型(n+1)-1,a(5)=209,A348260型(6) - 1 = 232. -古斯·怀斯曼2021年11月28日
链接
R.I.P.Wickramasinghe,对数线性模型中的主题,德克萨斯理工大学统计学硕士论文,德克萨斯州卢伯克,2008年,第36页。
配方奶粉
a(n)=A003182号(n) -1。
的部分总和A006602号减1。
例子
a(0)=1到a(3)=9反链的非同构代表:
{} {} {} {}
{{1}} {{1}} {{1}}
{{1,2}} {{1,2}}
{{1},{2}} {{1},{2}}
{{1,2,3}}
{{1},{2,3}}
{{1},{2},{3}}
{{1,3},{2,3}}
{{1,2},{1,3},{2,3}}
发件人Petros Hadjicostas公司2020年4月23日:(开始)
我们扩张科林·马尔洛他的例子来自他1991年电子邮件列表的第1页。对于n=3,我们有以下a(3)=9“类型”的对数线性层次模型:
类型1:(),类型2:(x),(y),(z),类型3:(x,y)。
对于每个模型,名称只包含最大项。参见Wickramasinghe(2008)第36页,了解19种型号的完整描述。
严格地说,我应该使用集合表示法(而不是括号)来表示每个模型的名称,但我遵循对数线性模型理论的传统。此外,在诸如xy这样的相互作用项中,因子的顺序是无关的。
同一类型的模型基本上具有相似的统计特性。
例如,类型7中的模型具有这样的特性:给定第三个因子的每个级别(=类别),两个因子在条件上相互独立。
类型6中的模型使两个因素与第三个因素共同独立。(结束)
关键字
非n,更多
作者
古斯·怀斯曼2019年2月20日
扩展
a(8)来自A003182号. -巴托洛米耶·帕维尔斯基,2022年11月27日
a(9)来自A003182号. -德米特里·伊格纳托夫2023年11月27日
状态
经核准的
{1..n}的非空非单个子集的最大反链数。
+10
9
1, 1, 1, 2, 13, 279, 29820, 123590767
抵消
0,4
评论
如果没有元素是其他元素的子集,那么集合系统(集合集)就是反链。
链接
德米特里·伊格纳托夫,关于n到7的布尔格中最大反链的个数Lobachevskii J.数学。,44 (2023), 137-146.
德米特里·伊格纳托夫,支持iPython笔记本的PDF版本
配方奶粉
a(n)=和{k=0..n}(-1)^(n-k)*二项式(n,k)*A326359型(k) 对于n>=2-安德鲁·霍罗伊德2021年11月19日
例子
a(1)=1到a(4)=13最大反链:
{} {12} {123} {1234}
{12}{13}{23} {12}{134}{234}
{13}{124}{234}
{14}{123}{234}
{23}{124}{134}
{24}{123}{134}
{34}{123}{124}
{12}{13}{14}{234}
{12}{23}{24}{134}
{13}{23}{34}{124}
{14}{24}{34}{123}
{123}{124}{134}{234}
{12}{13}{14}{23}{24}{34}
数学
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]]];
fasmax[y_]:=补[y,并@@(大多数[子集[#]]&/@y)];
表[Length[fasmax[stableSets[Subsets[Range[n],{2,n}],SubsetQ]],{n,0,4}]
黄体脂酮素
(Python)
#参见Ignatov链接
交叉参考
非空非单集的反链是A307249型.
最小覆盖反链为A046165号.
最大交叉反链为A007363号.
非空集的最大反链为A326359型.
关键字
非n,更多
作者
古斯·怀斯曼2019年7月1日
扩展
a(6)来自安德鲁·霍罗伊德2019年8月14日
a(7)来自德米特里·伊格纳托夫2021年10月14日
状态
经核准的
包含n个顶点的具有空交点的相交反链数(意味着所有边都没有共同的顶点)。
+10
5
1, 0, 0, 1, 23, 1834, 1367903, 229745722873, 423295077919493525420
抵消
0,5
评论
覆盖意味着没有孤立的顶点。如果没有任何部分是任何其他部分的子集,则集合系统(集合集)是反链的,如果没有两个部分不相交,则是相交的。
例子
a(4)=23条交叉反链与空交叉:
{{1,2},{1,3},{2,3,4}}
{{1,2},{1,4},{2,3,4}}
{{1,2},{2,3},{1,3,4}}
{{1,2},{2,4},{1,3,4}}
{{1,3},{1,4},{2,3,4}}
{{1,3},{2,3},{1,2,4}}
{{1,3},{3,4},{1,2,4}}
{{1,4},{2,4},{1,2,3}}
{{1,4},{3,4},{1,2,3}}
{{2,3},{2,4},{1,3,4}}
{{2,3},{3,4},{1,2,4}}
{{2,4},{3,4},{1,2,3}}
{{1,2},{1,3,4},{2,3,4}}
{{1,3},{1,2,4},{2,3,4}}
{{1,4},{1,2,3},{2,3,4}}
{{2,3},{1,2,4},{1,3,4}}
{{2,4},{1,2,3},{1,3,4}}
{{3,4},{1,2,3},{1,2,4}}
{{1,2},{1,3},{1,4},{2,3,4}}
{{1,2},{2,3},{2,4},{1,3,4}}
{{1,3},{2,3},{3,4},{1,2,4}}
{{1,4},{2,4},{3,4},{1,2,3}}
{{1,2,3},{1,2,4},{1,3,4},{2,3,4}}
数学
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[Select[stableSets[Subsets[Range[n],{1,n}],Or[Intersection[#1,#2]=={},SubsetQ[#1、#2]]&],And[Union@@#==Range[n],#=={{}|| Intersection@@#={}]&]],{n,0,4}]
交叉参考
交叉防链盖A305844型.
交叉口为空的交叉口盖板A326364型.
带有空交叉口的防链罩A305001型.
二项式变换是非覆盖情况A326366飞机.
具有空交点的覆盖、交叉反链是A326365型.
关键字
非n,更多
作者
古斯·怀斯曼2019年7月1日
扩展
a(7)-a(8)来自安德鲁·霍罗伊德2019年8月14日
状态
经核准的

搜索在0.014秒内完成

查找|欢迎光临|维基|注册|音乐|地块2|演示|索引|浏览|网络摄像头
贡献新序列。或评论|格式|样式表|变换|超级搜索|最近
OEIS社区|维护人OEIS基金会。

许可协议、使用条款、隐私政策。.

上次修改时间:美国东部夏令时2024年9月21日14:18。包含376087个序列。(在oeis4上运行。)