提出

经核准的

编辑

提出

对于未标记的图，我们有A140636号,显然地 的连接情况A140637号.

集合系统是有限非空集合的有限集合。集合系统的权重是其元素的基数之和.重量 是 通常地 不 这个 相同的 作为 数 属于 顶点.

这个 案例对于 属于(覆盖)未标记图 我们 是有 A140636号,显然地 的连接情况A140637号(补充 A134964号)..

这个 案例对于 属于(覆盖)标记图 是 :A140638号，连接的情况A367867飞机（补充A133686号).

使用允许重复 允许 我们 有 :A368411飞机，连接的情况A368097型，排名A355529型.

这个 补充补体带有重复 允许 是 :A368412型，连接的情况A368098型，排名A368100型.

允许重复的重复边缘 给予 新的,只有:的连接情况A368421型（补充A368422型).

囊性纤维变性。A134964号,A302545型,A306005型, `A316983型,A317533型, `A319616型, ~A321155型, `,A321405型,A326031型, `A330223型, `A330227型,A367903型, `A367905型,A367907型,A368187型,A368413型.

分配编号 属于 不-同构的 有联系的 设置-系统 属于 重量 n个 矛盾的 一 严格的 版本 属于 这个 对于公理 格斯属于 怀斯曼选择.

0, 0, 0, 0, 1, 0, 3, 5, 16, 41, 130

0,7

集合系统是有限非空集合的有限集合。集合系统的权重是其元素的基数之和。

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

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

a（4）=1到a（8）=16集合系统的非同构代表：

{1}{2}{12} . {1}{2}{13}{23} {1}{3}{23}{123} {1}{5}{15}{2345}

{1}{2}{3}{123} {1}{4}{14}{234} {2}{13}{23}{123}

{2}{3}{13}{23} {2}{3}{23}{123} {3}{13}{23}{123}

{3}{12}{13}{23} {3}{4}{34}{1234}

{1}{2}{3}{13}{23} {1}{2}{13}{24}{34}

{1}{2}{3}{14}{234}

{1}{2}{3}{23}{123}

{1}{2}{3}{4}{1234}

{1}{3}{4}{14}{234}

{2}{3}{12}{13}{23}

{2}{3}{13}{24}{34}

{2}{3}{14}{24}{34}

{2}{3}{4}{14}{234}

{2}{4}{13}{24}{34}

{3}{4}{13}{24}{34}

{3}{4}{14}{24}{34}

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

csm[s_]：=使用[{c=Select[Subsets[Range[Length[s]]，{2}]，Length[Crosection@@s[[#]]>0&]}，如果[c=={}，s，csm[Sort[Append[Delete[s，List/@c[[1]]]，Union@@s[[c[1]]]]]；

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

（覆盖）未标记图的情况是A140636号，连接的情况A140637号（补充A134964号).

（覆盖）标记图的情况是A140638号，连接的情况A367867飞机（补充A133686号).

这是与A368094型.

补语是A368410型，连接的情况A368095型.

允许重复A368411飞机，连接的情况A368097型，排名A355529型.

允许重复的补码是A368412型，连接的情况A368098型，排名A368100型.

允许重复的边提供新的连接情况A368421型（补充A368422型).

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

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

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

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

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

囊性纤维变性。A302545型,A306005型, `A316983型,A317533型, `A319616型, ~A321155型, `A321405型,A326031型, `A330223型, `A330227型,A367903型, `A367905型,A367907型,A368187型,A368413型.

分配

非n,更多

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

经核准的

编辑

分配

分配

分配给Gus Wiseman

分配

经核准的