1, 1, 1, 1, 1, 2, 1, 1, 2, 3, 1, 1, 4, 5, 5, 1, 1, 11, 31, 15, 7, 1, 1, 36, 365, 379, 52, 11, 1, 1, 127, 6271, 25323, 6556, 203, 15, 1, 1, 463, 129130, 3086331, 3068521, 150349, 877, 22, 1, 1, 1717, 2877421, 512251515, 3309362716, 583027547, 4373461, 4140, 30
Offset: 0
[ n ] [0 1 2 3 4 5 6]
[ m ] ------------------------------------------------------
[ 0 ] [1, 1, 2, 3, 5, 7, 11] A000041
[ 1 ] [1, 1, 2, 5, 15, 52, 203] A000110
[ 2 ] [1, 1, 4, 31, 379, 6556, 150349] A005046
[ 3 ] [1, 1, 11, 365, 25323, 3068521, 583027547] A291973
[ 4 ] [1, 1, 36, 6271, 3086331, 3309362716, 6626013560301] A291975
A260878,A309725, ...
For example the number of set partitions of {1,2,...,9} with sizes in [9], [6,3] and [3,3,3] is 1, 84 and 280 respectively. Thus A(3,3) = 365.
Formatted as a triangle:
[1]
[1, 1]
[1, 1, 2]
[1, 1, 2, 3]
[1, 1, 4, 5, 5]
[1, 1, 11, 31, 15, 7]
[1, 1, 36, 365, 379, 52, 11]
[1, 1, 127, 6271, 25323, 6556, 203, 15]
.
From _Peter Luschny_, Aug 14 2019: (Start)
For example consider the case n = 4. There are five integer partitions of 4:
P = [[4], [3, 1], [2, 2], [2, 1, 1], [1, 1, 1, 1]]. The shapes are m times the parts of the integer partitions: S(m) = [[4m], [3m, m], [2m, 2m], [2m, m, m], [m, m, m, m]].
* In the case m = 1 we look at set partitions of {1, 2, 3, 4} with sizes in [[4], [3, 1], [2, 2], [2, 1, 1], [1, 1, 1, 1]] which gives rise to [1, 4, 3, 6, 1] with sum 15.
* In the case m = 2 we look at set partitions of {1, 2, .., 8} with sizes in [[8], [6, 2], [4, 4], [4, 2, 2], [2, 2, 2, 2]] which gives rise to [1, 28, 35, 210, 105] with sum 379.
* In the case m = 0 we look at set partitions of {} with sizes in [[0], [0, 0], [0, 0], [0, 0, 0], [0, 0, 0, 0]] which gives rise to [1, 1, 1, 1, 1] with sum 5 (because the only partition of the empty set is the set that contains the empty set, thus from the definition T(0,4) = Sum_{S(0)} card({0}) = A000041(4) = 5).
If n runs through 0, 1, 2,... then the result is an irregular triangle in which the n-th row lists multinomials for partitions of [m*n] which have only parts which are multiples of m. These are the triangles A080575 (m = 1), A257490 (m = 2), A327003 (m = 3), A327004 (m = 4). In the case m = 0 the triangle is A000012 subdivided into rows of length A000041. See the cross references how this case integrates into the full picture.
(End)
Comments