A386582 -id:A386582 - cp's OEIS frontend

A386585 Triangle read by rows where T(n,k) is the number of integer partitions y of n into k = 0..n parts such that any multiset whose multiplicities are the parts of y is separable.

1, 0, 1, 0, 0, 1, 0, 0, 1, 1, 0, 0, 1, 1, 1, 0, 0, 1, 2, 1, 1, 0, 0, 1, 2, 2, 1, 1, 0, 0, 1, 3, 3, 2, 1, 1, 0, 0, 1, 3, 4, 3, 2, 1, 1, 0, 0, 1, 5, 5, 5, 3, 2, 1, 1, 0, 0, 1, 4, 7, 6, 5, 3, 2, 1, 1

Offset: 0

Gus Wiseman, Aug 02 2025

We say that such partitions are of separable type.

A multiset is separable iff it has a permutation without any adjacent equal parts.

			Row n = 8 counts the following partitions:
  .  .  44  431  4211  41111  311111  2111111  11111111
            422  3311  32111  221111
            332  3221  22211
                 2222
with the following separable multisets:
  . . 11112222 11112223 11112234 11112345 11123456 11234567 12345678
               11112233 11122234 11122345 11223456
               11122233 11122334 11223345
                        11223344
Triangle begins:
  1
  0  1
  0  0  1
  0  0  1  1
  0  0  1  1  1
  0  0  1  2  1  1
  0  0  1  2  2  1  1
  0  0  1  3  3  2  1  1
  0  0  1  3  4  3  2  1  1
  0  0  1  5  5  5  3  2  1  1
  0  0  1  4  7  6  5  3  2  1  1

This is the separable type case of A072233 or A008284.
Row sums are A336106, ranks A335127.
For separable instead of separable type we have A386583, inseparable A386584.
For inseparable instead of separable we have A386586, sums A025065, ranks A335126.
A003242 and A335452 count anti-runs, ranks A333489, patterns A005649.
A239455 counts Look-and-Say partitions, ranks A351294.
A279790 counts disjoint families on strongly normal multisets.
A325534 counts separable multisets, ranks A335433.
A325535 counts inseparable multisets, ranks A335448.
A336103 counts normal separable multisets, inseparable A336102.
A351293 counts non-Look-and-Say partitions, ranks A351295.
A386633 counts separable set partitions, row sums of A386635.
A386634 counts inseparable set partitions, row sums of A386636.
Cf. A005651, A106351, A111133, A238130, A335434, A386575, A386576, A386579, A386580, A386581, A386582.

sepQ[y_]:=Select[Permutations[y],Length[Split[#]]==Length[y]&]!={};
mst[y_]:=Join@@Table[ConstantArray[k,y[[k]]],{k,Length[y]}];
Table[Length[Select[IntegerPartitions[n,{k}],sepQ[mst[#]]&]],{n,0,5},{k,0,n}]

a(n) = A072233(n) - A386586(n).

A386586 Triangle read by rows where T(n,k) is the number of integer partitions y of n into k parts such that any multiset whose multiplicities are the parts of y is inseparable.

Original entry on oeis.org

0, 0, 0, 0, 1, 0, 0, 1, 0, 0, 0, 1, 1, 0, 0, 0, 1, 1, 0, 0, 0, 0, 1, 2, 1, 0, 0, 0, 0, 1, 2, 1, 0, 0, 0, 0, 0, 1, 3, 2, 1, 0, 0, 0, 0, 0, 1, 3, 2, 1, 0, 0, 0, 0, 0, 0, 1, 4, 4, 2, 1, 0, 0, 0, 0, 0

Offset: 0

Gus Wiseman, Aug 05 2025

We say that such partitions are of inseparable type. This is different from inseparable partitions (see A386584). A multiset is separable iff it has a permutation without any adjacent equal parts.

			The partition y = (7,2,1) is the multiplicities of the multiset {1,1,1,1,1,1,1,2,2,3}, which is inseparable, so y is counted under T(10,3).
Row n = 10 counts the following partitions (A = 10):
  .  A  91  811  7111  61111  .  .  .  .  .
        82  721  6211
        73  631
        64  622
Triangle begins:
  0
  0 0
  0 1 0
  0 1 0 0
  0 1 1 0 0
  0 1 1 0 0 0
  0 1 2 1 0 0 0
  0 1 2 1 0 0 0 0
  0 1 3 2 1 0 0 0 0
  0 1 3 2 1 0 0 0 0 0
  0 1 4 4 2 1 0 0 0 0 0

This is the inseparable type case of A008284 or A072233.
Row sums shifted left once are A025065 (ranks A335126), separable version A336106 (ranks A335127).
For separable instead of inseparable type we have A386583.
For integer partitions instead of normal multisets we have A386584.
For separable type instead of inseparable type we have A386585.
A003242 and A335452 count anti-runs, ranks A333489, patterns A005649.
A239455 counts Look-and-Say partitions, ranks A351294.
A325534 counts separable multisets, ranks A335433.
A325535 counts inseparable multisets, ranks A335448.
A336103 counts normal separable multisets, inseparable A336102.
A351293 counts non-Look-and-Say partitions, ranks A351295.
Cf. A000670, A005651, A106351, A238130, A279790, A386575, A386576, A386579, A386582, A386634.

insepQ[y_]:=Select[Permutations[y],Length[Split[#]]==Length[y]&]=={};
ptm[y_]:=Join@@Table[ConstantArray[k,y[[k]]],{k,Length[y]}];
Table[Length[Select[IntegerPartitions[n,{k}],insepQ[ptm[#]]&]],{n,0,5},{k,0,n}]

a(n) = A072233(n) - A386585(n).

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

Original entry on oeis.org

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

Gus Wiseman, Jul 30 2025

nonn

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.

			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}}

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.

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}]

A386587 Number of ways to choose a pairwise disjoint family of strict integer partitions, one of each exponent in the prime factorization of n.

Original entry on oeis.org

1, 1, 1, 1, 1, 0, 1, 2, 1, 0, 1, 1, 1, 0, 0, 2, 1, 1, 1, 1, 0, 0, 1, 1, 1, 0, 2, 1, 1, 0, 1, 3, 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, 4, 0, 0, 1, 1, 0, 0, 1, 1, 1, 0, 1, 1, 0, 0, 1, 1, 2, 0, 1, 0, 0, 0, 0

Offset: 1

Gus Wiseman, Aug 06 2025

nonn

First differs from A382525 at a(216) = 1, A382525(216) = 2.

			The prime exponents of 864 = 2^5 * 3^3 are (5,3), with disjoint families {{3},{5}}, {{3},{1,4}}, {{5},{1,2}}, so a(864) = 3.

Positions of positive terms are A351294, conjugate A381432.
Positions of 0 are A351295, conjugate A381433.
For ordered set partitions we have A382525.
Positions of first appearances are A382775.
The separable case is A386575.
The inseparable case is A386582, see A386632.
A000110 counts set partitions, ordered A000670.
A003242 and A335452 count separations, ranks A333489.
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.
A386633 counts separable set partitions, row sums of A386635.
A386634 counts inseparable set partitions, row sums of A386636.
Cf. A001221, A001222, A008480, A025065, A051903, A051904, A056239, A130091, A336106, A373957, A386580.

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}]]]];
Table[Length[disjointFamilies[prix[n]]],{n,100}]

A386632 Numbers k such that there is a disjoint inseparable way to choose a strict integer partition of each exponent in the prime factorization of k.

Original entry on oeis.org

8, 16, 27, 32, 64, 81, 125, 128, 243, 256, 343, 512, 625, 729, 1024, 1331, 1536, 2048, 2187, 2197, 2304, 2401, 2560, 3072, 3125, 3456, 3584, 4096, 4608, 4913, 5120, 5184, 5632, 6144, 6400, 6561, 6656, 6859, 6912, 7168, 8192, 8704, 9216, 9728, 10240, 11264

Offset: 1

Gus Wiseman, Aug 04 2025

nonn

First cubefull number (A246549) not in this sequence is 216.
The first term that is not a prime power is 1536.
A set partition is inseparable iff the underlying set has no permutation whose adjacent elements always belong to different blocks. Note that this only depends on the sizes of the blocks.

			The prime indices of 2304 are {1,1,1,1,1,1,1,1,2,2}, and we have disjoint inseparable choice {{4,3,1},{2}}, so 2304 is in the sequence.
The terms together with their prime indices begin:
     8: {1,1,1}
    16: {1,1,1,1}
    27: {2,2,2}
    32: {1,1,1,1,1}
    64: {1,1,1,1,1,1}
    81: {2,2,2,2}
   125: {3,3,3}
   128: {1,1,1,1,1,1,1}
   243: {2,2,2,2,2}
   256: {1,1,1,1,1,1,1,1}
   343: {4,4,4}
   512: {1,1,1,1,1,1,1,1,1}
   625: {3,3,3,3}
   729: {2,2,2,2,2,2}

This is the inseparable case of A351294, positives in A386575, counted by A239455.
Also positions of positive terms in A386582.
A000110 counts set partitions, ordered A000670.
A003242 and A335452 count separations, ranks A333489.
A025065/A386638 counts inseparable type partitions, ranks A335126, sums of A386586.
A325534 counts separable multisets, ranks A335433, sums of A386583.
A325535 counts inseparable multisets, ranks A335448, sums of A386584.
A336106 counts separable type partitions, ranks A335127, sums of A386585.
A386633 counts separable type set partitions, row sums of A386635.
A386634 counts inseparable type set partitions, row sums of A386636.
Cf. A001221, A001222, A051903, A051904, A056239, A130091, A279790, A351293, A373957, A382525, A386587.

prix[n_]:=If[n==1,{},Flatten[Cases[FactorInteger[n],{p_,k_}:>Table[PrimePi[p],{k}]]]];
dsj[y_]:=Select[Tuples[IntegerPartitions/@Length/@Split[y]],UnsameQ@@Join@@#&];
insepQ[y_]:=2*Max[y]>Total[y]+1;
Join@@Position[Sign[Table[Length[Select[dsj[prix[n]],insepQ[Length/@#]&]],{n,1000}]],1]

cp's OEIS Frontend

A386585 Triangle read by rows where T(n,k) is the number of integer partitions y of n into k = 0..n parts such that any multiset whose multiplicities are the parts of y is separable.

Views

Author

Keywords

Comments

Examples

Crossrefs

Programs

Mathematica

Formula

A386586 Triangle read by rows where T(n,k) is the number of integer partitions y of n into k parts such that any multiset whose multiplicities are the parts of y is inseparable.

Views

Author

Keywords

Comments

Examples

Crossrefs

Programs

Mathematica

Formula

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

Views

Author

Keywords

Comments

Examples

Crossrefs

Programs

Mathematica

A386587 Number of ways to choose a pairwise disjoint family of strict integer partitions, one of each exponent in the prime factorization of n.

Views

Author

Keywords

Comments

Examples

Crossrefs

Programs

Mathematica

A386632 Numbers k such that there is a disjoint inseparable way to choose a strict integer partition of each exponent in the prime factorization of k.

Views

Author

Keywords

Comments

Examples

Crossrefs

Programs

Mathematica