|
| |
|
| A102896号 |
| 无零化子的n个生成元上的ACI代数（或半格）的数目。 |
|
43
|
|
|
|
1, 2, 7, 61, 2480, 1385552, 75973751474, 14087648235707352472
(列表；图表；参考；听；历史；文本；内部格式)
|
|
|
|
抵消
|
0,2
|
|
|
评论
|
或者，n集上的摩尔族的数量，即包含泛集{1，…，n}并且在交集下闭合的子集的族。
或者，一组n个元素上的闭包运算符的数目。
ACI代数或半格是具有单个二进制、幂等元、交换和结合运算的系统。
|
|
|
参考文献
|
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）和康斯坦斯·罗伊茨海姆，同伦组合数学，通知Amer。数学。Soc.（2024）第71卷，第2期，260-266。见第261页。
皮埃尔·科伦布（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）是二项式系数。
|
|
|
例子
|
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日*）
|
|
|
交叉参考
|
对于联合关闭的机组系统：
|
|
|
关键词
|
非n,坚硬的,更多
|
|
|
作者
|
|
|
|
扩展
|
a（7）来自Pierre Colomb（Pierre（AT）Colomb.me），2010年9月4日
|
|
|
状态
|
经核准的
|
| |
|
|
