OEIS哀悼西蒙斯感谢西蒙斯基金会支持包括OEIS在内的许多科学分支的研究。
登录
OEIS由OEIS基金会的许多慷慨捐赠者.

 

标志
提示
(来自的问候整数序列在线百科全书!)
A368094型 权重为n的非同构集合系统的数量与选择公理的严格版本相矛盾。 35
0, 0, 0, 0, 1, 1, 5, 12, 36, 97, 291 (列表;图表;参考;;历史;文本;内部格式)
抵消
0,7
评论
集系统是有限非空集的有限集。集合系统的权重是其元素的基数之和。权重通常与顶点数不同。
选择公理说,给定任意一组非空集Y,都可以从中选择一个包含元素的集。严格版本要求该集合具有与Y相同的基数,这意味着没有元素被多次选择。
链接
维基百科,选择公理.
例子
a(5)=1到a(7)=12集合系统的非同构表示:
{{1},{2},{3},{2,3}} {{1},{2},{1,3},{2,3}} {{1},{2},{1,2},{3,4,5}}
{{1},{2},{3},{1,2,3}} {{1},{3},{2,3},{1,2,3}}
{{2},{3},{1,3},{2,3}} {{1},{4},{1,4},{2,3,4}}
{{3},{4},{1,2},{3,4}} {{2},{3},{2,3},{1,2,3}}
{{1},{2},{3},{4},{3,4}} {{3},{1,2},{1,3},{2,3}}
{{1},{2},{3},{1,3},{2,3}}
{{1},{2},{3},{2,4},{3,4}}
{{1},{2},{3},{4},{2,3,4}}
{{1},{3},{4},{2,4},{3,4}}
{{1},{4},{5},{2,3},{4,5}}
{{2}、{3}、{4}、{1、2}、{3、4}}
{{1},{2},{3},{4},{5},{4,5}}
数学
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],UnsameQ@@#&And@@UnsameQ@@@#&Select[Tuples[#],UnnameQ@@#&]={}&]],{n,0,8}]
交叉参考
未标记图的情况是A140637号,补语A134964号.
标记图的情况是A367867飞机,补语A133686号.
标记的版本为A367903型,排名A367907型.
补码按A368095型,已连接A368410型.
允许重复次数:A368097型,排名A355529型,补语A368098型,排名A368100型.
这种类型的最小多集分区按A368187型.
相关案例是A368409型.
此类型的因式分解按A368413型,补语A368414飞机.
允许重复边提供368421美元,补语A368422型.
A000110号计数集分区,非同构A000041号.
A003465号覆盖集合系统的计数,未标记A055621号.
A007716号计数非同构多集分区,已连接A007718美元.
A058891号计数集合系统,未标记A000612号,已连接A323818型.
A283877号计数非同构集合系统,已连接A300913型.
关键词
非n,更多
作者
古斯·怀斯曼2023年12月23日
状态
经核准的

查找|欢迎光临|维基|注册|音乐|地块2|演示|索引|浏览|更多|网络摄像头
贡献新序列。或评论|格式|样式表|变换|超级搜索|最近
OEIS社区|维护人OEIS基金会。

许可协议、使用条款、隐私政策。.

上次修改时间:美国东部夏令时2024年5月25日17:00。包含372804个序列。(在oeis4上运行。)