%I#18 2020年5月26日21:59:02

%序号1、2、4、6、211691174912160648

%{1..N}子集的最大交叉反链数。

%如果没有元素是任何其他元素的子集，则集合系统（集合集）是反链的，如果没有两个元素不相交，则是相交的。

%F对于n>1，a（n）=A007363（n+1）+1=A326362（n）+n+1。

%e a（1）=1到a（4）=21最大交叉反链：

%e{}{}

%e{1}{1}}{1{1}

%e{2}{2}

%e{12}{3}{3}

%电子{123}{4}

%电子{12}{13}{23}{1234}

%电子{12}{13}{23}

%电子{12}{14}{24}

%电子{13}{14}{34}

%电子{23}{24}{34}

%电子{12}{134}{234}

%电子{13}{124}{234}

%电子{14}{123}{234}

%电子{23}{124}{134}

%e｛24｝｛123｝｛134｝

%电子{34}{123}{124}

%电子{12}{13}{14}{234}

%电子{12}{23}{24}{134}

%电子{13}{23}{34}{124}

%电子{14}{24}{34}{123}

%电子{123}{124}{134}{234}

%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]，{0，n}]，Or[Intersection[#1，#2]=={}，SubsetQ[#1、#2]]&]]]，{n，0,5}]

%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，无穷大，全部]；

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

%Y具有非空、非单一边缘的情况是A326362。

%Y非空、非单组的反链为A307249。

%Y最小覆盖反链为A046165。

%Y最大交叉反链为A007363。

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

%Y参见A000372、A003182、A006126、A0006602、A014466、A051185、A058891、A261005、A305000、A305844、A326358、A326360、A326361。

%K nonn，更多

%0、2

%A _Gus Wiseman_，2019年7月1日

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