A336138 -id:A336138 - cp's OEIS frontend

A336137 Number of set partitions of the binary indices of n with equal block-sums.

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

Offset: 0

Gus Wiseman, Jul 12 2020

nonn

A binary index of n is any position of a 1 in its reversed binary expansion. The binary indices of n are row n of A048793.

			The a(n) set partitions for n = 7, 59, 119, 367, 127:
  {123}    {12456}      {123567}      {1234679}    {1234567}
  {12}{3}  {126}{45}    {1236}{57}    {12346}{79}  {1247}{356}
           {15}{24}{6}  {156}{237}    {1249}{367}  {1256}{347}
                        {17}{26}{35}  {1267}{349}  {1346}{257}
                                      {169}{2347}  {167}{2345}
                                                   {16}{25}{34}{7}
The binary indices of 382 are {2,3,4,5,6,7,9}, with equal block-sum set partitions:
  {{2,7},{3,6},{4,5},{9}}
  {{2,4,6},{3,9},{5,7}}
  {{2,7,9},{3,4,5,6}}
  {{2,3,4,9},{5,6,7}}
  {{2,3,6,7},{4,5,9}}
  {{2,4,5,7},{3,6,9}}
  {{2,3,4,5,6,7,9}}
so a(382) = 7.

Gus Wiseman, Sequences counting and ranking multiset partitions whose part lengths, sums, or averages are constant or strict.

These set partitions are counted by A035470.
The version for twice-partitions is A279787.
The version for partitions of partitions is A305551.
The version for factorizations is A321455.
The version for normal multiset partitions is A326518.
The version for distinct block-sums is A336138.
Set partitions of binary indices are A050315.
Normal multiset partitions with equal lengths are A317583.
Normal multiset partitions with equal averages are A326520.
Multiset partitions with equal block-sums are ranked by A326534.
Cf. A000110, A007837, A032011, A038041, A271619, A275780, A322794.

bpe[n_]:=Join@@Position[Reverse[IntegerDigits[n,2]],1];
sps[{}]:={{}};sps[set:{i_,_}]:=Join@@Function[s,Prepend[#,s]&/@sps[Complement[set,s]]]/@Cases[Subsets[set],{i,_}];
Table[Length[Select[sps[bpe[n]],SameQ@@Total/@#&]],{n,0,100}]

A371788 Triangle read by rows where T(n,k) is the number of set partitions of {1..n} with exactly k distinct block-sums.

Original entry on oeis.org

1, 0, 1, 0, 1, 1, 0, 2, 2, 1, 0, 2, 8, 4, 1, 0, 2, 19, 24, 6, 1, 0, 2, 47, 95, 49, 9, 1, 0, 6, 105, 363, 297, 93, 12, 1, 0, 12, 248, 1292, 1660, 753, 158, 16, 1, 0, 11, 563, 4649, 8409, 5591, 1653, 250, 20, 1, 0, 2, 1414, 15976, 41264, 38074, 15590, 3249, 380, 25, 1

Offset: 0

Gus Wiseman, Apr 16 2024

			The set partition {{1,3},{2},{4}} has two distinct block-sums {2,4} so is counted under T(4,2).
Triangle begins:
     1
     0     1
     0     1     1
     0     2     2     1
     0     2     8     4     1
     0     2    19    24     6     1
     0     2    47    95    49     9     1
     0     6   105   363   297    93    12     1
     0    12   248  1292  1660   753   158    16     1
     0    11   563  4649  8409  5591  1653   250    20     1
     0     2  1414 15976 41264 38074 15590  3249   380    25     1
Row n = 4 counts the following set partitions:
  .  {{1,4},{2,3}}  {{1},{2,3,4}}    {{1},{2},{3,4}}  {{1},{2},{3},{4}}
     {{1,2,3,4}}    {{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,3},{2,4}}
                    {{1,2,3},{4}}
                    {{1,2,4},{3}}
                    {{1,3,4},{2}}

Row sums are A000110.
Column k = 1 is A035470.
A version for integer partitions is A116608.
For block lengths instead of sums we have A208437.
A008277 counts set partitions by length.
A275780 counts set partitions with distinct block-sums.
A371737 counts quanimous strict partitions, non-strict A321452.
A371789 counts non-quanimous sets, differences A371790.
Cf. A007837, A038041, A327899, A336137, A336138, A365663, A365661, A365925.

sps[{}]:={{}};sps[set:{i_,_}]:=Join@@Function[s,Prepend[#,s]& /@ sps[Complement[set,s]]]/@Cases[Subsets[set],{i,_}];
Table[Length[Select[sps[Range[n]], Length[Union[Total/@#]]==k&]],{n,0,5},{k,0,n}]

cp's OEIS Frontend

A336137 Number of set partitions of the binary indices of n with equal block-sums.

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

Mathematica