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

 

标志
提示
(来自的问候整数序列在线百科全书!)
搜索: a326878-编号:a326876
显示找到的23个结果中的1-10个。 第页12
    排序:关联|参考文献||被改进的|已创建     格式:长的|短的|数据
A000798号 带有n个标记元素的不同拟序(或拓扑,或传递有向图)的数量。
(原名M3631 N1476)
+10
82
1, 1, 4, 29, 355, 6942, 209527, 9535241, 642779354, 63260289423, 8977053873043, 1816846038736192, 519355571065774021, 207881393656668953041, 115617051977054267807460, 88736269118586244492485121, 93411113411710039565210494095, 134137950093337880672321868725846, 261492535743634374805066126901117203 (列表;图表;参考文献;;历史;文本;内部格式)
抵消
0,3
评论
发件人阿尔图·阿尔坎2015年12月18日和2017年2月28日:(开始)
对于所有素数p,a(p^k)==k+1(mod p)。Kizmaz在On The Number Of Topologies On a Finite Set link上证明了这一点。有关证明,请参见第2页和第3页的定理2.4。因此a(19)==2(mod 19)。
a(p+n)==A265042型(n) 所有素数p的(mod p)。Kizmaz在相关链接中也证明了这一点,见第4页的定理2.7。如果n=2且p=17,a(17+2)==A265042型(2) (mod 17),即a(19)==51(mod十七)。所以a(19)可以被17整除。
总之,a(19)是323*n-17形式的数。(结束)
没有空集的有限拓扑的BII数由下式给出A326876型. -古斯·怀斯曼2019年8月1日
发件人田·弗拉西奇2022年2月23日:(开始)
虽然a(n)没有通用公式,但通过考虑具有固定数量开集的拓扑的数量,可以用第二类斯特林数显式地表示序列。
例如:a(n,3)=2*S(n,2),a(n,4)=S(n,2)+6*S(n,3),a(n,5)=6*S(n,3)+24*S(n,4)。
上下限已知:2^n<=a(n)<=2^(n*(n-1)),n>1。
这是因为在含有n个元素的集合上存在2^(n*(n-1))自反关系。
此外:a(n+1)<=a(n)*(3a(n)+1)。(结束)
参考文献
K.K.-H.Butler和G.Markowsky,有限拓扑的枚举,Proc。第四届S-E Conf.Combinan.,图论,计算,国会。数字。8 (1973), 169-184.
S.D.Chatterji,n点上的拓扑数,手稿,1966年。
L.Comtet,《高级组合数学》,Reidel,1974年,第229页。
库珀,有限偏序集的表示与生成,手稿,无日期。
E.N.Gilbert,部分订购系统目录,未出版备忘录,1961年8月8日。
F.Harary和E.M.Palmer,《图形计数》,纽约学术出版社,1973年,第243页。
莱文森,H。;Silverman,R.有限集上的拓扑。二、。《第十届东南组合数学、图论和计算会议论文集》(佛罗里达大西洋大学,佛罗里达州博卡拉顿,1979年),第699-712页,国会。数字。,XXIII-XIV,实用数学。,温尼伯,曼彻斯特,1979年。MR0561090(81c:54006)
N.J.A.Sloane,《整数序列手册》,学术出版社,1973年(包括该序列)。
N.J.A.Sloane和Simon Plouffe,《整数序列百科全书》,学术出版社,1995年(包括该序列)。
有关拓扑和偏序集枚举的更多参考,请参阅下的A001035号.
G.H.Patil和M.S.Chaudhary,有限集上拓扑的递归确定,《印度纯粹与应用数学杂志》,第26期,第2期(1995年),143-148。
链接
V.I.Arnautov和A.V.Kochina,在有限集上构造拓扑的一点展开式的方法及其应用,灯泡。阿卡德。污迹斑驳。摩尔达夫。马特姆。3 (64) (2010) 67-76.
穆萨·贝努姆哈尼,有限集上的拓扑数《整数序列杂志》,第9卷(2006年),第06.2.6条。
穆萨·贝努姆哈尼和阿里·贾巴拉,映射格中的链与有限模糊拓扑空间《组合理论杂志》,A辑(2019),第161卷,第99-111页。
M.Benoumhani和M.Kolli,有限拓扑和分区,JIS 13(2010)#10.3.5。
Juliana Bowles和Marco B.Caminati,一种枚举事件结构的验证算法,arXiv:1705.07228[cs.LO],2017年。
Gunnar Brinkmann和Brendan D.McKay,最多16分的姿势.
G.Brinkmann和B.D.McKay,最多16个点的姿势,第19(2)号命令(2002)147-179(表IV)。
J.I.Brown和S.Watson,拓扑在n点上的补数至少为2^n(某些特殊情况除外),离散。数学。,154 (1996), 27-39.
K.K.-H.Butler和G.Markowsky,有限拓扑的枚举,程序。第四届S-E Conf.Combinan.,图论,计算,国会。数字。8 (1973), 169-184.
K.K.-H.Butler和G.Markowsky,有限拓扑的枚举,程序。第四届S-E Conf.Combinan.,图论,计算,国会。数字。8 (1973), 169-184. [仅第180和183页的注释扫描]
S.D.Chatterji,n个点上的拓扑数,手稿,1966年[带注释的扫描件]
Tyler Clark和Tom Richmond,有限全序集上凸拓扑的个数2013年,《参与》,第8卷(2015),第1期,25-32。
E.D.Cooper,有限偏序集的表示与生成,手稿,无日期[带注释的扫描副本]
埃尔内先生,Struktur-und Anzahlformeln für拓扑auf Endlichen Mengen,手稿数学。,11 (1974), 221-259.
埃尔内先生,Struktur-und Anzahlformeln für拓扑auf Endlichen Mengen,手稿数学。,11 (1974), 221-259. (带注释的扫描副本)
M.Erné和K.Stege,部分排序(标记)集的数量,预印本,1989年。(带注释的扫描副本)
M.Erné和K.Stege,有限偏序集和拓扑的计数,命令,8(1991),247-265。
J.W.Evans、F.Harary和M.S.Lynn,有限拓扑的计算机枚举,公社。ACM,10(1967),295-297313。[带注释的扫描副本]
J.W.Evans、F.Harary和M.S.Lynn,有限拓扑的计算机枚举,公社。ACM,10(1967),295-297313。
S.R.Finch,传递关系、拓扑和偏序,2003年6月5日。[经作者许可,缓存副本]
L.Foissy、C.Malvenuto和F.Patras,B_无穷代数及其包络代数和有限空间,arXiv预印本arXiv:1403.7488[数学.AT],2014。
洛伊克·福西、克劳迪娅·马文努托和弗雷德里克·帕特拉斯,无穷小代数和B_无穷代数、有限空间和拟对称函数《纯粹与应用代数杂志》,爱思唯尔出版社,2016年,220(6),第2434-2458页<hal-00967351v2>。
L.Foissy和C.Malvenuto,有限拓扑的Hopf代数和T划分,arXiv预印本arXiv:1407.0476[math.RA],2014。
乔尔·盖伊和文森特·皮劳,Weyl偏序集的弱序,arXiv:1804.06572[math.CO],2018年。
E.N.吉尔伯特,部分有序系统目录,未发表备忘录,1961年8月8日。[带注释的扫描副本]
S.Giraudo、J.-G.Luque、L.Mignot和F.Nicart,操作数、拟序和正则语言,arXiv预印本arXiv:1401.2010[cs.FL],2014。
D.J.Greenhoe,具有幂三角形不等式的距离空间的性质,ResearchGate,2015年。
J.Heitzig和J.Reinhold,十四个元素上未标记的订单数,第17(2000)号令第4号,第333-341条。
汉诺威大学数学研究所,Erne/Heitzig/Reinhold论文
G.A.Kamel,有限集上的部分链拓扑《计算与应用数学杂志》。第1卷,第4期,2015年,第174-179页。
Dongseok Kim、Young Soo Kwon和Jaeun Lee,与有限图相关的有限拓扑的枚举,arXiv预印本arXiv:1206.0550【math.CO】,2012年。
M.Y.Kizmaz,关于有限集上拓扑的个数,arXiv预印本arXiv:1503.08359[math.NT],2015-2019。
D.A.克拉纳,分级偏序集的个数《组合理论》,6(1969),12-19。[带注释的扫描副本]
D.J.Kleitman和B.L.Rothschild,有限拓扑的数量,程序。阿默尔。数学。《社会学杂志》,25(1970),276-282。
Messaoud Kolli,有限集上拓扑枚举的直接初等方法《整数序列》,第10卷,2007年,第07.3.1条。
Messaoud Kolli,有限集上T_0-拓扑的基数《国际组合数学杂志》,第2014卷(2014年),文章编号798074,7页。
萨米·拉扎尔(Sami Lazaar)、胡塞姆·萨布里(Houssem Sabri)和兰达·塔哈里(Randa Tahri),Alexandroff空间某些拓扑性质的结构和数值研究,公牛。伊朗。数学。Soc.(2021)。
G.Pfeiffer,计算传递关系《整数序列杂志》,第7卷(2004年),第04.3.2条。
M.Rayburn,关于有限集的Borel域,程序。阿默尔。数学。。《社会学杂志》,19(1968),885-889。[带注释的扫描副本]
M.Rayburn和N.J.A.Sloane,通信,1974年
D.拉辛,更多信息和参考[断开的链接]
D.拉辛,更多信息和参考[缓存副本]
A.沙法特,关于有限集可定义的拓扑数,J.Austral。数学。《社会学杂志》,第8期(1968年),194-198年。[带注释的扫描副本]
A.沙法特,关于有限集可定义的拓扑数,J.Austral。数学。Soc.,8(1968年),194-198年。
N.J.A.斯隆,经典序列
彼得·斯坦巴赫,简单图形现场指南,第4卷,第8部分(关于本书第1、2、3、4卷,请参阅A000088号,A008406号,A000055号,A000664号
埃里克·斯瓦茨(Eric Swartz)和尼古拉斯·沃纳(Nicholas J.Werner),零模式矩阵环、有向图中的可达对和Sharp的拓扑不变量tau,arXiv:11709.05390[math.CO],2017年。
Wietske Visser、Koen V.Hindriks和Cathodilijn M.Jonker,基于目标的定性偏好系统, 2012.
J.A.Wright,共有718个6点拓扑、拟序和反图,预打印,1970年[带注释的扫描副本]
J.A.Wright,两篇相关摘要,1970年和1972年[带注释的扫描副本]
公式
a(n)=总和{k=0..n}箍筋2(n,k)*A001035号(k) ●●●●。
例如:A(exp(x)-1)其中A(x)是A001035号. -杰弗里·克雷策2014年7月28日
已知log_2(a(n))~n^2/4-田维拉西奇2022年2月23日
例子
发件人古斯·怀斯曼2019年8月1日:(开始)
a(3)=29拓扑如下(未显示空集):
{123} {1}{123} {1}{12}{123} {1}{2}{12}{123} {1}{2}{12}{13}{123}
{2}{123} {1}{13}{123} {1}{3}{13}{123} {1}{2}{12}{23}{123}
{3}{123} {1}{23}{123} {2}{3}{23}{123} {1}{3}{12}{13}{123}
{12}{123} {2}{12}{123} {1}{12}{13}{123} {1}{3}{13}{23}{123}
{13}{123} {2}{13}{123} {2}{12}{23}{123} {2}{3}{12}{23}{123}
{23}{123} {2}{23}{123} {3}{13}{23}{123} {2}{3}{13}{23}{123}
{3}{12}{123}
{3}{13}{123} {1}{2}{3}{12}{13}{23}{123}
{3}{23}{123}
(结束)
数学
Table[Length[Select[Subsets[Subsets[Range[n],{1,n}]],Union@@#=Range[n]&SubsetQ[#,Union[Union@@@Tuples[#,2],DeleteCases[Cintersection@@@Tuples[#,2],{}]]&]],{n,0,3}](*古斯·怀斯曼2019年8月1日*)
交叉参考
的行总和A326882型.
参见。A001035号(标记的偏序集),A001930号(未标记的拓扑),A000112号(未标记的偏序集),A006057号.
关键字
非n,美好的,核心,坚硬的
作者
扩展
Jobst Heitzig(Heitzig,AT)math.uni-hannover.de)的另外两个术语,2000年7月3日
a(17)-a(18)来自Brinkmann和McKay的论文-弗拉德塔·乔沃维奇2007年6月10日
状态
经核准的
A102896号 无零化子的n个生成元上的ACI代数(或半格)的数目。 +10
43
1, 2, 7, 61, 2480, 1385552, 75973751474, 14087648235707352472 (列表;图表;参考文献;;历史;文本;内部格式)
抵消
0.2个
评论
或者,n个集合上的摩尔族的数目,即包含泛集{1,…,n}并在交集下闭合的子集族。
或者,一组n个元素上的闭包运算符的数目。
ACI代数或半格是具有单个二进制、幂等元、交换和结合运算的系统。
另外,在并集下闭合的n个顶点上的集合系统数。这些集合系统的BII编号如下所示A326875型. -古斯·怀斯曼2019年7月31日
参考文献
G.Birkhoff,晶格理论。美国数学学会,学术讨论会出版物,第25卷,第3版,普罗维登斯,RI,1967年。
Maria Paola Bonacina和Nachum Dershowitz,含义系统的标准推理,自动推理,计算机科学讲义,第5195/2008卷,Springer-Verlag。
P.Colomb、A.Irland和O.Raynaud,《摩尔族n=7的计数》,形式概念分析国际会议(2010年)。【摘自Pierre Colomb(Pierre(AT)Colomb.me),2010年9月4日】
E.H.Moore,《一般分析形式导论》,AMS学术讨论会出版物2(1910),第53-80页。
链接
安德鲁·布隆伯格(Andrew J.Blumberg)、迈克尔·A·希尔(Michael A.Hill)、凯尔·奥姆斯比(Kyle Ormsby)、安吉丽卡·M·奥斯奥尔诺(Angélica M.Osorno)和康斯坦斯·罗伊茨海姆(Constanze Roitzheim),同源组合数学,通知Amer。数学。Soc.(2024)第71卷,第2期,260-266。见第261页。
Daniel Borchmann和Bernhard Ganter,概念格点Orbifolds-第一步《第七届形式概念分析国际会议论文集》(ICFCA 2009),22-37。
皮埃尔·科伦布(Pierre Colomb)、亚历克西斯·伊兰德(Alexis Irlande)、奥利维尔·雷诺德(Olivier Raynaud)和尤恩·雷诺(Yoan Renaud),关于co-Moore族格的递归分解.
皮埃尔·科伦布(Pierre Colomb)、亚历克西斯·伊兰德(Alexis Irlande)、奥利维尔·雷诺德(Olivier Raynaud)和尤恩·雷诺(Yoan Renaud),Moore共族递归分解树及其闭包算法《数学与人工智能年鉴》,2013年,DOI 10.1007/s10472-013-9362-x。
Nachum Dershowitz、Mitchell A.Harris和Guan-Shieng Huang,与接地喇叭理论相关的计数问题,arXiv:cs/0610054v2[cs.LO],2006-2008年。
Michel Habib和Lhouari Nourine,n=6的摩尔族数量,离散数学。,294 (2005), 291-296.
公式
a(n)=和{k=0..n}C(n,k)*A102894号(k) ,其中C(n,k)是二项式系数。
有关渐近特性,请参见A102897号.
a(n)=A102897号(n) /2-古斯·怀斯曼2019年7月31日
例子
发件人古斯·怀斯曼2019年7月31日:(开始)
a(0)=1到a(2)=7集合系统在联合下关闭:
{} {} {}
{{1}} {{1}}
{{2}}
{{1,2}}
{{1},{1,2}}
{{2},{1,2}}
{{1},{2},{1,2}}
(结束)
数学
表[Length[Select[Subsets[Subsets[Range[n],{1,n}]],SubsetQ[#,Union@@@Tuples[#,2]]&]],{n,0,3}](*古斯·怀斯曼2019年7月31日*)
交叉参考
对于联合关闭的机组系统:
-覆盖盒为A102894号.
-未标记的案例是193674英镑.
-交叉口下的案例也已结束A306445型.
-在重叠联合下关闭的机组系统A326866型.
-这些集合系统的BII编号如下所示A326875型.
关键字
非n,坚硬的,更多
作者
米奇·哈里斯2005年1月18日
扩展
N.J.A.斯隆2005年5月26日,从Habib等人的参考中增加了a(6)
来自的其他评论高德纳2005年7月1日
a(7)来自Pierre Colomb(Pierre(AT)Colomb.me),2010年9月4日
状态
经核准的
A001930号 具有n个未标记节点的拓扑或传递有向图的数量。
(原名M2817 N1133)
+10
33
1, 1, 3, 9, 33, 139, 718, 4535, 35979, 363083, 4717687, 79501654, 1744252509, 49872339897, 1856792610995, 89847422244493, 5637294117525695 (列表;图表;参考文献;;历史;文本;内部格式)
抵消
0,3
参考文献
Loic Foissy,Claudia Malvenuto,Frederic Patras,无穷小代数和B_无穷代数,有限空间和拟对称函数,《纯粹和应用代数杂志》,Elsevier,2016,220(6),第2434-2458页<hal-00967351v2>。
F.Harary和E.M.Palmer,《图形计数》,学术出版社,纽约,1973年,第218页(但最后一项是错误的)。
M.Kolli,《关于有限集上T_0拓扑的基数》,Preprint,2014年。
N.J.A.Sloane,《整数序列手册》,学术出版社,1973年(包括该序列)。
N.J.A.Sloane和Simon Plouffe,《整数序列百科全书》,学术出版社,1995年(包括该序列)。
J.A.Wright,《共有718个6点拓扑、准序和反图》,Notices Amer。数学。Soc.,17(1970),第646页,摘要#70T-A106。
J.A.Wright,个人沟通。
有关拓扑和偏序集枚举的更多参考,请参阅下的A000112号A001035号.
链接
C.M.Bender等人。,组合数学与场论,arXiv:quant-ph/06041642006年。
穆萨·本努姆哈尼,有限集上的拓扑数《整数序列杂志》,第9卷(2006年),第06.2.6条。
M.Benoumhani、M.Kolli、,有限拓扑和分区,JIS 13(2010)#10.3.5
Gunnar Brinkmann和Brendan D.McKay,计算未标记拓扑和传递关系.
G.Brinkmann和B.D.McKay,计算未标记拓扑和传递关系《整数序列》,第8卷,2005年。
Gunnar Brinkmann和Brendan D.McKay,无标记拓扑和传递关系的计数《整数序列杂志》,第8卷(2005年),第05.2.1条。
K.K.-H.Butler和G.Markowsky,有限拓扑的枚举,程序。第四届S-E Conf.Combinan.,图论,计算,国会。数字。8 (1973), 169-184
K.K.-H.Butler和G.Markowsky,有限拓扑的枚举,程序。第四届S-E Conf.Combinan.,图论,计算,国会。数字。8 (1973), 169-184. [仅第180和183页的注释扫描]
P.J.Cameron,由寡态置换群实现的序列,J.集成。序号。第3卷(2000年),第00.1.5号。
S.R.Finch,传递关系、拓扑和偏序2003年6月5日。[经作者许可,缓存副本]
L.Foissy、C.Malvenuto、F.Patras、,B_无穷代数及其包络代数和有限空间,arXiv预印arXiv:1403.74882014
Dongseok Kim、Young Soo Kwon和Jaeun Lee,与有限图相关的有限拓扑的枚举,arXiv预印本arXiv:1206.0550,2012.-发件人N.J.A.斯隆2012年11月9日
Messaoud Kolli,有限集上拓扑枚举的直接初等方法《整数序列》,第10卷,2007年,第07.3.1条。
G.Pfeiffer,计算传递关系,预印本,2004年。
G.Pfeiffer,计算传递关系《整数序列杂志》,第7卷(2004年),第04.3.2条。
D.拉辛,进一步信息和参考资料[断开的链接]
D.拉辛,更多信息和参考[缓存副本]
小亨利·夏普。,有限集上的拟序和拓扑《美国数学学会学报》17.6(1966):1344-1349。[带注释的扫描副本]
N.J.A.斯隆,经典序列
彼得·斯坦巴赫,简单图形现场指南,第4卷,第8部分(有关本书第1、2、3、4卷,请参阅A000088号,A008406号,A000055号,A000664号
埃里克·斯瓦茨(Eric Swartz)、尼古拉斯·沃纳(Nicholas J.Werner)、,零模式矩阵环、有向图中的可达对和Sharp的拓扑不变量tau,arXiv:1709.05390[math.CO],2017年。
J.M.Tangen和N.J.A.Sloane,通信,1976-1976
R.H.Warren,拓扑的数量休斯顿J.数学。,8(1982年第2期),297-301。提到a(4)=33。[带注释的扫描副本]
埃里克·魏斯坦的数学世界,有向图拓扑。
R.H.Warren,拓扑的数量休斯顿J.数学。,8(1982年第2期),297-301。提到a(4)=33。[带注释的扫描副本]
维基百科拓扑空间
J.A.Wright,共有718个6点拓扑、拟序和反图,预打印,1970年[带注释的扫描副本]
例子
发件人古斯·怀斯曼,2019年8月2日:(开始)
a(0)=1到a(3)=9拓扑的非同构代表:
{}{1}{}{12}{}{123}
{}{2}{12} {}{3}{123}
{}{1}{2}{12} {}{23}{123}
{}{1}{23}{123}
{}{3}{23}{123}
{}{2}{3}{23}{123}
{}{3}{13}{23}{123}
{}{2}{3}{13}{23}{123}
{}{1}{2}{3}{12}{13}{23}{123}
(结束)
交叉参考
参见。A000798号(标记的拓扑),A001035号(标记偏序集),A001930号(未标记的拓扑),A000112号(未标记偏序集),A006057号,A001928号,A001929号.
只有工会的情况是A108798号.
只有交叉点的情况是(也)A108798号.
部分金额为A326898型(非覆盖外壳)。
关键字
非n,坚硬的,更多,美好的
作者
扩展
a(8)-a(12)摘自Goetz Pfeiffer(Goetz.Pfeiffer(AT)nuigalway.ie),2004年1月21日
a(13)-a(16)摘自Brinkmann和McKay的论文,由弗拉德塔·乔沃维奇2006年1月4日
状态
经核准的
A306445型 {1,2,…,n}的子集在并集和交集下闭合的集合的数目。 +10
31
2, 4, 13, 74, 732, 12085, 319988, 13170652, 822378267, 76359798228, 10367879036456, 2029160621690295, 565446501943834078, 221972785233309046708, 121632215040070175606989, 92294021880898055590522262, 96307116899378725213365550192, 137362837456925278519331211455157, 266379254536998812281897840071155592 (列表;图表;参考文献;;历史;文本;内部格式)
抵消
0,1
参考文献
R.Stanley,《枚举组合数学》,第1卷,第二版,练习3.46。
链接
公式
a(n)=1+求和{d=0..n}求和{i=d.n}C(n,i)*C(i,i-d)*A000798号(d) ●●●●。(接下来是对集合中的最大集合和最小集合进行个案处理。)
例如:exp(x)+exp(x)^2*B(exp(×)-1),其中B(x)是A001035号(根据上述斯坦利参考)-杰弗里·克雷策2024年1月19日
例子
对于n=0,空集合和仅包含空集合的集合都是有效的。
对于n=1,2^(2^1)=4个可能的集合也都在并集和交集下闭合。
对于n=2,只有3个无效集合,即既包含{1}又包含{2},但不包含{1,2}和空集的集合。因此,有2^(2^2)-3=13个有效集合。
发件人古斯·怀斯曼2019年7月31日:(开始)
a(0)=2到a(4)=13组集合:
{} {} {}
{{}} {{}} {{}}
{{1}} {{1}}
{{},{1}} {{2}}
{{1,2}}
{{},{1}}
{{},{2}}
{{},{1,2}}
{{1},{1,2}}
{{2},{1,2}}
{{},{1},{1,2}}
{{},{2},{1,2}}
{{},{1},{2},{1,2}}
(结束)
数学
表[Length[Select[Subsets[Subsets[Range[n]]],SubsetQ[#,Union[Union@@Tuples[#,2],Intersection@@Tuples[#,2]]&]],{n,0,3}](*古斯·怀斯曼2019年7月31日*)
A000798号=案例[导入[“网址:https://oeis.org/A000798号/b000798.txt“,”表格“],{_,_}][[全部,2];
a[n_]:=1+总和[二项式[n,i]*二项式[i,i-d]*A000798号[[d+1]],{d,0,n},{i,d,n}];
a/@范围[0,长度[A000798号] - 1] (*Jean-François Alcover公司2019年12月30日*)
黄体脂酮素
(Python)
导入数学
#顺序A000798号
拓扑=[1、1、4、29、355、6942、209527、9535241、642779354、63260289423、8977053873043、1816846038736192、519355571065774021、20788139365668953041、115617051977054267807460、8873626911858624492485121、93411134117100395210494095、1341379500933780676721868725846、26149253574343748050660117203]
定义nCr(n,r):
return math.阶乘(n)//(math.factorial(r)*math.factorial(n-r))
对于范围内的n(len(topo)):
ans=1
对于范围(n+1)中的d:
对于范围(d,n+1)中的i:
ans+=nCr(n,i)*nCr(i,i-d)*topo[d]
打印(n,ans)
交叉参考
带有{}的覆盖盒是A000798号.
仅在工会下结案的案件是A102897号.
仅在交集下关闭的案例是(也是)A102897号.
这些集合系统的BII编号为A326876型.
关键字
非n
作者
袁瑶2019年2月15日
扩展
a(16)-a(18)来自A000798号通过Jean-François Alcover公司2019年12月30日
状态
经核准的
A102895号 无单位元的n个生成元上的ACI代数或半格的个数。 +10
22
1, 2, 8, 90, 4542, 2747402, 151930948472, 28175295407840207894 (列表;图表;参考文献;;历史;文本;内部格式)
抵消
0.2个
评论
ACI代数或半格是具有单个二进制、幂等元、交换和结合运算的系统。
或者,{1,…,n}的子集在交集下闭合并包含空集的族数。
参考文献
G.Birkhoff,晶格理论。美国数学学会,学术讨论会出版物,第25卷,第3版,普罗维登斯,RI,1967年。
Maria Paola Bonacina和Nachum Dershowitz,含义系统的标准推理,自动推理,计算机科学讲义,第5195/2008卷,Springer-Verlag。
P.Colomb、A.Irland和O.Raynaud,《n=7的摩尔族计数》,形式概念分析国际会议(2010年)
E.H.Moore,《一般分析形式导论》,AMS学术讨论会出版物2(1910),第53-80页。
链接
N.Dershowitz、G.S.Huang和M.Harris,与接地喇叭理论相关的计数问题,arXiv:cs/0610054v2[cs.LO],2006-2008年。
M.Habib和L.Nourine,n=6的摩尔族数量,离散数学。,294 (2005), 291-296.
公式
有关渐近特性,请参见A102897号.
a(n>0)=2*A102894号(n) ●●●●。
例子
a(2)=8:让点标记为a、b,让0表示空集。我们需要{a,b}的子集集合的数量,这些子集在交集下是闭合的,并且包含空子集。0个子集:0路,1个子集:1路(0),2个子集:3路(0,a;0,b;0,ab),3个子集:3路(0,a,b;0,a,ab;0,b,ab),4个子集:1路(0,a,b,ab),共8路。
发件人古斯·怀斯曼,2019年8月2日:(开始)
在交集下闭合的a(0)=1到a(2)=8组带有{}的集合是:
{{}}{}}
{{},{1}} {{},{1}}
{{},{2}}
{{},{1,2}}
{{},{1},{2}}
{{},{1},{1,2}}
{{},{2},{1,2}}
{{},{1},{2},{1,2}}
(结束)
数学
表[Length[Select[Subsets[Subsets[Range[n]],MemberQ[#,{}]&&SubsetQ[#、Intersection@@@Tuples[#,2]&]],{n,0,3}](*古斯·怀斯曼2019年8月2日*)
交叉参考
相关情况(即最大值)为A102894号.
并集与交集相同A102896号.
未标记的版本为A108800型.
该案件也在工会下结案A326878型.
这些集合系统(不含空集合)的BII编号为A326880型.
覆盖盒为A326881型.
关键字
非n,坚硬的,更多
作者
米奇·哈里斯2005年1月18日
扩展
来自的其他评论高德纳2005年7月1日
将a(0)从2更改为1古斯·怀斯曼,2019年8月2日
状态
经核准的
A326876型 没有空集的有限拓扑的BII-数。 +10
21
0、1、2、4、5、6、7、8、16、17、24、25、32、34、40、42、64、65、66、68、69、70、71、72、76、80、81、82、85、87、88、89、93、96、97、98、102、103、104、106、110、120、121、122、127、128、256、257、384、385、512、514、640、642、1024、1025、1026、1028、1029、1030 (列表;图表;参考文献;;历史;文本;内部格式)
抵消
1,3
评论
有限拓扑是在并集和交集下闭合的有限集的有限集,包含{}和顶点集。
n的二进制索引是1在其反向二进制展开中的任何位置。n的二进制索引是A048793号我们定义了一个BII-数为n的集系统,它是通过取n的每个二进制索引的二进制索引来获得的。每个有限非空集的有限集具有不同的BII-号。例如,18具有反向二进制展开(0,1,0,0,1),并且由于2和5的二进制索引分别为{2}和{1,3},所以{{2}、{1,3{}的BII数为18。
有限拓扑的点数由下式给出A000798号.
链接
维基百科拓扑空间
例子
所有没有空集的有限拓扑及其BII编号的序列开始于:
0: {}
1: {{1}}
2: {{2}}
4: {{1,2}}
5:{{1},{1,2}}
6: {{2},{1,2}}
7: {{1},{2},{1,2}}
8: {{3}}
16: {{1,3}}
17: {{1},{1,3}}
24: {{3},{1,3}}
25: {{1},{3},{1,3}}
32: {{2,3}}
34: {{2},{2,3}}
40:{{3},{2,3}}
42: {{2},{3},{2,3}}
64: {{1,2,3}}
65: {{1},{1,2,3}}
66: {{2},{1,2,3}}
68: {{1,2},{1,2,3}}
69: {{1},{1,2},{1,2,3}}
数学
bpe[n_]:=连接@@Position[Reverse[IntegerDigits[n,2]],1];
选择[Range[0,100],SubsetQ[bpe/@bpe[#],Union[Union@@@Tuples[bpe@@bpe[#],2],DeleteCase[Intersection@@@Tubles[bpe/@bpe[#]、2],{}]&]
交叉参考
关键字
非n
作者
古斯·怀斯曼2019年7月29日
状态
经核准的
A006058号 具有n个点的已连接标记T_4拓扑的数量。
(原名M3030)
+10
18
1, 1, 3, 16, 145, 2111, 47624, 1626003, 82564031, 6146805142, 662718022355, 102336213875523, 22408881211102698, 6895949927379360277, 2958271314760111914191, 1756322140048351303019576 (列表;图表;参考文献;;历史;文本;内部格式)
抵消
0,3
评论
发件人古斯·怀斯曼,2019年8月5日:(开始)
对于n>0,也是覆盖{1..n}的拓扑数,其非空开集具有非空交集。还有覆盖{1..n}的拓扑数,其非空开集是成对相交的。例如,a(0)=1到a(3)=16拓扑(未显示空集)为:
{} {{1}} {{1,2}} {{1,2,3}}
{{1},{1,2}} {{1},{1,2,3}}
{{2},{1,2}} {{2},{1,2,3}}
{{3},{1,2,3}}
{{1,2},{1,2,3}}
{{1,3},{1,2,3}}
{{2,3},{1,2,3}}
{{1},{1,2},{1,2,3}}
{{1},{1,3},{1,2,3}}
{{2},{1,2},{1,2,3}}
{{2},{2,3},{1,2,3}}
{{3},{1,3},{1,2,3}}
{{3},{2,3},{1,2,3}}
{{1},{1,2},{1,3},{1,2,3}}
{{2},{1,2},{2,3},{1,2,3}}
{{3},{1,3},{2,3},{1,2,3}}
(结束)
参考文献
N.J.A.Sloane和Simon Plouffe,《整数序列百科全书》,学术出版社,1995年(包括该序列)。
链接
赫尔曼·贾姆克,n=0..19的n,a(n)表
埃尔内先生,Struktur-und Anzahlformeln für拓扑auf Endlichen Mengen,手稿数学。,11 (1974), 221-259.
埃尔内先生,Struktur-und Anzahlformeln für拓扑auf Endlichen Mengen,手稿数学。,11 (1974), 221-259. (带注释的扫描副本)
公式
来自Herman Jamke(hermanjamke(AT)fastmail.fm),2008年3月2日:(开始)
a(n)=和{k=0..n-1}二项式(n,k)*A000798号(k) 如果n>=1。
例如:Z4(x)=A(x)*(exp(x)-1)+1,其中A(xA000798号.(结束)
a(n)=A326909型(n)-A000798号(n) -古斯·怀斯曼2019年8月5日
数学
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[s稳定集[Subsets[Range[n],{1,n}],交集[#1,#2]={}&],并集@@#=Range[n]&子集Q[#,并集@@@Tuples[#,2],交集@@@Tuples[#,2]]]&]],{n,0,4}](*古斯·怀斯曼2019年8月5日*)
A000798号=追加[案例[导入[“网址:https://oeis.org/A000798号/b000798.txt“,”表格“],{_,_}][[全部,2],0];
a[n_]:=如果[n==0,1,和[二项式[n,k]A000798号[[k+1]],{k,0,n-1}]];
a/@范围[0,长度[A000798号]-1] (*Jean-François Alcover公司2020年1月1日*)
交叉参考
关键字
非n,美好的
作者
扩展
更多来自Herman Jamke(hermanjamke(AT)fastmail.fm)的条款,2008年3月2日
状态
经核准的
A326882型 按行读取的不规则三角形,其中T(n,k)是具有n个点和k个非空开集的有限拓扑的数目,0<=k<=2^n-1。 +10
14
1, 0, 1, 0, 1, 2, 1, 0, 1, 6, 9, 6, 6, 0, 1, 0, 1, 14, 43, 60, 72, 54, 54, 20, 24, 0, 12, 0, 0, 0, 1, 0, 1, 30, 165, 390, 630, 780, 955, 800, 900, 500, 660, 240, 390, 120, 190, 10, 100, 0, 60, 0, 0, 0, 20, 0, 0, 0, 0, 0, 0, 0, 1 (列表;图表;参考文献;;历史;文本;内部格式)
抵消
0,6
链接
安德鲁·霍罗伊德,n=0..254时的n,a(n)表
维基百科,拓扑空间
例子
三角形开始:
1
0 1
0 1 2 1
0 1 6 9 6 6 0 1
0 1 14 43 60 72 54 54 20 24 0 12 0 0 0 1
第n=3行统计以下拓扑:
{}{123} {}{1}{123} {}{1}{12}{123} {}{1}{2}{12}{123} {}{1}{2}{12}{13}{123}
{}{2}{123} {}{1}{13}{123} {}{1}{3}{13}{123} {}{1}{2}{12}{23}{123}
{}{3}{123}{}{1}{23}{123}{}{2}{3}{23}{123}{1}{3}{12}{13}{123}
{}{12}{123} {}{2}{12}{123} {}{1}{12}{13}{123} {}{1}{3}{13}{23}{123}
{}{13}{123} {}{2}{13}{123} {}{2}{12}{23}{123} {}{2}{3}{12}{23}{123}
{}{23}{123} {}{2}{23}{123} {}{3}{13}{23}{123} {}{2}{3}{13}{23}{123}
{}{3}{12}{123}
{}{3}{13}{123} {}{1}{2}{3}{12}{13}{23}{123}
{}{3}{23}{123}
数学
表[Length[Select[Subsets[Subsets[Range[n]],{k}],MemberQ[#,{}]和&MemberQ[#,Range[n]]和&SubsetQ[#,并集[并集@@@Tuples[#,2],交集@@@Tuples[#,2]]]和]],{n,0,4},{k,2^n}]
交叉参考
行长度为A000079号.
行总和为A000798号.
柱:A281774号以及其中的参考文献。
关键字
非n,标签,美好的
作者
古斯·怀斯曼2019年8月1日
扩展
条款a(31)及以后安德鲁·霍罗伊德2019年8月10日
状态
经核准的
A326881型 在交集下闭合并覆盖n个顶点的带有{}的集合系统数。 +10
13
1, 1, 5, 71, 4223, 2725521, 151914530499, 28175294344381108057 (列表;图表;参考文献;;历史;文本;内部格式)
抵消
0,3
链接
公式
的二项式逆变换A102895号. -安德鲁·霍罗伊德2019年8月10日
例子
a(2)=5套系统:
{{},{1,2}}
{{},{1},{2}}
{{},{1},{1,2}}
{{},{2},{1,2}}
{{},{1},{2},{1,2}}
数学
表[Length[Select[Subsets[Subsets[Range[n]],MemberQ[#,{}]&&Union@@#=Range[n]&&SubsetQ[#、Intersection@@@Tuples[#,2]&]],{n,0,3}]
交叉参考
该案件也在工会下结案A000798号.
相关情况(即最大值)为A102894号.
并集与交集相同A102894号.
非覆盖情况是A102895号.
这些集合系统(不含空集合)的BII编号为A326880型.
未标记的案例是A326883型.
关键字
非n,更多
作者
古斯·怀斯曼2019年7月30日
扩展
a(5)-a(7)来自安德鲁·霍罗伊德2019年8月10日
状态
经核准的
A326906型 {1..n}在并集下闭合并覆盖所有n个顶点的子集集的数目。 +10
10
2, 2, 8, 90, 4542, 2747402, 151930948472, 28175295407840207894 (列表;图表;参考文献;;历史;文本;内部格式)
抵消
0,1
评论
不同于A102895号(0)=2而不是1。
链接
公式
a(n)=2*A102894号(n) ●●●●。
例子
a(0)=2到a(2)=8组子集:
{} {{1}} {{1,2}}
{{}} {{},{1}} {{},{1,2}}
{{1},{1,2}}
{{2},{1,2}}
{{},{1},{1,2}}
{{},{2},{1,2}}
{{1},{2},{1,2}}
{{},{1},{2},{1,2}}
数学
表[Length[Select[Subsets[Subsets[Range[n]],Union@@#=Range[n]&&SubsetQ[#,Union@@Tuples[#,2]&],{n,0,3}]
交叉参考
没有空集的情况是A102894号.
带有单个覆盖边缘的箱子A102895号.
二项式变换为A102897号.
交叉口下的案例也已结束A326878型对于n>0。
对于交集而不是并集也是一样的A326906型.
未标记的版本为A326907型.
关键字
非n,更多
作者
古斯·怀斯曼2019年8月3日
状态
经核准的
第页12

搜索在0.021秒内完成

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

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

上次修改时间:美国东部夏令时2024年4月24日09:18。包含371935个序列。(在oeis4上运行。)