%I M2505#31 2020年5月26日21:58:16

%序号0,1,3,5,201681174812160647

%N个点上的N个最大自对偶反链。

%C来自Gus Wiseman_，2019年7月2日：（开始）

%如果自对偶意味着（两两）相交，那么a（n）是{1..（n-1）}的非空子集的最大相交反链数。如果没有任何部分是任何其他部分的子集，则集合是反链，如果没有两个部分不相交，则集合相交。例如，a（2）=1到a（5）=20最大交叉反链为：

%C{1}{1}}{1{1}

%丙二}

%C{12}{3}{3{

%C｛123｝｛4｝

%C{12}{13}{23}{1234}

%C{12}{13}{23}

%丙{12}{14}{24}

%C{13}{14}{34}

%C｛23｝｛24｝｛34｝

%丙{12}{134}{234}

%C{13}{124}{234}

%C{14}{123}{234}

%C{23}{124}{134}

%C{24}{123}{134}

%丙{34}{123}{124}

%C{12}{13}{14}{234}

%C{12}{23}{24}{134}

%C{13}{23}{34}{124}

%C｛14｝｛24｝｛34｝｛123｝

%C{123}{124}{134}{234}

%C（结束）

%D N.J.A.Sloane和Simon Plouffe，《整数序列百科全书》，学术出版社，1995年（包括该序列）。

%H Daniel E.Loeb，<a href=“网址：http://www.labri.u-bordeaux.fr/~loeb/polt.html“>关于游戏、投票方案和分配格。LaBRI报告625-93，波尔多大学I，1993年。[断开的链接]

%F对于n>0，a（n）=A326363（n-1）-1=A326362（n-1_Gus Wiseman_，2019年7月3日

%t stableSets[u_，Q_]：=如果[Length[u]==0，{{}}，With[{w=First[u]}，Join[stableSets[DeleteCases[u，w]，Q]，前缀[#，w]&/@stableSets-[DeleteCases[u、r_/；r==w|Q[r，w]|Q[w，r]]，Q]]]；

%t fasmax[y_]：=补[y，并@@（大多数[子集[#]]&/@y）]；

%t表[Length[fasmax[stableSets[Subsets[Range[n]，{1，n}]，Or[Intersection[#1，#2]=={}，SubsetQ[#1、#2]]&]]，{n，0,5}]（*_Gus Wiseman_，2019年7月2日*）

%t（*第二个程序*）

%t n=2^6；g=CompleteGraph[n]；i=0；

%t While[i<n，i++；j=i；While[j<n，j++；If[BitAnd[i，j]==0||BitAnd[i，j]==i||Bit And[i，j]==j，g=边删除[g，i<->j]]]；

%t集=FindClique[g，Infinity，All]；

%t长度[台]-1（*_Elijah Beregovsky，2020年5月6日*）

%Y交叉反链为A326372。

%非空集的Y相交反链为A001206。

%Y无标签交叉反链为A305857。

%Y非空集的最大反链为A326359。

%Y允许有空边的箱子是A326363。

%Y参见A000372、A305844、A306007、A326358、A326361、A3263652、A32636.6。

%K nonn，更多

%O 1,3

%A·N·J·A·斯隆_

%E a（8）来自_Elijah Beregovsky，2020年5月6日