登录
OEIS由OEIS基金会的许多慷慨捐赠者.

 


A319774型
跨越n个顶点的相交集系统的数量,其对偶也是相交集系统。
13
1, 1, 2, 14, 814, 1174774, 909125058112, 291200434263385001951232
抵消
0,3
评论
多集划分的对偶对每个顶点都有一个部分,该部分由包含该顶点的部分的索引(或位置)组成,并以重数计算。例如,{{1,2},{2,2}}的对偶是{{1},}。
如果没有两个部分不相交,则多集划分是相交的。多集划分的对偶是相交的,只要每对不同的顶点在某一部分出现在一起。
例子
a(3)=14套系统:
{{1},{1,2},{1,2,3}}
{{1},{1,3},{1,2,3}}
{{2},{1,2},{1,2,3}}
{{2},{2,3},{1,2,3}}
{{3},{1,3},{1,2,3}}
{{3},{2,3},{1,2,3}}
{{1,2},{1,3},{2,3}}
{{1,2},{1,3},{1,2,3}}
{{1,2},{2,3},{1,2,3}}
{{1,3},{2,3},{1,2,3}}
{{1},{1,2},{1,3},{1,2,3}}
{{2},{1,2},{2,3},{1,2,3}}
{{3},{1,3},{2,3},{1,2,3}}
{{1,2},{1,3},{2,3},{1,2,3}}
数学
dual[eds_]:=表[First/@位置[eds,x],{x,Union@@eds}];
稳定Q[u_,Q_]:=!应用[Or,Outer[#1=!=#2&&Q[#1,#2]&,u,u,1],{0,1}];
表[Length[Select[Subsets[Subsets[Range[n],{1,n}]],Union@@#==Range[n]&&UnsameQ@@dual[#]&&stableQ[#,Intersection[#1,#2]=={}&]&&stable Q[dual[#],Intersection[#1、#2]=={}&]],{n,0,3}](*古斯·怀斯曼2019年8月19日*)
交叉参考
交叉集系统A051185号.
未标记的多集分区版本为A319773型.
覆盖盒为A327037型.
没有严格双精度的版本是A327038型.
协同作用集系统A327039型.
这些集合系统的BII编号为A327061型.
关键字
非n,更多
作者
古斯·怀斯曼2018年9月27日
扩展
a(6)-a(7)来自克里斯蒂安·西弗斯2024年8月18日
状态
经核准的

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

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

上次修改时间:美国东部夏令时2024年9月21日17:04。包含376087个序列。(在oeis4上运行。)