A255942 -id:A255942 - cp's OEIS frontend

A255903 Number T(n,k) of collections of nonempty multisets with a total of n objects of exactly k colors; triangle T(n,k), n>=0, 0<=k<=n, read by rows.

1, 0, 1, 0, 2, 2, 0, 3, 8, 5, 0, 5, 23, 33, 15, 0, 7, 56, 141, 144, 52, 0, 11, 127, 492, 848, 675, 203, 0, 15, 268, 1518, 3936, 5190, 3396, 877, 0, 22, 547, 4320, 15800, 30710, 32835, 18270, 4140, 0, 30, 1072, 11567, 57420, 154410, 240012, 216006, 104656, 21147

Offset: 0

Alois P. Heinz, Mar 10 2015

T(n,k) is defined for n,k >= 0. The triangle contains only the terms with k<=n. T(n,k) = 0 for k>n.

In the case of exactly one color (k=1) each multiset of monochrome objects is fully described by its size and a collection of sizes corresponds to an integer partition. In the case of distinct colors for all objects (k=n) every multiset collection is a set partition.

			T(3,1) = 3: {{1},{1},{1}}, {{1},{1,1}}, {{1,1,1}}.
T(3,2) = 8: {{1},{1},{2}}, {{1},{2},{2}}, {{1},{1,2}}, {{1},{2,2}}, {{2},{1,1}}, {{2},{1,2}}, {{1,1,2}}, {{1,2,2}}.
T(3,3) = 5: {{1},{2},{3}}, {{1},{2,3}}, {{2},{1,3}}, {{3},{1,2}}, {{1,2,3}}.
Triangle T(n,k) begins:
  1;
  0,  1;
  0,  2,   2;
  0,  3,   8,    5;
  0,  5,  23,   33,    15;
  0,  7,  56,  141,   144,    52;
  0, 11, 127,  492,   848,   675,   203;
  0, 15, 268, 1518,  3936,  5190,  3396,   877;
  0, 22, 547, 4320, 15800, 30710, 32835, 18270, 4140;
  ...

Alois P. Heinz, Rows n = 0..140, flattened

Columns k=0-10 give: A000007, A000041 (for n>0), A255942, A255943, A255944, A255945, A255946, A255947, A255948, A255949, A255950.
Main and lower diagonals give: A000110, A255951, A255952, A255953, A255954, A255955, A255956, A255957, A255958, A255959, A255960.
Row sums give A255906.
Antidiagonal sums give A258450.
T(2n,n) gives A255907.
Cf. A075196, A317178, A326914, A326962, A327116, A327117.

with(numtheory):
A:= proc(n, k) option remember; `if`(n=0, 1, add(A(n-j, k)*
      add(d*binomial(d+k-1, k-1), d=divisors(j)), j=1..n)/n)
    end:
T:= (n, k)-> add(A(n, k-i)*(-1)^i*binomial(k, i), i=0..k):
seq(seq(T(n, k), k=0..n), n=0..12);

A[n_, k_] := A[n, k] = If[n==0, 1, Sum[A[n-j, k]*Sum[d*Binomial[d+k-1, k-1], {d, Divisors[j]}], {j, 1, n}]/n]; T[n_, k_] := Sum[A[n, k-i]*(-1)^i * Binomial[k, i], {i, 0, k}]; Table[Table[T[n, k], {k, 0, n}], {n, 0, 12} ] // Flatten (* Jean-François Alcover, Feb 20 2016, after Alois P. Heinz *)

T(n,k) = Sum_{i=0..k} (-1)^i * C(k,i) * A075196(n,k-i).

Sum_{k=0..n} k * T(n,k) = A317178(n).

A075197 Number of partitions of n balls of n colors.

Original entry on oeis.org

1, 1, 6, 38, 305, 2777, 28784, 330262, 4152852, 56601345, 829656124, 12992213830, 216182349617, 3804599096781, 70540645679070, 1373192662197632, 27982783451615363, 595355578447896291, 13193917702518844859, 303931339674133588444, 7263814501407389465610

Offset: 0

Christian G. Bower, Sep 07 2002

nonn

For each integer partition of n, consider each part of size k to be a box containing k balls of up to n color. Order among parts and especially among parts of the same size does not matter. - Olivier Gérard, Aug 26 2016

			Illustration of first terms, ordered by number of parts, size of parts and smallest color of parts, etc.
a(1) = 1:
  {{1}}
a(2) = 6 = 3+3:
  {{1,1}},{{1,2}},{{2,2}},
  {{1},{1}},{{1},{2}},{{2},{2}}
a(3) = 38 = 10+18+10:
  {{1,1,1}},{{1,1,2}},{{1,1,3}},{{1,2,2}},{{1,2,3}},{{1,3,3}},
  {{2,2,2}},{{2,2,3}},{{2,3,3}},{{3,3,3}},
  {{1},{1,1}},{{1},{1,2}},{{1},{1,3}},{{1},{2,2}},{{1},{2,3}},{{1},{3,3}},
  {{2},{1,1}},{{2},{1,2}},{{2},{1,3}},{{2},{2,2}},{{2},{2,3}},{{2},{3,3}},
  {{3},{1,1}},{{3},{1,2}},{{3},{1,3}},{{3},{2,2}},{{3},{2,3}},{{3},{3,3}},
  {{1},{1},{1}},{{1},{1},{2}},{{1},{1},{3}},{{1},{2},{2}},{{1},{2},{3}},{{1},{3},{3}},
  {{2},{2},{2}},{{2},{2},{3}},{{2},{3},{3}},{{3},{3},{3}}

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

Main diagonal of A075196.
Cf. A001700 (n balls of one color in n unlabeled boxes).
Cf. A209668 (boxes are ordered by size but not by content among a given size: order among boxes of the same size matters.),
Cf. A261783 (compositions of balls of n colors: boxes are labeled)
Cf. A252654 (lists instead of boxes : order of balls matter)
Cf. A000262 (lists instead of boxes and all n colors are used)
Cf. A255906 (the c colors used form the interval [1,c])
Cf. A255951 (the n-1 colors used form the interval [1,n-1])
Cf. A255942 (0/1 binary coloring)
Cf. A066186 (only 1 color among n = n * p(n))
Cf. A000110 (the n possible colors are used : set partitions of [n])
Cf. A005651 (the n possible colors are used and order of parts of the same size matters)
Cf. A000670 (the n possible colors are used and order of all parts matters)

with(numtheory):
A:= proc(n, k) option remember; `if`(n=0, 1, add(add(d*
      binomial(d+k-1, k-1), d=divisors(j))*A(n-j, k), j=1..n)/n)
    end:
a:= n-> A(n, n):
seq(a(n), n=0..20);  # Alois P. Heinz, Sep 26 2012

A[n_, k_] := A[n, k] = If[n == 0, 1, Sum[Sum[d*Binomial[d+k-1, k-1], {d, Divisors[j]}]*A[n-j, k], {j, 1, n}]/n]; a[n_] := A[n, n]; Table[a[n], {n, 0, 20}] (* Jean-François Alcover, Nov 11 2015, after Alois P. Heinz *)

a(n) = [x^n] Product_{k>=1} 1 / (1 - x^k)^binomial(k+n-1,n-1). - Ilya Gutkovskiy, May 09 2021

cp's OEIS Frontend

A255903 Number T(n,k) of collections of nonempty multisets with a total of n objects of exactly k colors; triangle T(n,k), n>=0, 0<=k<=n, read by rows.

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

Maple

Mathematica

Formula