login
Number of maximal intersecting antichains of nonempty, non-singleton subsets of {1..n}.
12

%I #15 May 26 2020 21:57:45

%S 1,1,1,2,16,163,11742,12160640

%N Number of maximal intersecting antichains of nonempty, non-singleton subsets of {1..n}.

%C A set system (set of sets) is an antichain if no part is a subset of any other, and is intersecting if no two parts are disjoint.

%F For n > 1, a(n) = A326363(n) - n - 1 = A007363(n + 1) - n.

%e The a(4) = 16 maximal intersecting antichains:

%e {{1,2,3,4}}

%e {{1,2},{1,3},{2,3}}

%e {{1,2},{1,4},{2,4}}

%e {{1,3},{1,4},{3,4}}

%e {{2,3},{2,4},{3,4}}

%e {{1,2},{1,3,4},{2,3,4}}

%e {{1,3},{1,2,4},{2,3,4}}

%e {{1,4},{1,2,3},{2,3,4}}

%e {{2,3},{1,2,4},{1,3,4}}

%e {{2,4},{1,2,3},{1,3,4}}

%e {{3,4},{1,2,3},{1,2,4}}

%e {{1,2},{1,3},{1,4},{2,3,4}}

%e {{1,2},{2,3},{2,4},{1,3,4}}

%e {{1,3},{2,3},{3,4},{1,2,4}}

%e {{1,4},{2,4},{3,4},{1,2,3}}

%e {{1,2,3},{1,2,4},{1,3,4},{2,3,4}}

%t stableSets[u_,Q_]:=If[Length[u]==0,{{}},With[{w=First[u]},Join[stableSets[DeleteCases[u,w],Q],Prepend[#,w]&/@stableSets[DeleteCases[u,r_/;r==w||Q[r,w]||Q[w,r]],Q]]]];

%t fasmax[y_]:=Complement[y,Union@@(Most[Subsets[#]]&/@y)];

%t Table[Length[fasmax[stableSets[Subsets[Range[n],{2,n}],Or[Intersection[#1,#2]=={},SubsetQ[#1,#2]]&]]],{n,0,5}]

%t (* 2nd program *)

%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 || BitAnd[i, j] == j, g = EdgeDelete[g, i <-> j]]]];

%t sets = FindClique[g, Infinity, All];

%t Length[sets]-Log[2,n]-1 (* _Elijah Beregovsky_, May 06 2020 *)

%Y Antichains of nonempty, non-singleton sets are A307249.

%Y Minimal covering antichains are A046165.

%Y Maximal intersecting antichains are A007363.

%Y Maximal antichains of nonempty sets are A326359.

%Y Cf. A000372, A003182, A006126, A006602, A014466, A051185, A058891, A261005, A305000, A305844, A326358, A326360, A326361, A326363.

%K nonn,more

%O 0,4

%A _Gus Wiseman_, Jul 01 2019

%E a(7) from _Elijah Beregovsky_, May 06 2020