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

 

标志
提示
(来自的问候整数序列在线百科全书!)
A356544飞机 一组n个元素上的严格闭包运算符的数目,使得所有非空的不相交闭集对都可以用clopen集来分隔。 4
0, 1, 4, 35, 857 (列表;图表;参考;;历史;文本;内部格式)
抵消
0,3
评论
如果空集是闭合的,则闭包运算符是严格的。
如果A是H的子集且B是X\H的子集,则X的两个非空不相交子集A和B由集合H分开。
另外,在Chepoi意义下,一组n个元素上的S_4(Kakutani分离性质)凸性的个数。
参考文献
G.M.伯格曼。格、闭包算子和伽罗瓦连接。查姆施普林格。2015年,第173-212页。
链接
维克托·切波伊,凸结构中两个凸集的分离
维基百科,关闭操作员
示例
a(3)=35闭集系统:
{{}, {1, 2, 3}}
{{},{1},{1,2,3}}
{{}, {2}, {1, 2, 3}}
{{}, {3}, {1, 2, 3}}
{{}, {1, 2}, {1, 2, 3}}
{{}, {1, 3}, {1, 2, 3}}
{{}, {2, 3}, {1, 2, 3}}
{{}, {1}, {1, 2}, {1, 2, 3}}
{{}, {1}, {1, 3}, {1, 2, 3}}
{{}, {1}, {2, 3}, {1, 2, 3}}
{{},{2},{1,2},{1,2,3}}
{{}, {2}, {1, 3}, {1, 2, 3}}
{{}, {2}, {2, 3}, {1, 2, 3}}
{{}, {3}, {1, 2}, {1, 2, 3}}
{{}, {3}, {1, 3}, {1, 2, 3}}
{{}, {3}, {2, 3}, {1, 2, 3}}
{{}, {1}, {2}, {1, 3}, {1, 2, 3}}
{{}, {1}, {2}, {2, 3}, {1, 2, 3}}
{{}, {1}, {3}, {1, 2}, {1, 2, 3}}
{{}, {1}, {3}, {2, 3}, {1, 2, 3}}
{{}, {1}, {1, 2}, {1, 3}, {1, 2, 3}}
{{}, {2}, {3}, {1, 2}, {1, 2, 3}}
{{}, {2}, {3}, {1, 3}, {1, 2, 3}}
{{}, {2}, {1, 2}, {2, 3}, {1, 2, 3}}
{{}, {3}, {1, 3}, {2, 3}, {1, 2, 3}}
{{}, {1}, {2}, {1, 2}, {1, 3}, {1, 2, 3}}
{{}, {1}, {2}, {1, 2}, {2, 3}, {1, 2, 3}}
{{}, {1}, {3}, {1, 2}, {1, 3}, {1, 2, 3}}
{{}, {1}, {3}, {1, 3}, {2, 3}, {1, 2, 3}}
{{}, {2}, {3}, {1, 2}, {2, 3}, {1, 2, 3}}
{{}, {2}, {3}, {1, 3}, {2, 3}, {1, 2, 3}}
{{}, {1}, {2}, {3}, {1, 2}, {1, 3}, {1, 2, 3}}
{{}, {1}, {2}, {3}, {1, 2}, {2, 3}, {1, 2, 3}}
{{},{1},{2},{3},{1,3},{2,3},{1,2,3}}
{{}, {1}, {2}, {3}, {1, 2}, {1, 3}, {2, 3}, {1, 2, 3}}
数学
分隔对Q[A_][B_]:=AnyTrue[A,And@@MapThread[SubsetQ,{#,B}]&];
表[Length[With[{X=Range[n]},
选择[案例[子集@子集@X、 {{},___,X}],
F|->子集Q[F,交集@@@子集[F,{2}]]
&&AllTrue[Select[Subsets[Drop[F,1],{2}],Apply[DisjointQ]],SeparatedPairQ[Select[/@F,MemberQ[F,#[2]]&]]]]],{n,0,4}]
交叉参考
囊性纤维变性。A334255型A358144型A358152型.
关键词
非n坚硬的更多改变
作者
田维拉西奇2022年8月11日
状态
经核准的

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

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

上次修改时间:美国东部夏令时2024年5月21日11:30。包含372736个序列。(在oeis4上运行。)