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-3 of 3 results.

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.
		

Crossrefs

Row sums are A060090.
Columns k=3..7 are A055998(n-1), A060091, A060093, A060094, A060095.

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!.

A060489 Number of 5-block ordered tricoverings of an unlabeled n-set.

Original entry on oeis.org

0, 0, 60, 375, 1392, 4020, 9960, 22200, 45730, 88543, 163000, 287650, 489610, 807625, 1295944, 2029165, 3108220, 4667690, 6884660, 9989345, 14277740, 20126570, 28010840, 38524310, 52403246, 70553825, 94083600, 124337460, 162938550, 211834647, 273350520, 350246835
Offset: 1

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.

Crossrefs

Column k=5 of A060492.

Formula

a(n) = binomial(n+9, 9) - 15*binomial(n+3, 3) + 45*binomial(n+1, 1) - 40*binomial(n, 0) + 9*binomial(n-1, -1).
G.f.: y^3*(-225*y^3 + 60 - 225*y + 342*y^2 + 90*y^5 - 50*y^6 + 9*y^7)/(-1+y)^10.
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} 1/(1-y)^binomial(k, 3)*exp(-x^2/2*1/(1-y)^n)*x^k/k!.

Extensions

a(1)=a(2)=0 prepended and terms a(30) and beyond from Andrew Howroyd, Jan 30 2020

A290776 Triangle T(n,k) read by rows: the number of connected, loopless, non-oriented, vertex-labeled graphs with n >= 0 edges and k >= 1 vertices, allowing multi-edges.

Original entry on oeis.org

1, 0, 1, 0, 1, 3, 0, 1, 7, 16, 0, 1, 12, 63, 125, 0, 1, 18, 162, 722, 1296, 0, 1, 25, 341, 2565, 10140, 16807, 0, 1, 33, 636, 7180, 47100, 169137, 262144, 0, 1, 42, 1092, 17335, 168285, 987567, 3271576, 4782969, 0, 1, 52, 1764, 37750, 509545, 4364017, 23315936, 72043092, 100000000
Offset: 0

Views

Author

R. J. Mathar, Aug 10 2017

Keywords

Comments

This is the vertex-labeled companion to A191646.

Examples

			The triangle starts in row n=0 with 1 <= k <= n+1 vertices as
  1;
  0, 1;
  0, 1,  3;
  0, 1,  7,   16;
  0, 1, 12,   63,   125;
  0, 1, 18,  162,   722,   1296;
  0, 1, 25,  341,  2565,  10140,   16807;
  0, 1, 33,  636,  7180,  47100,  169137,   262144;
  0, 1, 42, 1092, 17355, 168285,  987567,  3271576,  4782969;
  0, 1, 52, 1764, 37750, 509545, 4364017, 23315936, 72043092, 100000000;
  ...
		

Crossrefs

Cf. A055998 (k=3), A000272 (diagonal), A060091 (k=4?), A060093 (k=5?).

Programs

  • Mathematica
    S[m_, n_] := Binomial[Binomial[m, 2] + n - 1, n];
    R[nn_] := Module[{cc = Array[0&, {nn, nn}]}, cc[[1, 1]] = 1; For[m = 1, m <= nn, m++, For[n = 1, n <= nn-1, n++, cc[[m, n+1]] = S[m, n] - S[m-1, n] - Sum[Sum[Binomial[m-1, i-1]*cc[[i, j+1]]*S[m-i, n-j], {j, 1, n}], {i, 2, m-1}]]]; cc // Transpose];
    A = R[10];
    Table[A[[n, k]], {n, 1, Length[A]}, {k, 1, n}] // Flatten (* Jean-François Alcover, Aug 13 2018, after Andrew Howroyd *)
  • PARI
    \\ here S(m,n) is m nodes with n edges, not necessarily connected
    S(m,n)={ binomial(binomial(m,2) + n - 1, n) }
    R(N)={ my(C=matrix(N,N)); C[1,1]=1; for(m=1, N, for(n=1, N-1, C[m,n+1] = S(m,n) - S(m-1,n) - sum(i=2, m-1, sum(j=1, n, binomial(m-1, i-1)*C[i,j+1]*S(m-i, n-j))))); C~; }
    { my(A=R(10)); for(n=1, #A, for(k=1, n, print1(A[n,k],", ")); print) } \\ Andrew Howroyd, May 13 2018

Extensions

Terms a(34) and beyond from Andrew Howroyd, May 13 2018
Showing 1-3 of 3 results.