%I#24 2023年1月17日09:58:18
%第1,2,7,55132412063336672159页
%B_N中格林L类的个数,[N]上二元关系的半群。
%B_n中的每个L类由[n]的子集的并集闭族决定,该子集由最多n个大小的基生成。
%D K.H.Kim,布尔矩阵理论与应用,Marcel Decker公司,1982年。
%F a(n)=和{k=0..n}A355315(n,k)。
%t独立Q[集合_]:=如果[MemberQ[集合,表[0,{nn}]]\[或]!
%t DuplicateFreeQ[集合],False,Apply[And,Table[!MemberQ[Map[Clip[Total[#]]&,Subsets[Drop[collection,{i}],{2,Length[collection]}]],
%t集合[[i]]],{i,1,长度[collection]}]];地图[总计,
%t映射[Select[#,#>0&]&,able[Table[Length[Select[Subsets[Tupples[{0,1},nn],{i}],independentQ[#]&]],{i,0,nn}],{nn,0,5}]]
%Y参考A102896,A355315。
%K nonn,难,更多
%0、2
%2023年1月16日,《杰弗里准则》