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

 

标志
提示
(来自的问候整数序列在线百科全书!)
A364656型 一组n个元素上的严格区间闭包运算符的数目。 1
1, 1, 4, 45, 2062, 589602, 1553173541 (列表;图表;参考;;历史;文本;内部格式)
抵消
0,3
评论
如果空集是闭的,则集合X上的闭包算子cl是严格的;它是一个区间,如果对于X的每个子集S,对于S中的所有X,y,cl({X,y})是S的子集的语句意味着S是闭的。
a(n)也是一组n个元素上的区间凸性数(参见Chepoi)。
参考文献
G.M.伯格曼。格、闭包算子和伽罗瓦连接。查姆施普林格。2015年,第173-212页。
链接
维克托·切波伊,凸结构中两个凸集的分离
德米特里·伊格纳托夫,支持iPython代码,用于计算n=6的严格区间闭包运算符,Github存储库
维基百科,关闭操作员
示例
a(3)=45集合系统如下({}和{1,2,3}未显示)。
{1} {1}{2} {1}{2}{3} {1}{2}{3}{12} {1}{2}{3}{12}{13}
{2} {1}{3} {1}{2}{12} {1}{2}{3}{13} {1}{2}{3}{12}{23}
{3} {2}{3} {1}{2}{13} {1}{2}{3}{23} {1}{2}{3}{13}{23}
{12} {1}{12} {1}{2}{23} {1}{2}{12}{13}
{13} {1}{13} {1}{3}{12} {1}{2}{12}{23}
{23}{1}{23}{1}{3}{13}{1}{3}{12}{13}{1}{2}{3}{12}{13}{23}
{2}{12} {1}{3}{23} {1}{3}{13}{23}
{2}{13} {2}{3}{12} {2}{3}{12}{23}
{2}{23} {2}{3}{13} {2}{3}{13}{23}
{3}{12} {2}{3}{23}
{3}{13} {1}{12}{13}
{3} {23}{2}{12}{23}
{3}{13}{23}
数学
表[With[{closure={X,set}|->
交集@@Select[X,SubsetQ[#,set]&]},
选择[
选择[
加入[{{},范围@n}, #] & /@ 子集@子集[范围@n,{1,n-1}],
子集Q[#,交集@@@子集[#,{2}]]&],
X |->
AllTrue[补码[子集@范围@n、 X],
S|->\[否]
AllTrue[子集[S,{1,2}],子集Q[S,闭包[X,#]]&]]]//
长度{n,4}]
交叉参考
囊性纤维变性。A334255型A358144型A358152型A356544飞机.
关键词
非n坚硬的更多改变
作者
田维拉西奇2023年7月31日
扩展
新偏移和a(5)-a(6)德米特里·伊格纳托夫2023年11月14日
状态
经核准的

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

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

最后修改时间:美国东部时间2024年5月21日15:23。包含372738个序列。(在oeis4上运行。)