A386575 Number of distinct separable and pairwise disjoint sets of strict integer partitions, one of each exponent in the prime factorization of n.

1, 1, 1, 1, 1, 0, 1, 1, 1, 0, 1, 1, 1, 0, 0, 1, 1, 1, 1, 1, 0, 0, 1, 1, 1, 0, 1, 1, 1, 0, 1, 1, 0, 0, 0, 0, 1, 0, 0, 1, 1, 0, 1, 1, 1, 0, 1, 1, 1, 1, 0, 1, 1, 1, 0, 1, 0, 0, 1, 0, 1, 0, 1, 1, 0, 0, 1, 1, 0, 0, 1, 1, 1, 0, 1, 1, 0, 0, 1, 1, 1, 0, 1, 0, 0, 0, 0, 1, 1, 0, 0, 1, 0, 0, 0, 2

Offset: 1

Author

Gus Wiseman, Jul 30 2025

Keywords

• nonn

Comments

A set partition is separable iff the underlying set has a permutation whose adjacent elements all belong to different blocks. Note that separability only depends on the sizes of the blocks.

Conjecture: a(n) > 0 iff the multiset of prime factors of n has a permutation with all distinct run lengths.

Examples

			The prime indices of 6144 are {1,1,1,1,1,1,1,1,1,1,1,2}, and we have the following a(6144) = 5 choices: {{1},{11}}, {{1},{5,6}}, {{1},{4,7}}, {{1},{3,8}}, {{1},{2,9}}. The other 2 disjoint families {{1},{2,4,5}} and {{1},{2,3,6}} are not separable.
The prime indices of 7776 are {1,1,1,1,1,2,2,2,2,2}, with separable disjoint families {{5},{2,3}}, {{5},{1,4}}, {{1,4},{2,3}}, so a(7776) = 3.
The prime indices of 15552 are {1,1,1,1,1,1,2,2,2,2,2}, with a(15552) = 5 choices: {{5},{6}}, {{5},{2,4}}, {{6},{2,3}}, {{6},{1,4}}, {{1,5},{2,3}}. The other disjoint family {{5},{1,2,3}} is not separable.
The a(n) families for n = 2, 96, 384, 1536, 3456, 20736:
  {{1}}  {{1},{5}}    {{1},{7}}    {{1},{9}}    {{3},{7}}      {{4},{8}}
         {{1},{2,3}}  {{1},{2,5}}  {{1},{2,7}}  {{3},{1,6}}    {{4},{1,7}}
                      {{1},{3,4}}  {{1},{3,6}}  {{3},{2,5}}    {{4},{2,6}}
                                   {{1},{4,5}}  {{7},{1,2}}    {{4},{3,5}}
                                                {{1,2},{3,4}}  {{8},{1,3}}
                                                               {{1,3},{2,6}}
		

Crossrefs

Positions of positive terms are A351294, conjugate A381432.

Positions of 0 are A351295, conjugate A381433.

For inseparable instead of separable we have A386582, see A386632.

This is the separable case of A386587 (ordered version A382525).

A000110 counts set partitions, ordered A000670.

A003242 and A335452 count separations, ranks A333489.

A025065(n - 2) counts partitions of inseparable type, ranks A335126, sums of A386586.

A239455 counts Look-and-Say partitions, complement A351293.

A279790 counts disjoint families on strongly normal multisets.

A325534 counts separable multisets, ranks A335433, sums of A386583.

A325535 counts inseparable multisets, ranks A335448, sums of A386584.

A336106 counts partitions of separable type, ranks A335127, sums of A386585.

A386633 counts separable set partitions, row sums of A386635.

A386634 counts inseparable set partitions, row sums of A386636.

Cf. A001221, A001222, A008480, A051903, A051904, A056239, A130091, A373957, A386580, A386581.

Programs

Mathematica

disjointFamilies[y_]:=Union[Sort/@Select[Tuples[IntegerPartitions/@Length/@Split[y]],UnsameQ@@Join@@#&]];
prix[n_]:=If[n==1,{},Flatten[Cases[FactorInteger[n],{p_,k_}:>Table[PrimePi[p],{k}]]]];
seps[ptn_,fir_]:=If[Total[ptn]==1,{{fir}},Join@@Table[Prepend[#,fir]&/@seps[MapAt[#-1&,ptn,fir],nex],{nex,Select[DeleteCases[Range[Length[ptn]],fir],ptn[[#]]>0&]}]];
seps[ptn_]:=If[Total[ptn]==0,{{}},Join@@(seps[ptn,#]&/@Range[Length[ptn]])];
Table[Length[Select[disjointFamilies[prix[n]],seps[Length/@#]!={}&]],{n,100}]