OEIS哀悼西蒙斯感谢西蒙斯基金会支持包括OEIS在内的许多科学分支的研究。
登录
OEIS由OEIS基金会的许多慷慨捐赠者.

 

标志
提示
(来自的问候整数序列在线百科全书!)
A102894号 n个生成元上的ACI代数或半格的数目,没有恒等式或零化子。 22
1, 1, 4, 45, 2271, 1373701, 75965474236, 14087647703920103947 (列表;图表;参考;;历史;文本;内部格式)
抵消
0,3
评论
或者,{1,…,n}的子集在交集下闭合并同时包含宇宙和空集的族的数目。
ACI代数或半格是具有单个二进制、幂等元、交换和结合运算的系统。
此外,覆盖在并集下闭合的n个顶点的集合系统数。这些集合系统的BII编号如下所示A326875型. -古斯·怀斯曼2019年8月1日
一组n个元素上的严格闭包运算符的数目,如果空集是闭合的,则闭包运算符被称为严格的-田维拉西奇2022年7月30日
参考文献
G.Birkhoff,晶格理论。美国数学学会,学术讨论会出版物,第25卷,第3版,普罗维登斯,RI,1967年。
Maria Paola Bonacina和Nachum Dershowitz,含义系统的标准推理,自动推理,计算机科学讲义,第5195/2008卷,Springer-Verlag。
E.H.Moore,《一般分析形式导论》,AMS学术讨论会出版物2(1910),第53-80页。
链接
玛丽亚·保拉·博纳西纳(Maria Paola Bonacina)和纳楚姆·德肖维茨(Nachum Dershowitz),标准地面Horn理论《计算机科学讲义》7797,35-71(2013)。
P.Colomb、A.Irland和O.Raynaud,n=7的摩尔族计数《形式概念分析国际会议》(2010年)。
N.Dershowitz、G.S.Huang和M.Harris,与接地喇叭理论相关的计数问题,arXiv:cs/0610054v2[cs.LO],2006-2008年。
Christopher S.Flippen,极小集、并闭族与Frankl猜想弗吉尼亚联邦大学硕士论文,2023年。
M.Habib和L.Nourine,n=6的摩尔族数量,离散数学。,294 (2005), 291-296.
公式
的二项式逆变换A102896号.
有关渐近特性,请参见A102897号.
例子
发件人古斯·怀斯曼2019年8月1日:(开始)
具有{}和{1,2,3}的a(3)=45集合系统在交集下闭合,如下所示({}与{1,2,3}未显示)。这些集合系统的BII编号如下所示A326880型.
0 {1} {1}{2} {1}{2}{3} {1}{2}{3}{12} {1}{2}{3}{12}{13}
{2} {1}{3} {1}{2}{12} {1}{2}{3}{13} {1}{2}{3}{12}{23}
{3} {2}{3} {1}{2}{13} {1}{2}{3}{23} {1}{2}{3}{13}{23}
{12} {1}{12} {1}{2}{23} {1}{2}{12}{13}
{13} {1}{13} {1}{3}{12} {1}{2}{12}{23}
{23} {1}{23} {1}{3}{13} {1}{3}{12}{13} {1}{2}{3}{12}{13}{23}
{2}{12} {1}{3}{23} {1}{3}{13}{23}
{2}{13} {2}{3}{12} {2}{3}{12}{23}
{2}{23} {2}{3}{13} {2}{3}{13}{23}
{3}{12} {2}{3}{23}
{3}{13} {1}{12}{13}
{3}{23} {2}{12}{23}
{3}{13}{23}
(结束)
数学
表[Length[Select[Subsets[Subsets[Range[n],{1,n}]],并集@@#=Range[n]和子集Q[#,并集@@@Tuples[#,2]]&]],{n,0,3}](*古斯·怀斯曼2019年8月1日*)
交叉参考
关于覆盖在并集下闭合的n个顶点的集合系统:
-非覆盖情况是A102896号.
-这些集合系统的BII编号为A326875型.
-使用交集而不是并集的情况是32881美元.
-未标记的案例是108798英镑.
关键词
非n坚硬的更多
作者
米奇·哈里斯2005年1月18日
扩展
来自的其他评论高德纳2005年7月1日
状态
经核准的

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

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

上次修改时间:2024年5月28日14:43 EDT。包含372913个序列。(在oeis4上运行。)