cp's OEIS Frontend

This is a front-end for the Online Encyclopedia of Integer Sequences, made by Christian Perfect. The idea is to provide OEIS entries in non-ancient HTML, and then to think about how they're presented visually. The source code is on GitHub.

Showing 1-10 of 11 results. Next

A330942 Array read by antidiagonals: A(n,k) is the number of binary matrices with k columns and any number of nonzero rows with n ones in every column and columns in nonincreasing lexicographic order.

Original entry on oeis.org

1, 1, 1, 1, 1, 1, 1, 2, 1, 1, 1, 4, 7, 1, 1, 1, 8, 75, 32, 1, 1, 1, 16, 1105, 2712, 161, 1, 1, 1, 32, 20821, 449102, 116681, 842, 1, 1, 1, 64, 478439, 122886128, 231522891, 5366384, 4495, 1, 1, 1, 128, 12977815, 50225389432, 975712562347, 131163390878, 256461703, 24320, 1, 1
Offset: 0

Views

Author

Andrew Howroyd, Jan 13 2020

Keywords

Comments

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 labeled n-uniform hypergraphs with multiple edges allowed and with k edges and no isolated vertices. When n=2 these objects are multigraphs.

Examples

			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 1    7        75           1105            20821 ...
  3 | 1 1   32      2712         449102        122886128 ...
  4 | 1 1  161    116681      231522891     975712562347 ...
  5 | 1 1  842   5366384   131163390878 8756434117294432 ...
  6 | 1 1 4495 256461703 78650129124911 ...
  ...
The A(2,2) = 7 matrices are:
   [1 0]  [1 0]  [1 0]  [1 1]  [1 0]  [1 0]  [1 1]
   [1 0]  [0 1]  [0 1]  [1 0]  [1 1]  [0 1]  [1 1]
   [0 1]  [1 0]  [0 1]  [0 1]  [0 1]  [1 1]
   [0 1]  [0 1]  [1 0]

Links

Crossrefs

Rows n=1..3 are A000012, A121316, A136246.
Columns k=0..3 are A000012, A000012, A226994, A137220.
The version with nonnegative integer entries is A331315.
Other variations considering distinct rows and columns and equivalence under different combinations of permutations of rows and columns are:
All solutions: A262809 (all), A331567 (distinct rows).
Up to row permutation: A188392, A188445, A331126, A331039.
Up to column permutation: this sequence, A331571, A331277, A331569.
Nonisomorphic: A331461, A331510, A331508, A331509.
Cf. A331638.

Programs

  • Mathematica
    T[n_, k_] := With[{m = n k}, Sum[Binomial[Binomial[j, n] + k - 1, k] Sum[ (-1)^(i - j) Binomial[i, j], {i, j, m}], {j, 0, m}]];
Table[T[n - k, k], {n, 0, 9}, {k, n, 0, -1}] // Flatten (* Jean-François Alcover, Apr 10 2020, from PARI *)
  • PARI
    T(n, k)={my(m=n*k); sum(j=0, m, binomial(binomial(j, n)+k-1, k)*sum(i=j, m, (-1)^(i-j)*binomial(i, j)))}

Formula

A(n,k) = Sum_{j=0..n*k} binomial(binomial(j,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))*A262809(n, j)/k!.
A(n, k) = Sum_{j=0..k} binomial(k-1, k-j)*A331277(n, j).
A331638(n) = Sum_{d|n} A(n/d, d).

A060090 Number of ordered bicoverings of an unlabeled n-set.

Original entry on oeis.org

1, 0, 3, 23, 290, 4298, 79143, 1702923, 42299820, 1188147639, 37276597020, 1291633545897, 48995506718702, 2019395409175529, 89864601931874318, 4294295828157319651, 219321170795303112118, 11922219151375200468886
Offset: 0

Views

Author

Vladeta Jovovic, Feb 25 2001

Keywords

Examples

			There are 23 ordered bicoverings of an unlabeled 3-set, 7 3-block bicoverings:
1 ( { 3 }, { 1, 2 }, { 1, 2, 3 } )
2 ( { 3 }, { 1, 2, 3 }, { 1, 2 } )
3 ( { 2, 3 }, { 1 }, { 1, 2, 3 } )
4 ( { 2, 3 }, { 1, 3 }, { 1, 2 } )
5 ( { 2, 3 }, { 1, 2, 3 }, { 1 } )
6 ( { 1, 2, 3 }, { 3 }, { 1, 2 } )
7 ( { 1, 2, 3 }, { 2, 3 }, { 1 } )
and 16 4-block bicoverings:
1 ( { 3 }, { 2 }, { 1 }, { 1, 2, 3 } )
2 ( { 3 }, { 2 }, { 1, 3 }, { 1, 2 } )
3 ( { 3 }, { 2 }, { 1, 2 }, { 1, 3 } )
4 ( { 3 }, { 2 }, { 1, 2, 3 }, { 1 } )
5 ( { 3 }, { 2, 3 }, { 1 }, { 1, 2 } )
6 ( { 3 }, { 2, 3 }, { 1, 2 }, { 1 } )
7 ( { 3 }, { 1, 2 }, { 2 }, { 1, 3 } )
8 ( { 3 }, { 1, 2 }, { 2, 3 }, { 1 } )
9 ( { 3 }, { 1, 2, 3 }, { 2 }, { 1 } )
10 ( { 2, 3 }, { 3 }, { 1 }, { 1, 2 } )
11 ( { 2, 3 }, { 3 }, { 1, 2 }, { 1 } )
12 ( { 2, 3 }, { 1 }, { 3 }, { 1, 2 } )
13 ( { 2, 3 }, { 1 }, { 1, 3 }, { 2 } )
14 ( { 2, 3 }, { 1, 3 }, { 2 }, { 1 } )
15 ( { 2, 3 }, { 1, 3 }, { 1 }, { 2 } )
16 ( { 1, 2, 3 }, { 3 }, { 2 }, { 1 } )

Links

Crossrefs

Row n=2 of A331571.
Row sums of A060092.
Cf. A060069, A060070, A060051, A060052, A060053, A002718, A059443.

Programs

  • PARI
    seq(n)={my(m=3*n\2, y='y + O('y^(n+1))); Vec(subst(Pol(serlaplace(exp(-x - x^2*y/(2*(1-y)) + O(x*x^m))*sum(k=0, m, 1/(1-y)^binomial(k, 2)*x^k/k!))), x, 1))} \\ Andrew Howroyd, Jan 30 2020

Formula

E.g.f. for ordered k-block bicoverings of an unlabeled n-set is exp(-x-x^2/2*y/(1-y)) * Sum_{k>=0} 1/(1-y)^binomial(k,2)*x^k/k!.

A331569 Array read by antidiagonals: A(n,k) is the number of binary matrices with k distinct columns and any number of distinct nonzero rows with n ones in every column and columns in decreasing lexicographic order.

Original entry on oeis.org

1, 1, 1, 0, 1, 1, 0, 1, 0, 1, 0, 1, 3, 0, 1, 0, 1, 17, 0, 0, 1, 0, 1, 230, 184, 0, 0, 1, 0, 1, 3264, 16936, 840, 0, 0, 1, 0, 1, 60338, 2711904, 768785, 0, 0, 0, 1, 0, 1, 1287062, 675457000, 1493786233, 21770070, 0, 0, 0, 1, 0, 1, 31900620, 232383728378, 5254074934990, 585810653616, 328149360, 0, 0, 0, 1
Offset: 0

Views

Author

Andrew Howroyd, Jan 20 2020

Keywords

Comments

The condition that the columns be in decreasing order is equivalent to considering nonequivalent matrices with distinct columns up to permutation of columns.
A(n,k) is the number of k-block n-uniform T_0 set systems without isolated vertices.

Examples

			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 0 3  17       230            3264             60338 ...
  3 | 1 0 0 184     16936         2711904         675457000 ...
  4 | 1 0 0 840    768785      1493786233     5254074934990 ...
  5 | 1 0 0   0  21770070    585810653616 30604798810581906 ...
  6 | 1 0 0   0 328149360 161087473081920 ...
  ...
The A(2,2) = 3 matrices are:
   [1 1]  [1 0]  [1 0]
   [1 0]  [1 1]  [0 1]
   [0 1]  [0 1]  [1 1]

Links

Crossrefs

Rows n=1..4 are A000012, A331649, A094631, A331650.
Cf. A330942, A331039, A331567, A331570, A331571, A331572, A331651.

Programs

  • PARI
    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]]++); binomial(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)))), f=Vec(serlaplace(1/(1+x) + O(x*x^m))/(x-1))); if(n==0, k<=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]))); }

Formula

A(n, k) = Sum_{j=0..k} Stirling1(k, j)*A331567(n, j)/k!.
A(n, k) = Sum_{j=0..k} (-1)^(k-j)*binomial(k-1, k-j)*A331571(n, j).
A331651(n) = Sum_{d|n} A(n/d, d).

A331570 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 columns in decreasing lexicographic order.

Original entry on oeis.org

1, 1, 1, 0, 1, 1, 0, 1, 1, 1, 0, 1, 6, 3, 1, 0, 1, 46, 42, 3, 1, 0, 1, 544, 1900, 268, 5, 1, 0, 1, 7983, 184550, 73028, 1239, 11, 1, 0, 1, 144970, 29724388, 57835569, 2448599, 7278, 13, 1, 0, 1, 3097825, 7137090958, 99940181999, 16550232235, 75497242, 40828, 19, 1
Offset: 0

Views

Author

Andrew Howroyd, Jan 21 2020

Keywords

Comments

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

Examples

			Array begins:
=============================================================
n\k | 0  1    2        3             4                  5
----+--------------------------------------------------------
  0 | 1  1    0        0             0                  0 ...
  1 | 1  1    1        1             1                  1 ...
  2 | 1  1    6       46           544               7983 ...
  3 | 1  3   42     1900        184550           29724388 ...
  4 | 1  3  268    73028      57835569        99940181999 ...
  5 | 1  5 1239  2448599   16550232235    311353753947045 ...
  6 | 1 11 7278 75497242 4388476386528 896320470282357104 ...
  ...
The A(2,2) = 6 matrices are:
   [1 1]  [1 0]  [1 0]  [2 1]  [2 0]  [1 0]
   [1 0]  [1 1]  [0 1]  [0 1]  [0 2]  [1 2]
   [0 1]  [0 1]  [1 1]

Links

Crossrefs

Rows 1..3 are A000012, A331704, A331705.
Columns k=0..3 are A000012, A032020, A331706, A331707.
Cf. A331315, A331568, A331569, A331571, A331572, A331708.

Programs

  • PARI
    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)/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, k<=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]))); }

Formula

A(n, k) = Sum_{j=0..k} Stirling1(k, j)*A331568(n, j)/k!.
A(n, k) = Sum_{j=0..k} (-1)^(k-j)*binomial(k-1, k-j)*A331572(n, j).
A331708(n) = Sum_{d|n} A(n/d, d).

A331572 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 and columns in nonincreasing lexicographic order.

Original entry on oeis.org

1, 1, 1, 1, 1, 1, 1, 2, 1, 1, 1, 4, 7, 3, 1, 1, 8, 59, 45, 3, 1, 1, 16, 701, 1987, 271, 5, 1, 1, 32, 10460, 190379, 73567, 1244, 11, 1, 1, 64, 190816, 30474159, 58055460, 2451082, 7289, 13, 1, 1, 128, 4098997, 7287577611, 100171963518, 16557581754, 75511809, 40841, 19, 1
Offset: 0

Views

Author

Andrew Howroyd, Jan 21 2020

Keywords

Comments

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

Examples

			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  1    7       59           701           10460 ...
  3 | 1  3   45     1987        190379        30474159 ...
  4 | 1  3  271    73567      58055460    100171963518 ...
  5 | 1  5 1244  2451082   16557581754 311419969572540 ...
  6 | 1 11 7289 75511809 4388702900099 ...
  ...
The A(2,2) = 7 matrices are:
   [1 1]  [1 0]  [1 0]  [2 1]  [2 0]  [1 0]  [2 2]
   [1 0]  [1 1]  [0 1]  [0 1]  [0 2]  [1 2]
   [0 1]  [0 1]  [1 1]

Links

Crossrefs

Rows n=0..3 are A000012, A011782, A331709, A331710.
Columns k=0..3 are A000012, A032020, A331711, A331712.
Cf. A331315, A331568, A331569, A331570, A331571, A331713.

Programs

  • PARI
    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 - 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)))), 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]))); }

Formula

A(n, k) = Sum_{j=0..k} abs(Stirling1(k, j))*A331568(n, j)/k!.
A(n, k) = Sum_{j=0..k} binomial(k-1, k-j)*A331570(n, j).
A331713(n) = Sum_{d|n} A(n/d, d).

A060092 Triangle T(n,k) of k-block ordered bicoverings of an unlabeled n-set, n >= 2, k = 3..n+floor(n/2).

Original entry on oeis.org

3, 7, 16, 12, 63, 125, 90, 18, 162, 722, 1716, 1680, 25, 341, 2565, 11350, 27342, 29960, 7560, 33, 636, 7180, 49860, 208302, 503000, 631512, 302400, 42, 1092, 17335, 173745, 1099602, 4389875, 10762299, 14975730, 9632700, 1247400
Offset: 2

Views

Author

Vladeta Jovovic, Feb 26 2001

Keywords

Comments

All columns are polynomials of order binomial(k, 2). - Andrew Howroyd, Jan 30 2020

Examples

			[3],
[7, 16],
[12, 63, 125, 90],
[18, 162, 722, 1716, 1680],
[25, 341, 2565, 11350, 27342, 29960, 7560],
[33, 636, 7180, 49860, 208302, 503000, 631512, 302400],
[42, 1092, 17335, 173745, 1099602, 4389875, 10762299, 14975730, 9632700, 1247400], ...
There are 23=7+16 ordered bicoverings of an unlabeled 3-set: 7 3-block bicoverings and 16 4-block bicoverings, cf. A060090.

Links

Crossrefs

Row sums are A060090.
Columns k=3..7 are A055998(n-1), A060091, A060093, A060094, A060095.
Cf. A059443, A060052, A060487, A060492, A094573, A331571.

Programs

  • PARI
    \\ gives g.f. of k-th column.
ColGf(k) = k!*polcoef(exp(-x - x^2*y/(2*(1-y)) + O(x*x^k))*sum(j=0, k, 1/(1-y)^binomial(j, 2)*x^j/j!), k) \\ Andrew Howroyd, Jan 30 2020
  • PARI
    T(n)={my(m=(3*n\2), y='y + O('y^(n+1))); my(g=serlaplace(exp(-x - x^2*y/(2*(1-y)) + O(x*x^m))*sum(k=0, m, 1/(1-y)^binomial(k, 2)*x^k/k!))); Mat([Col(p/y^2, -n) | p<-Vec(g)[2..m+1]])}
{ my(A=T(8)); for(n=2, matsize(A)[1], print(A[n, 3..3*n\2])) } \\ Andrew Howroyd, Jan 30 2020

Formula

E.g.f. for k-block ordered bicoverings of an unlabeled n-set is exp(-x-x^2/2*y/(1-y))*Sum_{k=0..inf} 1/(1-y)^binomial(k, 2)*x^k/k!.

A331567 Array read by antidiagonals: A(n,k) is the number of binary matrices with k columns and any number of distinct nonzero rows with n ones in every column.

Original entry on oeis.org

1, 1, 1, 1, 1, 1, 1, 3, 0, 1, 1, 13, 6, 0, 1, 1, 75, 120, 0, 0, 1, 1, 541, 6174, 1104, 0, 0, 1, 1, 4683, 449520, 413088, 5040, 0, 0, 1, 1, 47293, 49686726, 329520720, 18481080, 0, 0, 0, 1, 1, 545835, 7455901320, 491236986720, 179438982360, 522481680, 0, 0, 0, 1
Offset: 0

Views

Author

Andrew Howroyd, Jan 20 2020

Keywords

Examples

			Array begins:
===============================================================
n\k | 0 1 2    3          4              5                6
----+----------------------------------------------------------
  0 | 1 1 1    1          1              1                1 ...
  1 | 1 1 3   13         75            541             4683 ...
  2 | 1 0 6  120       6174         449520         49686726 ...
  3 | 1 0 0 1104     413088      329520720     491236986720 ...
  4 | 1 0 0 5040   18481080   179438982360 3785623968170400 ...
  5 | 1 0 0    0  522481680 70302503250720 ...
  6 | 1 0 0    0 7875584640 ...
  ...
The A(2,2) = 6 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]

Links

Crossrefs

Rows n=1..3 are A000670, A331640, A331641.
Column k=5 is A331642.
Cf. A188445, A330942, A331568, A331569, A331571, A331643.

Programs

  • PARI
    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)))), 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]))); }

Formula

A(n,k) = 0 for k > 0, n > 2^(k-1).
A(2^(k-1), k) = (2^k-1)! for k > 0.
A331643(n) = Sum_{d|n} A(n/d, d).

A060492 Triangle T(n,k) of k-block ordered tricoverings of an unlabeled n-set (n >= 3, k = 4..2n).

Original entry on oeis.org

4, 60, 120, 13, 375, 3030, 9030, 5040, 28, 1392, 24552, 207900, 838320, 1345680, 362880, 50, 4020, 130740, 2208430, 20334720, 101752560, 257065200, 261122400, 46569600, 80, 9960, 551640, 16365410, 274814760, 2709457128, 15812198640
Offset: 3

Views

Author

Vladeta Jovovic, Mar 20 2001

Keywords

Comments

A covering of a set is a tricovering if every element of the set is covered by exactly three blocks of the covering.
All columns are polynomials of order binomial(k, 3). - Andrew Howroyd, Jan 30 2020

Examples

			Triangle begins:
  [4, 60, 120],
  [13, 375, 3030, 9030, 5040],
  [28, 1392, 24552, 207900, 838320, 1345680, 362880],
  [50, 4020, 130740, 2208430, 20334720, 101752560, 257065200, 261122400, 46569600], [80, 9960, 551640, 16365410, 274814760, 2709457128, 15812198640, 52897521600, 91945022400, 64778313600, 8043235200],
   ...
There are 184 ordered tricoverings of an unlabeled 3-set: 4 4-block, 60 5-block and 120 6-block tricoverings (cf. A060491).

Links

Crossrefs

Row sums are A060491.
Columns k=4..6 are A060488, A060489, A060490.
Cf. A059443, A059530, A060052, A060092, A060487, A331571.

Programs

  • PARI
    \\ gives g.f. of k-th column.
ColGf(k) = k!*polcoef(exp(-x + x^2/2 + x^3*y/(3*(1-y)) + O(x*x^k) )*sum(j=0, k, 1/(1-y)^binomial(j, 3)*exp((-x^2/2)/(1-y)^j + O(x*x^k))*x^j/j!), k) \\ Andrew Howroyd, Jan 30 2020
  • PARI
    T(n)={my(m=2*n, y='y + O('y^(n+1))); my(g=serlaplace(exp(-x + x^2/2 + x^3*y/(3*(1-y)) + O(x*x^m))*sum(k=0, m, 1/(1-y)^binomial(k, 3)*exp((-x^2/2)/(1-y)^k + O(x*x^m))*x^k/k!))); Mat([Col(p/y^3, -n) | p<-Vec(g)[2..m+1]])}
{ my(A=T(8)); for(n=3, matsize(A)[1], print(A[n, 4..2*n])) } \\ Andrew Howroyd, Jan 30 2020

Formula

E.g.f. for ordered k-block tricoverings of an unlabeled n-set is exp(-x+x^2/2+x^3/3*y/(1-y))*Sum_{k=0..inf}1/(1-y)^binomial(k, 3)*exp(-x^2/2*1/(1-y)^n)*x^k/k!.

A060491 Number of ordered tricoverings of an unlabeled n-set.

Original entry on oeis.org

1, 0, 0, 184, 17488, 2780752, 689187720, 236477490418, 107317805999204, 62318195302890305, 45081693413563797127, 39762626850034005271588, 42009504510315968282400843, 52381340312720286113688037624, 76118747309505733406576769607755
Offset: 0

Views

Author

Vladeta Jovovic, Mar 20 2001

Keywords

Comments

A covering of a set is a tricovering if every element of the set is covered by exactly three blocks of the covering.

Examples

			There are 184 ordered tricoverings of an unlabeled 3-set: 4 4-block, 60 5-block and 120 6-block tricoverings (cf. A060492).

Links

Crossrefs

Row n=3 of A331571.
Row sums of A060492.
Cf. A060486, A060487, A060090, A060092, A060069, A060070, A060051, A060052, A060053, A002718, A059443.

Programs

  • PARI
    seq(n)={my(m=2*n\2, y='y + O('y^(n+1))); Vec(subst(Pol(serlaplace(exp(-x + x^2/2 + x^3*y/(3*(1-y)) + O(x*x^m))*sum(k=0, m, 1/(1-y)^binomial(k, 3)*exp((-x^2/2)/(1-y)^k + O(x*x^m))*x^k/k!))), x, 1))} \\ Andrew Howroyd, Jan 30 2020

Formula

E.g.f. for ordered k-block tricoverings of an unlabeled n-set is exp(-x+x^2/2+x^3/3*y/(1-y))*Sum_{k=0..inf}1/(1-y)^binomial(k, 3)*exp(-x^2/2*1/(1-y)^n)*x^k/k!.

Extensions

Terms a(11) and beyond from Andrew Howroyd, Jan 30 2020

A331652 Number of binary matrices with n columns and any number of distinct nonzero rows with 4 ones in every column and columns in nonincreasing lexicographic order.

Original entry on oeis.org

1, 0, 0, 840, 771305, 1496866413, 5261551562405, 29862266595102105, 256001890048602731140, 3158251998655622915889925, 53980217006281640348184149417, 1239061499733946652592749224572554, 37220984154655168600230783138660824904, 1431711029036285286788945015739877116840914
Offset: 0

Views

Author

Andrew Howroyd, Jan 24 2020

Keywords

Links

Crossrefs

Row n=4 of A331571.
Showing 1-10 of 11 results. Next

Started in 1964 by Neil J. A. Sloane | Maintained by The OEIS Foundation Inc.

Content is available under The OEIS End-User License Agreement.