A386587 -id:A386587 - cp's OEIS frontend

A386634 Number of inseparable type set partitions of {1..n}.

0, 0, 1, 1, 5, 6, 37, 50, 345, 502, 3851, 5897, 49854, 79249, 730745, 1195147, 11915997, 19929390, 213332101, 363275555, 4150104224, 7172334477, 87003759195, 152231458128, 1952292972199, 3451893361661, 46625594567852, 83183249675125, 1179506183956655, 2120758970878892

Offset: 0

Gus Wiseman, Aug 09 2025

nonn

A set partition is of inseparable type 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.
A set partition is also of inseparable type iff its greatest block size is at least 2 more than the sum of its other block sizes.
This is different from inseparable partitions (A325535) and partitions of inseparable type (A386638 or A025065).

			The a(2) = 1 through a(5) = 6 set partitions:
  {{1,2}}  {{1,2,3}}  {{1,2,3,4}}    {{1,2,3,4,5}}
                      {{1},{2,3,4}}  {{1},{2,3,4,5}}
                      {{1,2,3},{4}}  {{1,2,3,4},{5}}
                      {{1,2,4},{3}}  {{1,2,3,5},{4}}
                      {{1,3,4},{2}}  {{1,2,4,5},{3}}
                                     {{1,3,4,5},{2}}

Alois P. Heinz, Table of n, a(n) for n = 0..250

For separable partitions we have A386583, sums A325534, ranks A335433.
For inseparable partitions we have A386584, sums A325535, ranks A335448.
For separable type partitions we have A386585, sums A336106, ranks A335127.
For inseparable type partitions we have A386586, sums A386638 or A025065, ranks A335126.
The complement is counted by A386633, sums of A386635.
Row sums of A386636.
A000110 counts set partitions, row sums of A048993.
A000670 counts ordered set partitions.
A003242 and A335452 count anti-runs, ranks A333489, patterns A005649.
A279790 counts disjoint families on strongly normal multisets.
A335434 counts separable factorizations, inseparable A333487.
A336103 counts normal separable multisets, inseparable A336102.
A386587 counts disjoint families of strict partitions of each prime exponent.
Cf. A001055, A124762, A239455, A335125, A386575, A386579.

sps[{}]:={{}};sps[set:{i_,_}]:=Join@@Function[s,Prepend[#,s]&/@sps[Complement[set,s]]]/@Cases[Subsets[set],{i,_}];
stnseps[stn_]:=Select[Permutations[Union@@stn],And@@Table[Position[stn,#[[i]]][[1,1]]!=Position[stn,#[[i+1]]][[1,1]],{i,Length[#]-1}]&]
Table[Length[Select[sps[Range[n]],stnseps[#]=={}&]],{n,0,5}]

a(12)-a(29) from Alois P. Heinz, Aug 10 2025

A386633 Number of separable type set partitions of {1..n}.

Original entry on oeis.org

1, 1, 1, 4, 10, 46, 166, 827, 3795, 20645, 112124, 672673, 4163743, 27565188, 190168577, 1381763398, 10468226150, 82844940414, 681863474058, 5832378929502, 51720008131148, 474862643822274, 4506628734688128, 44151853623626218, 445956917001833090, 4638586880336637692

Offset: 0

Gus Wiseman, Aug 09 2025

nonn

A set partition is of separable type iff the underlying set has a permutation whose adjacent elements always belong to different blocks. Note that this only depends on the sizes of the blocks.
A set partition is also of separable type iff its greatest block size is at most one more than the sum of all its other block sizes.
This is different from separable partitions (A325534) and partitions of separable type (A336106).

			The a(1) = 1 through a(4) = 10 set partitions:
  {{1}}  {{1},{2}}  {{1},{2,3}}    {{1,2},{3,4}}
                    {{1,2},{3}}    {{1,3},{2,4}}
                    {{1,3},{2}}    {{1,4},{2,3}}
                    {{1},{2},{3}}  {{1},{2},{3,4}}
                                   {{1},{2,3},{4}}
                                   {{1,2},{3},{4}}
                                   {{1},{2,4},{3}}
                                   {{1,3},{2},{4}}
                                   {{1,4},{2},{3}}
                                   {{1},{2},{3},{4}}

Alois P. Heinz, Table of n, a(n) for n = 0..250

For separable partitions see A386583, sums A325534, ranks A335433.
For inseparable partitions see A386584, sums A325535, ranks A335448.
For separable type partitions see A386585, sums A336106, ranks A335127.
For inseparable type partitions see A386586, sums A386638 or A025065, ranks A335126.
The complement is counted by A386634, sums of A386636.
Row sums of A386635.
A000110 counts set partitions, row sums of A048993.
A000670 counts ordered set partitions.
A003242 and A335452 count anti-runs, ranks A333489, patterns A005649.
A279790 counts disjoint families on strongly normal multisets.
A335434 counts separable factorizations, inseparable A333487.
A336103 counts normal separable multisets, inseparable A336102.
Cf. A001055, A072233, A106351, A190945, A239455, A239964, A335125, A386575, A386578, A386580, A386587.

sps[{}]:={{}};sps[set:{i_,_}]:=Join@@Function[s,Prepend[#,s]&/@sps[Complement[set,s]]]/@Cases[Subsets[set],{i,_}];
stnseps[stn_]:=Select[Permutations[Union@@stn],And@@Table[Position[stn,#[[i]]][[1,1]]!=Position[stn,#[[i+1]]][[1,1]],{i,Length[#]-1}]&]
Table[Length[Select[sps[Range[n]],stnseps[#]!={}&]],{n,0,5}]

a(12)-a(25) from Alois P. Heinz, Aug 10 2025

A386635 Triangle read by rows where T(n,k) is the number of separable type set partitions of {1..n} into k blocks.

Original entry on oeis.org

1, 0, 1, 0, 0, 1, 0, 0, 3, 1, 0, 0, 3, 6, 1, 0, 0, 10, 25, 10, 1, 0, 0, 10, 75, 65, 15, 1, 0, 0, 35, 280, 350, 140, 21, 1, 0, 0, 35, 770, 1645, 1050, 266, 28, 1, 0, 0, 126, 2737, 7686, 6951, 2646, 462, 36, 1, 0, 0, 126, 7455, 32725, 42315, 22827, 5880, 750, 45, 1

Offset: 0

Gus Wiseman, Aug 10 2025

A set partition is of separable type iff the underlying set has a permutation whose adjacent elements always belong to different blocks. Note that this only depends on the sizes of the blocks.
A set partition is also of separable type iff its greatest block size is at most one more than the sum of all its other blocks sizes.
This is different from separable partitions (A325534) and partitions of separable type (A336106).

			Row n = 4 counts the following set partitions:
  .  .  {{1,2},{3,4}}  {{1},{2},{3,4}}  {{1},{2},{3},{4}}
        {{1,3},{2,4}}  {{1},{2,3},{4}}
        {{1,4},{2,3}}  {{1},{2,4},{3}}
                       {{1,2},{3},{4}}
                       {{1,3},{2},{4}}
                       {{1,4},{2},{3}}
Triangle begins:
    1
    0    1
    0    0    1
    0    0    3    1
    0    0    3    6    1
    0    0   10   25   10    1
    0    0   10   75   65   15    1
    0    0   35  280  350  140   21    1

Column k = 2 appears to be A128015.
For separable partitions we have A386583, sums A325534, ranks A335433.
For inseparable partitions we have A386584, sums A325535, ranks A335448.
For separable type partitions we have A386585, sums A336106, ranks A335127.
For inseparable type partitions we have A386586, sums A386638 or A025065, ranks A335126.
Row sums are A386633.
The complement is counted by A386636, row sums A386634.
A000110 counts set partitions, row sums of A048993.
A000670 counts ordered set partitions.
A003242 and A335452 count anti-runs, ranks A333489, patterns A005649.
A239455 counts Look-and-Say partitions, ranks A351294, conjugate A381432.
A335434 counts separable factorizations, inseparable A333487.
A336103 counts normal separable multisets, inseparable A336102.
A351293 counts non-Look-and-Say partitions, ranks A351295, conjugate A381433.
A386587 counts disjoint families of strict partitions of each prime exponent.
Cf. A072233, A097805, A106351, A116861, A190945, A279790, A333382, A335125, A374252, A386575, A386578.

sps[{}]:={{}};sps[set:{i_,_}]:=Join@@Function[s,Prepend[#,s]&/@sps[Complement[set,s]]]/@Cases[Subsets[set],{i,_}];
stnseps[stn_]:=Select[Permutations[Union@@stn],And@@Table[Position[stn,#[[i]]][[1,1]]!=Position[stn,#[[i+1]]][[1,1]],{i,Length[#]-1}]&];
Table[Length[Select[sps[Range[n]],Length[#]==k&&stnseps[#]!={}&]],{n,0,5},{k,0,n}]

A386636 Triangle read by rows where T(n,k) is the number of inseparable type set partitions of {1..n} into k blocks.

Original entry on oeis.org

0, 0, 0, 0, 1, 0, 0, 1, 0, 0, 0, 1, 4, 0, 0, 0, 1, 5, 0, 0, 0, 0, 1, 21, 15, 0, 0, 0, 0, 1, 28, 21, 0, 0, 0, 0, 0, 1, 92, 196, 56, 0, 0, 0, 0, 0, 1, 129, 288, 84, 0, 0, 0, 0, 0, 0, 1, 385, 1875, 1380, 210, 0, 0, 0, 0, 0, 0, 1, 561, 2860, 2145, 330, 0, 0, 0, 0, 0, 0

Offset: 0

Gus Wiseman, Aug 10 2025

A set partition is of inseparable type 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.
A set partition is also of inseparable type iff its greatest block size is at least 2 more than the sum of all its other block sizes.
This is different from inseparable partitions (A325535) and partitions of inseparable type (A386638 or A025065).

			Row n = 6 counts the following set partitions:
  .  {123456}  {1}{23456}  {1}{2}{3456}  .  .  .
               {12}{3456}  {1}{2345}{6}
               {13}{2456}  {1}{2346}{5}
               {14}{2356}  {1}{2356}{4}
               {15}{2346}  {1}{2456}{3}
               {16}{2345}  {1234}{5}{6}
               {1234}{56}  {1235}{4}{6}
               {1235}{46}  {1236}{4}{5}
               {1236}{45}  {1245}{3}{6}
               {1245}{36}  {1246}{3}{5}
               {1246}{35}  {1256}{3}{4}
               {1256}{34}  {1345}{2}{6}
               {1345}{26}  {1346}{2}{5}
               {1346}{25}  {1356}{2}{4}
               {1356}{24}  {1456}{2}{3}
               {1456}{23}
               {12345}{6}
               {12346}{5}
               {12356}{4}
               {12456}{3}
               {13456}{2}
Triangle begins:
    0
    0    0
    0    1    0
    0    1    0    0
    0    1    4    0    0
    0    1    5    0    0    0
    0    1   21   15    0    0    0
    0    1   28   21    0    0    0    0
    0    1   92  196   56    0    0    0    0
    0    1  129  288   84    0    0    0    0    0
    0    1  385 1875 1380  210    0    0    0    0    0

For separable partitions we have A386583, sums A325534, ranks A335433.
For inseparable partitions we have A386584, sums A325535, ranks A335448.
For separable type partitions we have A386585, sums A336106, ranks A335127.
For inseparable type partitions we have A386586, sums A386638 or A025065, ranks A335126.
Row sums are A386634.
The complement is counted by A386635, row sums A386633.
A000110 counts set partitions, row sums of A048993.
A000670 counts ordered set partitions.
A003242 and A335452 count anti-runs, ranks A333489, patterns A005649.
A279790 counts disjoint families on strongly normal multisets.
A335434 counts separable factorizations, inseparable A333487.
A336103 counts normal separable multisets, inseparable A336102.
A386587 counts disjoint families of strict partitions of each prime exponent.
Cf. A008284, A072233, A097805, A106351, A116861, A124762, A129506, A190945, A239455, A335125, A374252, A386575.

sps[{}]:={{}};sps[set:{i_,_}]:=Join@@Function[s,Prepend[#,s]&/@sps[Complement[set,s]]]/@Cases[Subsets[set],{i,_}];
stnseps[stn_]:=Select[Permutations[Union@@stn],And@@Table[Position[stn,#[[i]]][[1,1]]!=Position[stn,#[[i+1]]][[1,1]],{i,Length[#]-1}]&]
Table[Length[Select[sps[Range[n]],Length[#]==k&&stnseps[#]=={}&]],{n,0,5},{k,0,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}]

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

Original entry on oeis.org

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

Offset: 1

Gus Wiseman, Jul 31 2025

nonn

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

			The prime indices of 9216 are {1,1,1,1,1,1,1,1,1,1,2,2}, with a(9216) = 2 choices: {{2},{1,4,5}} and {{2},{1,3,6}}. The other 4 disjoint families {{2},{10}}, {{2},{4,6}}, {{2},{3,7}}, {{2},{1,9}} are separable.
The prime indices of 15552 are {1,1,1,1,1,1,2,2,2,2,2}, with a(15552) = 1 choice: {{5},{1,2,3}}. The other 5 disjoint families {{5},{6}}, {{5},{2,4}}, {{6},{2,3}}, {{6},{1,4}}, {{1,5},{2,3}} are separable.

For separable instead of inseparable we have A386575.
This is the inseparable case of A386587 (ordered version A382525).
Positions of positive terms are A386632.
Positions of first appearances are A386637.
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 (ranks A351294), complement A351293 (ranks A351295).
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, A111133, 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}]

a(2^n) = A111133(n).

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

A386634 Number of inseparable type set partitions of {1..n}.

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

Mathematica

Extensions

A386633 Number of separable type set partitions of {1..n}.

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

Mathematica

Extensions

A386635 Triangle read by rows where T(n,k) is the number of separable type set partitions of {1..n} into k blocks.

Views

Author

Keywords

Comments

Examples

Crossrefs

Programs

Mathematica

A386636 Triangle read by rows where T(n,k) is the number of inseparable type set partitions of {1..n} into k blocks.

Views

Author

Keywords

Comments

Examples

Crossrefs

Programs

Mathematica

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

A386582 Number of distinct inseparable 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

Formula

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