OFFSET
2,5
COMMENTS
A balanced reduced multisystem is either a finite multiset, or a multiset partition with at least two parts, not all of which are singletons, of a balanced reduced multisystem.
A prime index of n is a number m such that prime(m) divides n. The multiset of prime indices of n is row n of A112798. A multiset whose multiplicities are the prime indices of n (such as row n of A305936) is generally not the same as the multiset of prime indices of n. For example, the prime indices of 12 are {1,1,2}, while a multiset whose multiplicities are {1,1,2} is {1,1,2,3}.
FORMULA
T(2^n,k) = A008826(n,k).
EXAMPLE
Triangle begins:
{}
1
1
1 1
1 2
1 3 2
1 3
1 7 7
1 5 5
1 5 9 5
1 9 11
1 9 28 36 16
1 10 24 16
1 14 38 27
1 13 18
1 13 69 160 164 61
1 24 79 62
For example, row n = 12 counts the following multisystems:
{1,1,2,3} {{1},{1,2,3}} {{{1}},{{1},{2,3}}}
{{1,1},{2,3}} {{{1,1}},{{2},{3}}}
{{1,2},{1,3}} {{{1}},{{2},{1,3}}}
{{2},{1,1,3}} {{{1,2}},{{1},{3}}}
{{3},{1,1,2}} {{{1}},{{3},{1,2}}}
{{1},{1},{2,3}} {{{1,3}},{{1},{2}}}
{{1},{2},{1,3}} {{{2}},{{1},{1,3}}}
{{1},{3},{1,2}} {{{2}},{{3},{1,1}}}
{{2},{3},{1,1}} {{{2,3}},{{1},{1}}}
{{{3}},{{1},{1,2}}}
{{{3}},{{2},{1,1}}}
MATHEMATICA
nrmptn[n_]:=Join@@MapIndexed[Table[#2[[1]], {#1}]&, If[n==1, {}, Flatten[Cases[Reverse[FactorInteger[n]], {p_, k_}:>Table[PrimePi[p], {k}]]]]];
sps[{}]:={{}}; sps[set:{i_, ___}]:=Join@@Function[s, Prepend[#, s]&/@sps[Complement[set, s]]]/@Cases[Subsets[set], {i, ___}];
mps[set_]:=Union[Sort[Sort/@(#/.x_Integer:>set[[x]])]&/@sps[Range[Length[set]]]];
totm[m_]:=Prepend[Join@@Table[totm[p], {p, Select[mps[m], 1<Length[#]<Length[m]&]}], m];
Table[Length[Select[totm[nrmptn[n]], Depth[#]==k&]], {n, 2, 10}, {k, 2, Length[nrmptn[n]]}]
CROSSREFS
KEYWORD
nonn,tabf
AUTHOR
Gus Wiseman, Jan 04 2020
STATUS
approved