登录
OEIS基金会得到了OEIS用户的捐赠和西蒙斯基金会的资助。

 

标志


提示
(问候来自整数序列在线百科全书!)
A327057型 覆盖{1..n}子集的反链数,其中每两个覆盖顶点都出现在某个边上(共相交)。 9
1、2、4、9、36、1572、3750221 (列表;图表;参考文献;;历史;文本;内部格式)
抵消

0,2个

评论

集合系统是有限非空集的有限集。它的元素有时被称为边。集合系统的对偶对于每个顶点都有一条边,由包含该顶点的边的索引(或位置)组成。例如,{1,2},{2,3}}的对偶是{1},{1,2},{2}}。反链是一组集合,它们都不是其他集合的子集。这个序列计算对偶成对相交的反链。

链接

n=0..6的n,a(n)表。

公式

二项式变换A327020型.

例子

(反链)=1到3:

  {}  {}     {}       {}

      {{1} }  {{1} }    {{1} }

             {{2} }    {{2} }

             {{1,2}}  {{3} }

                      {{1,2}}

                      {{1,3}}

                      {{2,3}

                      {{1,2,3}}

                      {{1,2},{1,3},{2,3}}

数学

双[eds]:=表[First/@Position[eds,x],{x,Union@@eds}];

stableSets[u,Qüu]:=如果[Length[u]==0,{{}},用[{w=First[u]},连接[stableSets[DeleteCases[u,w],Q],前置[#,w]&/@stableSets[DeleteCases[u,r\u/;r==w | | Q[r,w]| | Q[w,r]],Q]]]];

稳定点:=!应用[或,外部[#1==#2&&Q[#1,#2]&,u,u,1],{0,1}];

Table[Length[Select[stableSets[Subsets[Range[n],{1,n}],SubsetQ],stableQ[dual[#],交集[#1,#2]={}&]&]],{n,0,5}]

交叉引用

反链是A000372号.

这些集合系统的BII数是A326704型A326853型.

封面是A327020型.

合集系统是A327039型.

囊性纤维变性。A006126号,A051185,甲245567,A305844飞机,A326950型,A327038型,A327052型.

上下文顺序:A274758号 甲266929 A242986年*邮编:A151891 A309340 A005204号

相邻序列:  A327054型 A327055型 A327056型*A327058型 A327059型 A327060型

关键字

,更多

作者

格斯·怀斯曼2019年8月18日

状态

经核准的

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

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

上次修改日期:2021年6月17日17:05。包含345085个序列(在oeis4上运行。)