检验过的

已批准

提出

检验过的

编辑

提出

参见。A302545型，A306005型, `，A316983型，A317533型，A319616型~A321155型, `2014年3月5日, `，A330223型, `，A330227型, `，A368187型.

这种类型的机组系统包括 计数 通过 A367902型，排名A367906型，已连接A368410型.

分配编号 属于 不-同构的 多组 分区 属于 重量 n个 令人满意的 一 严格的 版本 属于 这个 对于公理 格斯属于 怀斯曼选择.

1, 1, 3, 7, 21, 54, 165, 477, 1501, 4736, 15652

0,3

多集划分是有限非空多集的有限多集。多集分区的权重是其元素的基数之和。权重通常与顶点数不同。

选择公理说，给定任意一组非空集Y，都可以从中选择一个包含元素的集。严格版本要求该集合具有与Y相同的基数，这意味着没有元素被多次选择。

维基百科，<a href=“https://en.wikipedia.org/wiki/Axiom_of_choice网站“>选择公理。

a（1）=1到a（4）=21多集分区的非同构代表：

{{1}} {{1,1}} {{1,1,1}} {{1,1,1,1}}

{{1,2}} {{1,2,2}} {{1,1,2,2}}

{{1},{2}} {{1,2,3}} {{1,2,2,2}}

｛｛1｝，｛2，2｝｝｛1，2，3｝｝

{{1},{2,3}} {{1,2,3,4}}

{{2},{1,2}} {{1},{1,2,2}}

｛｛1｝、｛2｝、｛3｝｝｛1，1｝、｛2，2｝｝

{{1,2},{1,2}}

{{1},{2,2,2}}

{{1,2},{2,2}}

{{1},{2,3,3}}

{{1,2},{3,3}}

{{1},{2,3,4}}

{{1,2},{3,4}}

{{1,3},{2,3}}

{{2},{1,2,2}}

{{3},{1,2,3}}

{{1},{2},{3,3}}

{{1},{2},{3,4}}

{{1},{3},{2,3}}

｛｛1｝、｛2｝、｛3｝、｛4｝｝

sps[{}]：={{}}；sps[set:{i_，___}]：=联接@@函数[s，前缀[#，s]和/@sps[Complement[set，s]]/@Cases[子集[set]，{i，___}]；

mpm[n_]：=连接@@表[Union[Sort[Sort/@（#/.x_Integer:>s[[x]]）]和/@sps[Range[n]]]，{s，Flatten[MapIndexed[Table[#2，{#1}]&，#]]和/@整数分区[n]}]；

brute[m_]：=第一个[Sort[Table[Sort[排序/@（m/.Rule@@@表[{i，p[i]]}，{i，长度[p]}]）]，{p，排列[Union@@m]}]]；

表[Length[Union[brute/@Select[mpm[n]，Select[Tuples[#]，UnsameQ@@#&]={}&]]]，{n，0，6}]

标记图的情况是A133686号，补语A367867飞机.

未标记图的情况是A134964号，补语A140637号（显然）。

这种类型的机组系统按A367902型，排名A367906型，已连接A368410型.

免费的机顶盒系统包括A367903型，排名A367907型，已连接A368409型.

对于机顶盒系统，我们有A368095型，补语A368094型.

补语是A368097型，排名A355529型.

这些多集分区具有列A368100型.

相关案例是A368412型，补语A368411飞机.

此类型的因式分解按A368414飞机，补语A368413型.

对于集合多部分，我们有A368422型，补语A368421型.

A000110号计数集分区，非同构A000041号.

A003465号覆盖集合系统的计数，未标记A055621号.

A007716号计数非同构多集分区，已连接A007718号.

A058891号计数集合系统，未标记A000612号，已连接A323818型.

A283877号计数非同构集合系统，已连接A300913型.

参见。A302545型，A306005型, `A316983型，A317533型，A319616型, ~A321155型`2014年3月5日, `A330223型, `A330227型, `A368187型.

分配

非n，更多

古斯·怀斯曼2023年12月25日

已批准

编辑

分配给Gus Wiseman

分配

已批准