|
| |
|
| A193675号 |
| 列举的非同构系统的数量A102897号; 也就是说，变量置换下的不等价Horn函数的数量。 |
|
16
|
|
|
|
2, 4, 10, 38, 368, 29328, 216591692, 5592326399531792
(列表;图表;参考;听;历史;文本;内部格式)
|
|
|
|
抵消
|
0,1
|
|
|
评论
|
当谈到不等价布尔函数时，通常考虑三组对称性：仅互补，2^n元素的阿贝尔群（2，…，2）；仅置换，n的对称群！元素；或者补和置换都是2^nn！的八面体群！元素。在这种情况下，只有关于对称群的对称性才合适，因为互补会影响Horn函数的性质。
还有在并集下闭合的{1..n}子集的非同构集的数目-古斯·怀斯曼，2019年8月4日
|
|
|
参考文献
|
D.E.Knuth，《计算机编程艺术》，第4A卷，第7.1.1节，第79页。
|
|
|
链接
|
P.Colomb、A.Irland和O.Raynaud，n=7的摩尔族计数《形式概念分析国际会议》（2010年）。
|
|
|
配方奶粉
|
|
|
|
例子
|
a（0）=2到a（2）=10组集合的非同构代表：
{} {} {}
｛｛｝｝｛｝｝
{{1}} {{1}}
｛｛｝，｛1｝｝｛1，2｝｝
{{},{1}}
{{},{1,2}}
{{2},{1,2}}
{{},{2},{1,2}}
{{1},{2},{1,2}}
{{},{1},{2},{1,2}}
（结束）
|
|
|
交叉参考
|
|
|
|
关键词
|
非n,坚硬的,美好的,更多
|
|
|
作者
|
|
|
|
扩展
|
a（6）由Pierre Colomb于2011年8月2日更正
|
|
|
状态
|
经核准的
|
| |
|
|
