cp's OEIS Frontend

A317792 Number of non-isomorphic multiset partitions, using normal multisets, of normal multisets of size n.

%I A317792 #11 Sep 15 2018 11:26:36
%S A317792 1,1,3,6,15,31,73,154,345,742,1627,3499
%N A317792 Number of non-isomorphic multiset partitions, using normal multisets, of normal multisets of size n.
%C A317792 A multiset is normal if it spans an initial interval of positive integers, and strongly normal if it has weakly decreasing multiplicities. Neither condition is necessarily preserved under isomorphism. For example, {{2},{1,1,1,2}} is isomorphic to {{1},{1,2,2,2}}, but only the latter has normal blocks, while only the former has strongly normal multiset union.
%e A317792 Non-isomorphic representatives of the a(4) = 15 normal multiset partitions:
%e A317792   {1111}, {1112}, {1122}, {1123}, {1234},
%e A317792   {1}{111}, {1}{112}, {1}{122}, {1}{123}, {11}{11}, {11}{12}, {12}{12},
%e A317792   {1}{1}{11}, {1}{1}{12},
%e A317792   {1}{1}{1}{1}.
%t A317792 sps[{}]:={{}};sps[set:{i_,___}]:=Join@@Function[s,Prepend[#,s]&/@sps[Complement[set,s]]]/@Cases[Subsets[set],{i,___}];
%t A317792 mps[set_]:=Union[Sort[Sort/@(#/.x_Integer:>set[[x]])]&/@sps[Range[Length[set]]]];
%t A317792 sysnorm[{}]:={};sysnorm[m_]:=If[Union@@m!=Range[Max@@Flatten[m]],sysnorm[m/.Rule@@@Table[{(Union@@m)[[i]],i},{i,Length[Union@@m]}]],First[Sort[sysnorm[m,1]]]];sysnorm[m_,aft_]:=If[Length[Union@@m]<=aft,{m},With[{mx=Table[Count[m,i,{2}],{i,Select[Union@@m,#>=aft&]}]},Union@@(sysnorm[#,aft+1]&/@Union[Table[Map[Sort,m/.{par+aft-1->aft,aft->par+aft-1},{0,1}],{par,First/@Position[mx,Max[mx]]}]])]];
%t A317792 allnorm[n_]:=Function[s,Array[Count[s,y_/;y<=#]+1&,n]]/@Subsets[Range[n-1]+1];
%t A317792 Table[Length[Union[sysnorm/@Select[Join@@mps/@allnorm[n],And@@(Union[#]==Range[Max@@#]&)/@#&]]],{n,6}]
%Y A317792 Cf. A001055, A007716, A045778, A281116, A317533, A317757, A317791, A317794, A317795.
%K A317792 nonn,more
%O A317792 0,3
%A A317792 _Gus Wiseman_, Aug 07 2018
%E A317792 a(10)-a(11) from _Robert Price_, Sep 15 2018