login
Number of finite sets of set partitions of {1,...,n} such that any two have meet {{1},...,{n}}.
4

%I #8 Aug 29 2018 16:48:56

%S 2,4,18,316,37492

%N Number of finite sets of set partitions of {1,...,n} such that any two have meet {{1},...,{n}}.

%e The a(3) = 18 sets of set partitions:

%e 0

%e {{1,2,3}}

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

%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 sps[{}]:={{}};sps[set:{i_,___}]:=Join@@Function[s,Prepend[#,s]&/@sps[Complement[set,s]]]/@Cases[Subsets[set],{i,___}];

%t spmeet[a_,b_]:=DeleteCases[Union@@Outer[Intersection,a,b,1],{}];spmeet[a_,b_,c__]:=spmeet[spmeet[a,b],c];

%t Table[Length[stableSets[sps[Range[n]],Max@@Length/@spmeet[#1,#2]>1&]],{n,5}]

%Y Cf. A000110, A000258, A008277, A059849, A060639, A096827, A181939.

%Y Cf. A318389, A318390, A318391, A318392, A318531, A318532, A318531, A318532.

%K nonn,more

%O 1,1

%A _Gus Wiseman_, Aug 25 2018