A219585 -id:A219585 - cp's OEIS frontend

A318286 Number of strict multiset partitions of a multiset whose multiplicities are the prime indices of n.

1, 1, 1, 2, 2, 3, 2, 5, 5, 5, 3, 9, 4, 7, 9, 15, 5, 18, 6, 16, 14, 10, 8, 31, 17, 14, 40, 25, 10, 34, 12, 52, 21, 19, 27, 70, 15, 25, 31, 59, 18, 57, 22, 38, 80, 33, 27, 120, 46, 67, 44, 56, 32, 172, 42, 100, 61, 43, 38, 141, 46, 55, 143, 203, 64, 91, 54, 80

Offset: 1

Gus Wiseman, Aug 23 2018

nonn

Andrew Howroyd, Table of n, a(n) for n = 1..500

Cf. A001055, A007716, A045778, A181821, A305936, A316980, A317776.

Cf. A318283, A318284, A318285, A318287, A318360, A318361.

nrmptn[n_]:=Join@@MapIndexed[Table[#2[[1]],{#1}]&,If[n==1,{},Flatten[Cases[FactorInteger[n]//Reverse,{p_,k_}:>Table[PrimePi[p],{k}]]]]];
strfacs[n_]:=If[n<=1,{{}},Join@@Table[Map[Prepend[#,d]&,Select[strfacs[n/d],Min@@#>d&]],{d,Rest[Divisors[n]]}]];
Table[Length[strfacs[Times@@Prime/@nrmptn[n]]],{n,60}]

permcount(v) = {my(m=1, s=0, k=0, t); for(i=1, #v, t=v[i]; k=if(i>1&&t==v[i-1], k+1, 1); m*=t*k; s+=t); s!/m}
sig(n)={my(f=factor(n)); concat(vector(#f~, i, vector(f[i, 2], j, primepi(f[i, 1]))))}
count(sig)={my(r=0, A=O(x*x^vecmax(sig))); for(n=1, vecsum(sig)+1, my(s=0); forpart(p=n, my(q=1/prod(i=1, #p, 1 - x^p[i] + A)); s+=prod(i=1, #sig, polcoef(q, sig[i]))*(-1)^#p*permcount(p)); r+=(-1)^n*s/n!); r/2}
a(n)={if(n==1, 1, count(sig(n)))} \\ Andrew Howroyd, Dec 18 2018

a(n) = A045778(A181821(n)).

a(prime(n)^k) = A219585(n, k). - Andrew Howroyd, Dec 17 2018

A094574 Number of (<=2)-covers of an n-set.

Original entry on oeis.org

1, 1, 5, 40, 457, 6995, 136771, 3299218, 95668354, 3268445951, 129468914524, 5868774803537, 301122189141524, 17327463910351045, 1109375488487304027, 78484513540137938209, 6098627708074641312182, 517736625823888411991202, 47791900951140948275632148

Offset: 0

Goran Kilibarda, Vladeta Jovovic, May 12 2004

nonn

Also the number of strict multiset partitions of {1, 1, 2, 2, 3, 3, ..., n, n}. For example, the a(2) = 5 strict multiset partitions of {1, 1, 2, 2} are (1122), (1)(122), (2)(112), (11)(22), (1)(2)(12). - Gus Wiseman, Jul 18 2018

			From _Gus Wiseman_, Sep 02 2019: (Start)
These are set-systems covering {1..n} with vertex-degrees <= 2. For example, the a(3) = 40 covers are:
  {123}  {1}{23}    {1}{2}{3}     {1}{2}{3}{12}
         {2}{13}    {1}{2}{13}    {1}{2}{3}{13}
         {3}{12}    {1}{2}{23}    {1}{2}{3}{23}
         {1}{123}   {1}{3}{12}    {1}{2}{13}{23}
         {12}{13}   {1}{3}{23}    {1}{2}{3}{123}
         {12}{23}   {2}{3}{12}    {1}{3}{12}{23}
         {13}{23}   {2}{3}{13}    {2}{3}{12}{13}
         {2}{123}   {1}{12}{23}
         {3}{123}   {1}{13}{23}
         {12}{123}  {1}{2}{123}
         {13}{123}  {1}{3}{123}
         {23}{123}  {2}{12}{13}
                    {2}{13}{23}
                    {2}{3}{123}
                    {3}{12}{13}
                    {3}{12}{23}
                    {12}{13}{23}
                    {1}{23}{123}
                    {2}{13}{123}
                    {3}{12}{123}
(End)

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

Row n=2 of A219585. - Alois P. Heinz, Nov 23 2012
Dominated by A003465.
Graphs with vertex-degrees <= 2 are A136281.
Cf. A002718, A007716, A020554, A020555, A050535, A094574, A136284, A316974, A327104, A327106, A327229.
Main diagonal of A346517.

facs[n_]:=facs[n]=If[n<=1,{{}},Join@@Table[Map[Prepend[#,d]&,Select[facs[n/d],Min@@#>=d&]],{d,Rest[Divisors[n]]}]];
Table[Length[Select[facs[Array[Prime,n,1,Times]^2],UnsameQ@@#&]],{n,0,6}] (* Gus Wiseman, Jul 18 2018 *)
m = 20;
a094577[n_] := Sum[Binomial[n, k]*BellB[2 n - k], {k, 0, n}];
egf = Exp[(1 - Exp[x])/2]*Sum[a094577[n]*(x/2)^n/n!, {n, 0, m}] + O[x]^m;
CoefficientList[egf + O[x]^m, x]*Range[0, m-1]! (* Jean-François Alcover, May 13 2019 *)

Row sums of A094573.

E.g.f: exp(-1-1/2*(exp(x)-1))*Sum(exp(x*binomial(n+1, 2))/n!, n=0..infinity) or exp((1-exp(x))/2)*Sum(A094577 (n)*(x/2)^n/n!, n=0..infinity).

A219727 Number A(n,k) of k-partite partitions of {n}^k into k-tuples; square array A(n,k), n>=0, k>=0, read by antidiagonals.

Original entry on oeis.org

1, 1, 1, 1, 1, 1, 1, 2, 2, 1, 1, 5, 9, 3, 1, 1, 15, 66, 31, 5, 1, 1, 52, 712, 686, 109, 7, 1, 1, 203, 10457, 27036, 6721, 339, 11, 1, 1, 877, 198091, 1688360, 911838, 58616, 1043, 15, 1, 1, 4140, 4659138, 154703688, 231575143, 26908756, 476781, 2998, 22, 1

Offset: 0

Alois P. Heinz, Nov 26 2012

A(n,k) is the number of factorizations of m^n where m is a product of k distinct primes. A(2,2) = 9: (2*3)^2 = 36 has 9 factorizations: 36, 3*12, 4*9, 3*3*4, 2*18, 6*6, 2*3*6, 2*2*9, 2*2*3*3.

A(n,k) is the number of (n*k) X k matrices with nonnegative integer entries and column sums n up to permutation of rows. - Andrew Howroyd, Dec 10 2018

			A(1,3) = 5: [(1,1,1)], [(1,1,0),(0,0,1)], [(1,0,1),(0,1,0)], [(1,0,0),(0,1,0),(0,0,1)], [(0,1,1),(1,0,0)].
A(2,2) = 9: [(2,2)], [(2,1),(0,1)], [(2,0),(0,2)], [(2,0),(0,1),(0,1)], [(1,2),(1,0)], [(1,1),(1,1)], [(1,1),(1,0),(0,1)], [(1,0),(1,0),(0,2)], [(1,0),(1,0),(0,1),(0,1)].
Square array A(n,k) begins:
  1,   1,    1,      1,        1,         1,         1,       1, ...
  1,   1,    2,      5,       15,        52,       203,     877, ...
  1,   2,    9,     66,      712,     10457,    198091, 4659138, ...
  1,   3,   31,    686,    27036,   1688360, 154703688, ...
  1,   5,  109,   6721,   911838, 231575143, ...
  1,   7,  339,  58616, 26908756, ...
  1,  11, 1043, 476781, ...
  1,  15, 2998, ...

Andrew Howroyd, Table of n, a(n) for n = 0..209

Columns k=0..3 give: A000012, A000041, A002774, A219678.
Rows n=0..4 give: A000012, A000110, A020555, A322487, A358781.
Main diagonal gives A322488.
Cf. A188392, A219585 (partitions of {n}^k into distinct k-tuples), A256384, A318284, A318951.

EulerT(v)={Vec(exp(x*Ser(dirmul(v,vector(#v,n,1/n))))-1, -#v)}
D(p, n, k)={my(v=vector(n)); for(i=1, #p, v[p[i]]++); EulerT(v)[n]^k/prod(i=1, #v, i^v[i]*v[i]!)}
T(n, k)={my(m=n*k, q=Vec(exp(O(x*x^m) + intformal((x^n-1)/(1-x)))/(1-x))); if(n==0, 1, sum(j=0, m, my(s=0); forpart(p=j, s+=D(p,n,k), [1,n]); s*q[#q-j]))} \\ Andrew Howroyd, Dec 11 2018

A188445 T(n,k) is the number of (n*k) X k binary arrays with nonzero rows in decreasing order and n ones in every column.

Original entry on oeis.org

1, 2, 0, 5, 1, 0, 15, 8, 0, 0, 52, 80, 5, 0, 0, 203, 1088, 205, 1, 0, 0, 877, 19232, 11301, 278, 0, 0, 0, 4140, 424400, 904580, 67198, 205, 0, 0, 0, 21147, 11361786, 101173251, 24537905, 250735, 80, 0, 0, 0, 115975, 361058000, 15207243828, 13744869502

Offset: 1

R. H. Hardin, Mar 31 2011

			Array begins:
============================================================================
n\k| 1 2 3   4       5          6             7              8             9
---+------------------------------------------------------------------------
1  | 1 2 5  15      52        203           877           4140         21147
2  | 0 1 8  80    1088      19232        424400       11361786     361058000
3  | 0 0 5 205   11301     904580     101173251    15207243828 2975725761202
4  | 0 0 1 278   67198   24537905   13744869502 11385203921707 ...
5  | 0 0 0 205  250735  425677958 1184910460297 ...
6  | 0 0 0  80  621348 5064948309 ...
7  | 0 0 0  15 1058139 ...
8  | 0 0 0   1 ...
...
Some solutions for 16 X 4:
  1 1 1 0    1 1 1 1    1 1 1 1    1 1 1 0    1 1 1 1
  1 0 1 1    1 1 0 1    1 1 0 0    1 0 1 1    1 1 0 0
  1 0 1 0    1 0 1 1    1 0 1 1    1 0 0 1    1 0 1 1
  1 0 0 1    1 0 0 0    1 0 0 0    1 0 0 0    1 0 0 0
  0 1 1 1    0 1 1 0    0 1 1 1    0 1 1 0    0 1 1 1
  0 1 0 1    0 1 0 0    0 1 0 0    0 1 0 1    0 1 0 0
  0 1 0 0    0 0 1 1    0 0 1 1    0 1 0 0    0 0 1 0
  0 0 0 0    0 0 0 0    0 0 0 0    0 0 1 1    0 0 0 1
  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 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 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 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    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 0    0 0 0 0

Andrew Howroyd, Table of n, a(n) for n = 1..181 (terms 1..69 from R. H. Hardin)

Rows 1..5 are A000110, A002718, A060486, A188446, A188447.
Columns 5..6 are A331127, A331129.
Column sums are A319190.
Cf. A059443, A060487, A188392, A219585, A318361, A330942, A330964, A331039.

WeighT(v)={Vec(exp(x*Ser(dirmul(v, vector(#v, n, (-1)^(n-1)/n))))-1, -#v)}
D(p, n, k)={my(v=vector(n)); for(i=1, #p, v[p[i]]++); WeighT(v)[n]^k/prod(i=1, #v, i^v[i]*v[i]!)}
T(n, k)={my(m=n*k+1, q=Vec(exp(intformal(O(x^m) - x^n/(1-x)))/(1+x))); if(n==0, 1, (-1)^m*sum(j=0, m, my(s=0); forpart(p=j, s+=(-1)^#p*D(p, n, k), [1, n]); s*q[#q-j])/2)} \\ Andrew Howroyd, Dec 16 2018

A(n,k) = 0 for n > 2^(k-1). - Andrew Howroyd, Jan 24 2020

A331315 Array read by antidiagonals: A(n,k) is the number of nonnegative integer matrices with k columns and any number of nonzero rows with column sums n and columns in nonincreasing lexicographic order.

Original entry on oeis.org

1, 1, 1, 1, 1, 1, 1, 2, 2, 1, 1, 4, 14, 4, 1, 1, 8, 150, 128, 8, 1, 1, 16, 2210, 10848, 1288, 16, 1, 1, 32, 41642, 1796408, 933448, 13472, 32, 1, 1, 64, 956878, 491544512, 1852183128, 85862144, 143840, 64, 1, 1, 128, 25955630, 200901557728, 7805700498776, 2098614254048, 8206774496, 1556480, 128, 1

Offset: 0

Andrew Howroyd, Jan 13 2020

The condition that the columns be in nonincreasing order is equivalent to considering nonequivalent matrices up to permutation of columns.

A(n,k) is the number of n-uniform k-block multisets of multisets.

			Array begins:
====================================================================
n\k | 0  1      2          3                4                  5
----+---------------------------------------------------------------
  0 | 1  1      1          1                1                  1 ...
  1 | 1  1      2          4                8                 16 ...
  2 | 1  2     14        150             2210              41642 ...
  3 | 1  4    128      10848          1796408          491544512 ...
  4 | 1  8   1288     933448       1852183128      7805700498776 ...
  5 | 1 16  13472   85862144    2098614254048 140102945876710912 ...
  6 | 1 32 143840 8206774496 2516804131997152 ...
     ...
The A(2,2) = 14 matrices are:
  [1 0]  [1 0]  [1 0]  [2 0]  [1 1]  [1 0]  [1 0]
  [1 0]  [0 1]  [0 1]  [0 1]  [1 0]  [1 1]  [1 0]
  [0 1]  [1 0]  [0 1]  [0 1]  [0 1]  [0 1]  [0 2]
  [0 1]  [0 1]  [1 0]
.
  [1 0]  [1 0]  [2 1]  [2 0]  [1 1]  [1 0]  [2 2]
  [0 2]  [0 1]  [0 1]  [0 2]  [1 1]  [1 2]
  [1 0]  [1 1]

Andrew Howroyd, Table of n, a(n) for n = 0..1325

Rows n=1..2 are A000012, A121227.
Columns k=0..2 are A000012, A011782, A331397.
The version with binary entries is A330942.
The version with distinct columns is A331278.
Other variations considering distinct rows and columns and equivalence under different combinations of permutations of rows and columns are:
All solutions: A316674 (all), A331568 (distinct rows).
Up to row permutation: A219727, A219585, A331161, A331160.
Up to column permutation: this sequence, A331572, A331278, A331570.
Nonisomorphic: A331485.
Cf. A317583.

T(n, k)={my(m=n*k); sum(j=0, m, binomial(binomial(j+n-1, n)+k-1, k)*sum(i=j, m, (-1)^(i-j)*binomial(i, j)))}

A(n,k) = Sum_{j=0..n*k} binomial(binomial(j+n-1,n)+k-1, k) * (Sum_{i=j..n*k} (-1)^(i-j)*binomial(i,j)).
A(n, k) = Sum_{j=0..k} abs(Stirling1(k, j))*A316674(n, j)/k!.
A(n, k) = Sum_{j=0..k} binomial(k-1, k-j)*A331278(n, j).
A(n, k) = A011782(n) * A330942(n, k) for k > 0.
A317583(n) = Sum_{d|n} A(n/d, d).

A219554 Number of bipartite partitions of (n,n) into distinct pairs.

Original entry on oeis.org

1, 2, 5, 17, 46, 123, 323, 809, 1966, 4660, 10792, 24447, 54344, 118681, 254991, 539852, 1127279, 2323849, 4733680, 9535079, 19005282, 37507802, 73333494, 142112402, 273092320, 520612305, 984944052, 1849920722, 3450476080, 6393203741, 11770416313, 21538246251

Offset: 0

Alois P. Heinz, Nov 22 2012

Number of factorizations of p^n*q^n into distinct factors where p, q are distinct primes.
From Vaclav Kotesovec, Feb 05 2016: (Start)
Formula (15) in the article by S. M. Luthra: "Partitions of bipartite numbers when the summands are unequal", p. 376, is incorrect. The similar error is also in the article by F. C. Auluck: "On partitions of bipartite numbers" (see A002774).
The correct formula (15) is q(m, n) ~ c/(2*sqrt(3)*Pi) * exp(3*c*(m*n)^(1/3) + 3*d*(m^(2/3)/n^(1/3) + n^(2/3)/m^(1/3)) - 3*log(2)/4 + (m/n + n/m)*log(2)/12 + 3*d^2/c - 3*d^2*(m/n + n/m)/c - 2*log(m*n)/3), where m and n are of the same order, c = (3/4*Zeta(3))^(1/3), d = Zeta(2)/(12*c).
If m = n then q(m,n) = a(n).
For the asymptotic formula for fixed m see A054242.
(End)

			a(0) = 1: [].
a(1) = 2: [(1,1)], [(1,0),(0,1)].
a(2) = 5: [(2,2)], [(2,1),(0,1)], [(2,0),(0,2)], [(1,2),(1,0)], [(1,1),(1,0),(0,1)].

Alois P. Heinz and Vaclav Kotesovec, Table of n, a(n) for n = 0..400 (terms 0..100 from Alois P. Heinz)
S. M. Luthra, Partitions of bipartite numbers when the summands are unequal, Proceedings of the Indian National Science Academy, vol. 23, 1957, issue 5A, p. 370-376. [broken link]

Column k=2 of A219585.
Cf. A002774, A219560, A219561, A219565.
Cf. A054242, A000009, A036469, A268345, A268346, A268347, A268348.

(* This program is not convenient for a large number of terms *)
a[n_] := If[n == 0, 1, (1/2) Coefficient[Product[O[x]^(n+1) + O[y]^(n+1) + (1 + x^i y^j ), {i, 0, n}, {j, 0, n}] // Normal, (x y)^n]];
a /@ Range[0, 31] (* Jean-François Alcover, Jun 26 2013, updated Sep 16 2019 *)
nmax = 20; p = 1; Do[Do[p = Expand[p*(1 + x^i*y^j)]; If[i*j != 0, p = Select[p, (Exponent[#, x] <= nmax) && (Exponent[#, y] <= nmax) &]], {i, 0, nmax}], {j, 0, nmax}]; p = Select[p, Exponent[#, x] == Exponent[#, y] &]; Flatten[{1, Table[Coefficient[p, x^n*y^n]/2, {n, 1, nmax}]}] (* Vaclav Kotesovec, Jan 15 2016 *)

a(n) = [x^n*y^n] 1/2 * Product_{i,j>=0} (1+x^i*y^j).
a(n) = A054242(2*n,n) = A201377(n,n).
a(n) ~ Zeta(3)^(1/3) * exp(3^(4/3) * Zeta(3)^(1/3) * n^(2/3) / 2^(2/3) + Pi^2 * n^(1/3) / (6^(4/3) * Zeta(3)^(1/3)) - Pi^4/(1296*Zeta(3))) / (2^(9/4) * 3^(1/6) * Pi * n^(4/3)). - Vaclav Kotesovec, Jan 31 2016

A331568 Array read by antidiagonals: A(n,k) is the number of nonnegative integer matrices with k columns and any number of distinct nonzero rows with column sums n.

Original entry on oeis.org

1, 1, 1, 1, 1, 1, 1, 3, 1, 1, 1, 13, 13, 3, 1, 1, 75, 313, 87, 3, 1, 1, 541, 14797, 11655, 539, 5, 1, 1, 4683, 1095601, 4498191, 439779, 2483, 11, 1, 1, 47293, 119621653, 3611504823, 1390686419, 14699033, 14567, 13, 1, 1, 545835, 17943752233, 5192498314767, 12006713338683, 397293740555, 453027131, 81669, 19, 1

Offset: 0

Andrew Howroyd, Jan 21 2020

			Array begins:
================================================================
n\k | 0  1     2         3               4                 5
----+-----------------------------------------------------------
  0 | 1  1     1         1               1                 1 ...
  1 | 1  1     3        13              75               541 ...
  2 | 1  1    13       313           14797           1095601 ...
  3 | 1  3    87     11655         4498191        3611504823 ...
  4 | 1  3   539    439779      1390686419    12006713338683 ...
  5 | 1  5  2483  14699033    397293740555 37366422896708825 ...
  6 | 1 11 14567 453027131 105326151279287 ...
  ...
The A(2,2) = 13 matrices are:
   [1 1]  [1 1]  [1 0]  [1 0]  [0 1]  [0 1]
   [1 0]  [0 1]  [1 1]  [0 1]  [1 1]  [1 0]
   [0 1]  [1 0]  [0 1]  [1 1]  [1 0]  [1 1]
.
   [2 1]  [2 0]  [1 2]  [1 0]  [0 2]  [0 1]  [2 2]
   [0 1]  [0 2]  [1 0]  [1 2]  [2 0]  [2 1]

Andrew Howroyd, Table of n, a(n) for n = 0..209

Rows n=0..3 are A000012, A000670, A331644, A331645.
Columns k=0..3 are A000012, A032020, A331646, A331647.
Cf. A219585, A331315, A331567, A331570, A331572, A331648.

EulerT(v)={Vec(exp(x*Ser(dirmul(v, vector(#v, n, 1/n))))-1, -#v)}
D(p, n, k)={my(v=vector(n)); for(i=1, #p, v[p[i]]++); EulerT(v)[n]^k/prod(i=1, #v, i^v[i]*v[i]!)}
T(n, k)={ my(m=n*k+1, q=Vec(exp(intformal(O(x^m) - x^n/(1-x)))), f=Vec(serlaplace(1/(1+x) + O(x*x^m))/(x-1))); if(n==0, 1, sum(j=1, m, my(s=0); forpart(p=j, s+=(-1)^#p*D(p, n, k), [1, n]); s*sum(i=j, m, q[i-j+1]*f[i]))); }

A331648(n) = Sum_{d|n} A(n/d, d).

A331160 Array read by antidiagonals: A(n,k) is the number of nonnegative integer matrices with k distinct columns and any number of distinct nonzero rows with column sums n and rows in decreasing lexicographic order.

Original entry on oeis.org

1, 1, 1, 0, 1, 1, 0, 1, 1, 1, 0, 1, 4, 2, 1, 0, 1, 27, 15, 2, 1, 0, 1, 266, 317, 44, 3, 1, 0, 1, 3599, 12586, 2763, 120, 4, 1, 0, 1, 62941, 803764, 390399, 21006, 319, 5, 1, 0, 1, 1372117, 75603729, 103678954, 10074052, 147296, 804, 6, 1

Offset: 0

Andrew Howroyd, Jan 10 2020

The condition that the rows be in decreasing order is equivalent to considering nonequivalent matrices with distinct rows up to permutation of rows.

			Array begins:
===================================================================
n\k | 0 1   2      3          4              5                6
----+--------------------------------------------------------------
  0 | 1 1   0      0          0              0                0 ...
  1 | 1 1   1      1          1              1                1 ...
  2 | 1 1   4     27        266           3599            62941 ...
  3 | 1 2  15    317      12586         803764         75603729 ...
  4 | 1 2  44   2763     390399      103678954      46278915417 ...
  5 | 1 3 120  21006   10074052    10679934500   21806685647346 ...
  6 | 1 4 319 147296  232165926   956594630508 8717423133548684 ...
  7 | 1 5 804 967829 4903530137 76812482919237 ...
      ...
The A(2,2) = 4 matrices are:
   [2 1]   [2 0]   [1 2]   [1 1]
   [0 1]   [0 2]   [1 0]   [1 0]
                           [0 1]

Andrew Howroyd, Table of n, a(n) for n = 0..209

Rows n=1..3 are A000012, A331316, A331344
Columns k=0..2 are A000012, A000009, A331317.
Cf. A219585, A331039, A331126, A331161, A331315, A331318.

EulerT(v)={Vec(exp(x*Ser(dirmul(v, vector(#v, n, 1/n))))-1, -#v)}
D(p, n, k)={my(v=vector(n)); for(i=1, #p, v[p[i]]++); binomial(EulerT(v)[n], k)*k!/prod(i=1, #v, i^v[i]*v[i]!)}
T(n, k)={my(m=n*k+1, q=Vec(exp(intformal(O(x^m) - x^n/(1-x)))/(1+x))); if(n==0, k<=1, (-1)^m*sum(j=0, m, my(s=0); forpart(p=j, s+=(-1)^#p*D(p, n, k), [1, n]); s*q[#q-j])/2)}

A(n, k) = Sum_{j=0..k} Stirling1(k, j)*A219585(n, j).

A331318(n) = Sum_{d|n} A(n/d, d).

A330964 Array read by antidiagonals: A(n,k) is the number of sets of nonempty subsets of a k-element set where each element appears in at most n subsets.

Original entry on oeis.org

1, 1, 1, 1, 2, 1, 1, 5, 2, 1, 1, 15, 8, 2, 1, 1, 52, 59, 8, 2, 1, 1, 203, 652, 109, 8, 2, 1, 1, 877, 9736, 3623, 128, 8, 2, 1, 1, 4140, 186478, 200522, 11087, 128, 8, 2, 1, 1, 21147, 4421018, 16514461, 2232875, 21380, 128, 8, 2, 1, 1, 115975, 126317785, 1912959395, 775098224, 15312665, 29228, 128, 8, 2, 1

Offset: 0

Andrew Howroyd, Jan 04 2020

A(n,k) is the number of binary matrices with k columns and any number of nonzero rows with rows in decreasing order and at most n ones in every column.

			Array begins:
==================================================================
n\k | 0 1 2   3     4         5             6                7
----+-------------------------------------------------------------
  0 | 1 1 1   1     1         1             1                1 ...
  1 | 1 2 5  15    52       203           877             4140 ...
  2 | 1 2 8  59   652      9736        186478          4421018 ...
  3 | 1 2 8 109  3623    200522      16514461       1912959395 ...
  4 | 1 2 8 128 11087   2232875     775098224     428188962261 ...
  5 | 1 2 8 128 21380  15312665   22165394234   57353442460140 ...
  6 | 1 2 8 128 29228  70197998  422059040480 5051078354829005 ...
  7 | 1 2 8 128 32297 227731312 5686426671375 ...
      ...
The T(1,2) = 5 set systems are:
  {},
  {{1,2}},
  {{1,2}, {2}},
  {{1},{1,2}},
  {{1}, {2}}.

Andrew Howroyd, Table of n, a(n) for n = 0..209

Rows n=0..4 are A000012, A000110, A178165, A178171, A178173.
Cf. A058891, A188445, A219585, A219727.
Main diagonal gives A374573.

WeighT(v)={Vec(exp(x*Ser(dirmul(v, vector(#v,n,(-1)^(n-1)/n))))-1,-#v)}
D(p, n, k)={my(v=vector(n)); for(i=1, #p, v[p[i]]++); (vecsum(WeighT(v)) + 1)^k/prod(i=1, #v, i^v[i]*v[i]!)}
T(n, k)={my(m=n*k+1, q=Vec(exp(intformal(O(x^m) - x^n/(1-x)))/(1+x))); if(n==0, 1, (-1)^m*sum(j=0, m, my(s=0); forpart(p=j, s+=(-1)^#p*D(p, n, k), [1, n]); s*q[#q-j])/2)}

Lim_{n->oo} A(n,k) = 2^k.

A219560 Number of tripartite partitions of (n,n,n) into distinct triples.

Original entry on oeis.org

1, 5, 40, 364, 2897, 21369, 148257, 970246, 6032341, 35850410, 204646488, 1126463948, 5999145787, 30999381232, 155798366059, 763194776551, 3650648583934, 17079277343463, 78262895082681, 351708874155894, 1551843168854346

Offset: 0

Alois P. Heinz, Nov 23 2012

Number of factorizations of (p*q*r)^n into distinct factors where p, q, r are distinct primes.

			a(0) = 1: [].
a(1) = 5: [(1,1,1)], [(1,1,0),(0,0,1)], [(1,0,1),(0,1,0)], [(0,1,1),(1,0,0)], [(0,0,1),(0,1,0),(1,0,0)].

Column k=3 of A219585.

Cf. A002774, A219554, A219561, A219565, A219678.

with(numtheory):
b:= proc(n, k) option remember;
      `if`(n>k, 0, 1) +`if`(isprime(n), 0,
      add(`if`(d>k, 0, b(n/d, d-1)), d=divisors(n) minus {1, n}))
    end:
a:= n-> b(30^n$2):
seq(a(n), n=0..10);  # Alois P. Heinz, May 26 2013

b[n_, k_] := b[n, k] = If[n > k, 0, 1] + If[PrimeQ[n], 0, Sum[If[d > k, 0, b[n/d, d - 1]], {d, Divisors[n][[2 ;; -2]]}]]; a[0] = 1; a[n_] := b[30^n, 30^n];  Table[an = a[n]; Print["a(", n, ") = ", an]; an, {n, 0, 20}] (* Jean-François Alcover, Jan 15 2016, after Alois P. Heinz *)

a(n) = [(x*y*z)^n] 1/2 * Product_{i,j,k>=0} (1+x^i*y^j*z^k).

a(16) from Alois P. Heinz, May 26 2013
a(17) from Alois P. Heinz, Sep 24 2014
More terms from Jean-François Alcover, Jan 15 2016

cp's OEIS Frontend

A318286 Number of strict multiset partitions of a multiset whose multiplicities are the prime indices of n.

Views

Author

Keywords

Links

Crossrefs

Programs

Mathematica

PARI

Formula

A094574 Number of (<=2)-covers of an n-set.

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

Mathematica

Formula

A219727 Number A(n,k) of k-partite partitions of {n}^k into k-tuples; square array A(n,k), n>=0, k>=0, read by antidiagonals.

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

PARI

A188445 T(n,k) is the number of (n*k) X k binary arrays with nonzero rows in decreasing order and n ones in every column.

Views

Author

Keywords

Examples

Links

Crossrefs

Programs

PARI

Formula

A331315 Array read by antidiagonals: A(n,k) is the number of nonnegative integer matrices with k columns and any number of nonzero rows with column sums n and columns in nonincreasing lexicographic order.

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

PARI

Formula

A219554 Number of bipartite partitions of (n,n) into distinct pairs.

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

Mathematica

Formula

A331568 Array read by antidiagonals: A(n,k) is the number of nonnegative integer matrices with k columns and any number of distinct nonzero rows with column sums n.

Views

Author

Keywords

Examples

Links

Crossrefs

Programs

PARI

Formula

A331160 Array read by antidiagonals: A(n,k) is the number of nonnegative integer matrices with k distinct columns and any number of distinct nonzero rows with column sums n and rows in decreasing lexicographic order.

Views

Author

Keywords

Comments

Examples