login
Triangle T(n,k): number of ways of partitioning the n-element multiset {1,1,2,3,...,n-1} into exactly k nonempty parts, n>=1 and 1<=k<=n.
5

%I #13 Jul 28 2021 06:50:34

%S 1,1,1,1,2,1,1,5,4,1,1,11,16,7,1,1,23,58,41,11,1,1,47,196,215,90,16,1,

%T 1,95,634,1041,640,176,22,1,1,191,1996,4767,4151,1631,315,29,1,1,383,

%U 6178,21001,25221,13587,3696,526,37,1,1,767,18916,90055,146140,105042,38409,7638,831,46,1

%N Triangle T(n,k): number of ways of partitioning the n-element multiset {1,1,2,3,...,n-1} into exactly k nonempty parts, n>=1 and 1<=k<=n.

%F T(n,k) = S(n-1,k) + S(n-1,k-1) + C(k,2)*S(n-2,k), where S refers to Stirling numbers of the second kind (A008277), and C to binomial coefficients (A007318).

%e There are 58 ways to partition {1,1,2,3,4,5} into three nonempty parts.

%e The first few rows are:

%e 1;

%e 1, 1;

%e 1, 2, 1;

%e 1, 5, 4, 1;

%e 1, 11, 16, 7, 1;

%e 1, 23, 58, 41, 11, 1;

%e 1, 47, 196, 215, 90, 16, 1;

%e 1, 95, 634, 1041, 640, 176, 22, 1;

%e 1, 191, 1996, 4767, 4151, 1631, 315, 29, 1;

%e 1, 383, 6178, 21001, 25221, 13587, 3696, 526, 37, 1;

%e ...

%o (PARI) T(n,k) = stirling(n-1,k,2) + stirling(n-1,k-1,2) + binomial(k,2)*stirling(n-2,k,2); \\ _Michel Marcus_, Apr 24 2014

%Y The first five columns appear as A000012, A083329, A168583, A168584, A168585.

%Y Row sums give A035098.

%K nonn,easy,tabl

%O 1,5

%A _Andrew Woods_, Apr 24 2014