提出

经核准的

编辑

提出

这个 免费的 设置设置-系统 不 属于 这 类型是A367902型，排名A367906型,有联系的 A368410型.

这种类型的机组系统包括A367903型，排名A367907型,有联系的 A368409型.

这种类型的最小多集分区是计数排列通过A368187型.

参见。A302545型,A316983型,A317533型,A319616型,A321405型,A367905型,A368409型,A368410型.

经核准的

编辑

检验过的

经核准的

提出

检验过的

编辑

提出

这种类型的机组系统包括 计数 通过 A367903型，排名A367907型，已连接A368409型.

参见。A302545型,A306005型, `A316983型,A317533型, `,A319616型, ~A321155型,A321405型, `A330223型, `A330227型, ~,A367905型.

sps[{}]：={{}}；sps[set:{i_，___}]：=连接@@函数[s，前缀[#，s]&/@]& /@sps[补码[集，s]]]/@]]] /@案例[子集[集]，{i，___}]；

mpm[n_]：=连接@@表[Union[Sort[Sort/@（#/.x_Integer:>s[[x]])]&/@]])]& /@sps[范围[n]]]{]]]{s、 压扁[MapIndexed[表[#2，{#1}]&, #]]&/@}]&, #]]& /@整数分区[n]}]；

brute[m_]：=第一个[Sort[表格[Sort[Sort/@(/@ (米/。规则@@@表[{i，p[[i]]}，{i，长度[p]}])], {]}])]{p、 排列[Union@@m]}]]；

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

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

0, 0, 1, 3, 12, 37, 133, 433, 1516, 5209, 18555

0,4

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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}]

未标记图的情况似乎是A140637号，补语A134964号.

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

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

免费的机顶盒系统包括A367902型，排名A367906型，已连接A368410型.

这种类型的机组系统按A367903型，排名A367907型，已连接A368409型.

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

补码是A368098型，排名A368100型，连接的外壳A368412型.

这种类型的最小多集分区按A368187型.

相关案例是A368411飞机.

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

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

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

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

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

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

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

参见。A302545型,A306005型, `A316983型,A317533型, `A319616型, ~A321155型,A321405型, `A330223型, `A330227型, ~A367905型.

分配

非n,更多

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

经核准的

编辑

分配给Gus Wiseman

分配

经核准的