|
| |
|
| A102897号 |
| n个生成元上的ACI代数（或半格）数。 |
|
22
|
|
|
|
2, 4, 14, 122, 4960, 2771104, 151947502948, 28175296471414704944
(列表;图表;参考文献;听;历史;文本;内部格式)
|
|
|
|
抵消
|
0.1个
|
|
|
评论
|
还统计n个变量上的Horn函数，布尔函数的真值赋值集在“and”下闭合，或者等价地，布尔函数可以写成Horn子句的连词，子句最多有一个负数。
此外，{1，…，n}的子集在交集下闭合的族数（因为我们可以在不影响其他任何东西的情况下将其放入或取出）。
ACI代数或半格是具有单个二进制、幂等元、交换和结合运算的系统。
还有{1..n}的有限子集在并集下闭合的有限集的数目-古斯·怀斯曼2019年8月3日
|
|
|
参考文献
|
V.B.Alekseev，《关于交半格的数量》（俄语），Diskretnaya Mat.1（1989），129-136。
G.Birkhoff，晶格理论。美国数学学会，学术讨论会出版物，第25卷，第3版，普罗维登斯，RI，1967年。
Maria Paola Bonacina和Nachum Dershowitz，含义系统的标准推理，自动推理，计算机科学讲义，第5195/2008卷，Springer-Verlag。
G.Burosch、J.Demetrovics、G.O.H.Katona、D.J.Kleitman和A.A.Sapozhenko，《关于闭包运算的数量，在组合数学中，Paul Erdős是八十（第1卷）》，Keszelly:Bolyai Society Mathematical Studies，1993年，第91-105页。
P.Colomb、A.Irland和O.Raynaud，《n=7的摩尔族计数》，形式概念分析国际会议（2010年）
阿尔弗雷德·霍恩，《符号逻辑杂志》16（1951），14-21。[参见引理7。]
D.E.Knuth，《计算机编程的艺术》，第4A卷，第7.1.1节，第79页。
E.H.Moore，《一般分析形式导论》，AMS学术讨论会出版物2（1910），第53-80页。
|
|
|
链接
|
N.Dershowitz、G.S.Huang和M.Harris，与接地喇叭理论相关的计数问题，arXiv:cs/0610054v2[cs.LO]，2006-2008年。
|
|
|
配方奶粉
|
|
|
|
例子
|
a（2）=14：将点标记为a，b。我们需要{a，b}的子集在交集下闭合的集合数。0子集：1路（{}），1子集：4路（0；a；b；ab），2子集：5路。
a（0）=2到a（2）=14组在并集下闭合的子集：
{} {} {}
{{}} {{}} {{}}
{{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｝｝
{{},{1},{2},{1,2}}
（结束）
|
|
|
数学
|
表[Length[Select[Subsets[Subsets[Range[n]]]，SubsetQ[#，Union@@Tuples[#，2]&]]，{n，0，3}](*古斯·怀斯曼2019年8月3日*）
|
|
|
交叉参考
|
关于在并集下闭合的子集集：
|
|
|
关键词
|
非n,坚硬的,更多
|
|
|
作者
|
|
|
|
扩展
|
|
|
|
状态
|
经核准的
|
| |
|
|
