A059951 -id:A059951 - cp's OEIS frontend

A059443 Triangle T(n,k) (n >= 2, k = 3..n+floor(n/2)) giving number of bicoverings of an n-set with k blocks.

1, 4, 4, 13, 39, 25, 3, 40, 280, 472, 256, 40, 121, 1815, 6185, 7255, 3306, 535, 15, 364, 11284, 70700, 149660, 131876, 51640, 8456, 420, 1093, 68859, 759045, 2681063, 3961356, 2771685, 954213, 154637, 9730, 105, 3280, 416560, 7894992, 44659776, 103290096

Offset: 2

N. J. A. Sloane, Feb 01 2001

			T(2,3) = 1: 1|12|2.
T(3,3) = 4: 1|123|23, 12|13|23, 12|123|3, 123|13|2.
T(3,4) = 4: 1|12|23|3, 1|13|2|23, 1|123|2|3, 12|13|2|3.
Triangle T(n,k) begins:
:    1;
:    4,     4;
:   13,    39,     25,       3;
:   40,   280,    472,     256,      40;
:  121,  1815,   6185,    7255,    3306,     535,     15;
:  364, 11284,  70700,  149660,  131876,   51640,   8456,    420;
: 1093, 68859, 759045, 2681063, 3961356, 2771685, 954213, 154637, 9730, 105;
...

L. Comtet, Advanced Combinatorics, Reidel, 1974, p. 303, #40.
I. P. Goulden and D. M. Jackson, Combinatorial Enumeration, John Wiley and Sons, N.Y., 1983.

Alois P. Heinz, Rows n = 2..60, flattened
L. Comtet, Birecouvrements et birevêtements d'un ensemble fini, Studia Sci. Math. Hungar 3 (1968): 137-152. [Annotated scanned copy. Warning: the table of v(n,k) has errors.]

Columns k=3-10 give: A003462, A059945, A059946, A059947, A059948, A059949, A059950, A059951.
Row sums are A002718.
Main diagonal gives A275517.
Right border gives A275521.

nmax = 8; imax = 2*(nmax - 2); egf := E^(-x - 1/2*x^2*(E^y - 1))*Sum[(x^i/i!)*E^(Binomial[i, 2]*y), {i, 0, imax}]; fx = CoefficientList[ Series[ egf , {y, 0, imax}], y]*Range[0, imax]!; row[n_] := Drop[ CoefficientList[ Series[fx[[n + 1]], {x, 0, imax}], x], 3]; Table[ row[n], {n, 2, nmax}] // Flatten (* Jean-François Alcover, Sep 21 2012 *)

\ps 22;
s = 8; pv = vector(s); for(n=1,s,pv[n]=round(polcoeff(f(x,y),n,y)*n!));
for(n=1,s,for(m=3,poldegree(pv[n],x),print1(polcoeff(pv[n],m),", "))) \\ Gerald McGarvey, Dec 03 2009

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

T(n, k) = Sum{j=0..n} Stirling2(n, j) * A060052(j, k). - David Pasino, Sep 22 2016

More terms and additional comments from Vladeta Jovovic, Feb 14 2001

a(37) corrected by Gerald McGarvey, Dec 03 2009

A002718 Number of bicoverings of an n-set.

Original entry on oeis.org

1, 0, 1, 8, 80, 1088, 19232, 424400, 11361786, 361058000, 13386003873, 570886397340, 27681861184474, 1511143062540976, 92091641176725504, 6219762391554815200, 462595509951068027741, 37676170944802047077248, 3343539821715571537772071, 321874499078487207168905840

Offset: 0

N. J. A. Sloane

Another description: number of proper 2-covers of [1,...,n].

			For n=3, there are 8 collections of distinct subsets of {1,2,3} with the property that each of 1, 2, and 3 appears in exactly two subsets:
  {1,2,3},{1,2},{3}
  {1,2,3},{1,3},{2}
  {1,2,3},{2,3},{1}
  {1,2,3},{1},{2},{3}
  {1,2},{1,3},{2,3}
  {1,2},{1,3},{2},{3}
  {1,2},{2,3},{1},{3}
  {1,3},{2,3},{1},{2}
Therefore a(3) = 8. - _Michael B. Porter_, Jul 16 2016

L. Comtet, Advanced Combinatorics, Reidel, 1974, p. 303, #40.
I. P. Goulden and D. M. Jackson, Combinatorial Enumeration, John Wiley and Sons, N.Y., 1983.
N. J. A. Sloane, A Handbook of Integer Sequences, Academic Press, 1973 (includes this sequence).
N. J. A. Sloane and Simon Plouffe, The Encyclopedia of Integer Sequences, Academic Press, 1995 (includes this sequence).

Alois P. Heinz, Table of n, a(n) for n = 0..100
Peter Cameron, Thomas Prellberg, Dudley Stark, Asymptotic enumeration of 2-covers and line graphs, Discrete Math. 310 (2010), no. 2, 230-240 (see t_n).
L. Comtet, Birecouvrements et birevêtements d'un ensemble fini, Studia Sci. Math. Hungar 3 (1968): 137-152. [Annotated scanned copy. Warning: the table of v(n,k) has errors.]

Cf. A020554, A002719, A003462, A059945-A059951, A060053. Row sums of A059443.

nmax = 16; imax = 2*(nmax - 2); egf := E^(-x - 1/2*x^2*(E^y - 1))*Sum[(x^i/i!)*E^(Binomial[i, 2]*y), {i, 0, imax}]; fx = CoefficientList[Series[egf, {y, 0, imax}], y]*Range[0, imax]!; a[n_] := Drop[ CoefficientList[ Series[fx[[n + 1]], {x, 0, imax}], x], 3] // Total; Table[ a[n] , {n, 2, nmax}] (* Jean-François Alcover, Apr 04 2013 *)

E.g.f. for k-block bicoverings of an n-set is exp(-x-1/2*x^2*(exp(y)-1))*Sum_{i=0..inf} x^i/i!*exp(binomial(i, 2)*y).
Stirling_2 transform of A060053.
The e.g.f.'s of A002718 (T(x)) and A060053 (V(x)) are related by T(x) = V(e^x-1).
a(n) = Sum_{m=0..n + floor(n/2); k=0..n; s=0..min(m/2,k); t=0..m-2s} Stirling2(n,k) * k!/m! * binomial(m,2s) * A001147(s) * (-1)^(m+s+t) * binomial(m-2s,t) * binomial(t*(t-1)/2,k-s). Interpret m as the number of blocks in a bicovering, k the number of clumps of points that are always all together in blocks. This formula counts bicoverings by quotienting them to the clumpless case (an operation which preserves degree) and counting incidence matrices of those, and counts those matrices as the transposes of incidence matrices of labeled graphs with no isolated points and no isolated edges. - David Pasino, Jul 09 2016

More terms from Vladeta Jovovic, Feb 18 2001

a(0), a(1) prepended by Alois P. Heinz, Jul 29 2016

A060053 Number of r-bicoverings (or restricted proper 2-covers) of an n-set.

Original entry on oeis.org

1, 0, 1, 5, 43, 518, 8186, 163356, 3988342, 116396952, 3985947805, 157783127673, 7131072006829, 364166073164914, 20827961078794845, 1323968417981743817, 92917890994442697487, 7157607311779373890120, 602043767970637640566684

Offset: 0

Vladeta Jovovic, Feb 15 2001

A bicovering is called an r-bicovering if the intersection of every two blocks contains at most one element.
Another name for this sequence is the number of restricted proper 2-covers of [1,...,n].
Number of T_0 2-regular set-systems on an n-set. - Andrew Howroyd, Jan 08 2020

			There are 5 r-bicoverings of a 3-set: 1 3-block bicovering {{1, 2}, {1, 3}, {2, 3}} and 4 4-block bicoverings {{1}, {2}, {3}, {1, 2, 3}}, {{2}, {3}, {1, 2}, {1, 3}}, {{1}, {3}, {1, 2}, {2, 3}}, {{1}, {2}, {1, 3}, {2, 3}}.
G.f. = 1 + x^2 + 5*x^3 + 43*x^4 + 518*x^5 + 8186*x^6 + 163356*x^7 + ...

I. P. Goulden and D. M. Jackson, Combinatorial Enumeration, John Wiley and Sons, N.Y., 1983. (See p. 203.)

Robert Gerbicz, Table of n, a(n) for n = 0..100
Peter Cameron, Thomas Prellberg, and Dudley Stark, Asymptotic enumeration of 2-covers and line graphs, arXiv:0707.0664 [math.CO], 2007.
Peter Cameron, Thomas Prellberg, and Dudley Stark, Asymptotic enumeration of 2-covers and line graphs, Discrete Math. 310 (2010), no. 2, 230-240. (See v_n.)

Row 2 of A331039.
Row sums of A060052.
Cf. A060051, A002718, A059443, A003462, A059945-A059951.

A060053 := proc(n) local h, m; h := (m,n) -> add((-1/2)^k*binomial(m*(m-1)/2,n-k)/k!, k=0..n); n!*add(h(m,n)/m!, m=0..3*n); ceil(evalf(%/exp(1),99)) end: seq(A060053(i), i=0..18);
# Caveat computator! Limited accuracy. Do not use it for n > 50. - Peter Luschny, Jul 06 2011

f[n_] := FullSimplify[(n!/E)*Sum[(1/m!)*Sum[(-1/2)^k*Binomial[m*(m - 1)/2,
n - k]/k!, {k, 0, n}], {m, 0, Infinity}]] (* Robert G. Wilson v, Jul 03 2011 *)

a(n)=round(n!/exp(1)*sum(m=0,3*n+1,1/m!*sum(k=0,n,(-1/2)^k*binomial(m*(m-1)/2,n-k)/k!)))

\\ here egf1 is A020556 as e.g.f.
egf1(n)={my(bell=serlaplace(exp(exp(x + O(x^(2*n+1)))-1))); sum(i=0, n, sum(k=0, i, (-1)^k*binomial(i,k)*polcoef(bell, 2*i-k))*x^i/i!) + O(x*x^n)}
seq(n)={my(A=egf1(n), B=log(1+x + O(x*x^n))/2); Vec(serlaplace(exp(-x/2 + O(x*x^n))*sum(k=0, n, polcoef(A,k)*B^k)))} \\ Andrew Howroyd, Jan 13 2020

E.g.f. for number of k-block r-bicoverings of an n-set is exp(-x-x^2*y/2)*Sum_{i=0..inf} (1+y)^binomial(i, 2)*x^i/i!.
a(n) = row sums of A060052.
Inverse binomial transform of A014500. - Vladeta Jovovic, Aug 22 2006
The e.g.f.'s of A002718 (T(x)) and A060053 (V(x)) are related by T(x) = V(e^x-1).
The e.g.f.'s of A014500 (U(x)) and A060053 (V(x)) are related by U(x) = e^x*V(x).
E.g.f.: exp(-x/2)*(Sum_{k>=0} A020556(k)*(log(1 + x)/2)^k/k!). - Andrew Howroyd, Jan 13 2020

A060487 Triangle T(n,k) of k-block tricoverings of an n-set (n >= 3, k >= 4).

Original entry on oeis.org

1, 3, 1, 7, 57, 95, 43, 3, 35, 717, 3107, 4520, 2465, 445, 12, 155, 7845, 75835, 244035, 325890, 195215, 50825, 4710, 70, 651, 81333, 1653771, 10418070, 27074575, 33453959, 20891962, 6580070, 965965, 52430, 465

Offset: 3

Vladeta Jovovic, Mar 20 2001

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

			Triangle begins:
  [1, 3, 1];
  [7, 57, 95, 43, 3];
  [35, 717, 3107, 4520, 2465, 445, 12];
  [155, 7845, 75835, 244035, 325890, 195215, 50825, 4710, 70];
  [651, 81333, 1653771, 10418070, 27074575, 33453959, 20891962, 6580070, 965965, 52430, 465];
   ...
There are 205 tricoverings of a 4-set(cf. A060486): 7 4-block, 57 5-block, 95 6-block, 43 7-block and 3 8-block tricoverings.

Andrew Howroyd, Table of n, a(n) for n = 3..1157

Columns include A060483, A060484, A060485.
Row sums are A060486.
Cf. A006095, A060090-A060095, A060069, A060070, A060051-A060053, A002718, A059443, A003462, A059945-A059951.

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]!)}
row(n, k)={my(m=n*k+1, q=Vec(exp(intformal(O(x^m) - x^n/(1-x)))/(y+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])*y^(m-n)/(1+y))}
for(n=3, 8, print(Vecrev(row(3,n)))); \\ Andrew Howroyd, Dec 23 2018

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

A060486 Tricoverings of an n-set.

Original entry on oeis.org

1, 0, 0, 5, 205, 11301, 904580, 101173251, 15207243828, 2975725761202, 738628553556470, 227636079973503479, 85554823285296622543, 38621481302086460057613, 20669385794052533823555309, 12966707189875262685801947906, 9441485712482676603570079314728

Offset: 0

Vladeta Jovovic, Mar 20 2001

nonn

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

			There are 1 4-block tricovering, 3 5-block tricoverings and 1 6-block tricovering of a 3-set (cf. A060487), so a(3)=5.

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

Row 3 of A188445.

Cf. A006095, A060483-A060485, (row sums of) A060487, A060090-A060095, A060069, A060070, A060051-A060053, A002718, A059443, A003462, A059945-A059951.

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

Terms a(11) and beyond from Andrew Howroyd, Dec 15 2018

A060483 Number of 5-block tricoverings of an n-set.

Original entry on oeis.org

3, 57, 717, 7845, 81333, 825237, 8300757, 83202645, 832809813, 8331237717, 83324947797, 833299785045, 8333199127893, 83332796486997, 833331185898837, 8333324743497045, 83333298973791573, 833333195894773077, 8333332783578305877, 83333331134311650645

Offset: 3

Vladeta Jovovic, Mar 20 2001

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

Andrew Howroyd, Table of n, a(n) for n = 3..500
Index entries for linear recurrences with constant coefficients, signature (17,-84,148,-80).

Column k=5 of A060487.

Cf. A006095, A060484, A060485, A060486, A060090-A060095, A060069, A060070, A060051-A060053, A002718, A059443, A003462, A059945-A059951.

Vec(3*(1+2*x)/(x-1)/(2*x-1)/(4*x-1)/(10*x-1)+O(x^99)) \\ Charles R Greathouse IV, Jan 11 2013

a(n) = (1/5!)*(10^n - 15*4^n + 45*2^n - 40).
Generally, e.g.f. for k-block tricoverings of an n-set is exp(-x+x^2/2+(exp(y)-1)*x^3/3)*Sum_{k=0..inf}x^k/k!*exp(-1/2*x^2*exp(k*y))*exp(binomial(k, 3)*y).
G.f.: 3*x^3*(2*x+1) / ((x-1)*(2*x-1)*(4*x-1)*(10*x-1)). - Colin Barker, Jan 11 2013

More terms from Colin Barker, Jan 11 2013

A060484 Number of 6-block tricoverings of an n-set.

Original entry on oeis.org

1, 95, 3107, 75835, 1653771, 34384875, 700030507, 14116715435, 283432939691, 5679127043755, 113683003777707, 2274630646577835, 45502044971338411, 910133025632152235, 18203564201836161707, 364080180268471397035

Offset: 3

Vladeta Jovovic, Mar 20 2001

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

Andrew Howroyd, Table of n, a(n) for n = 3..200
Index entries for linear recurrences with constant coefficients, signature (45,-720,5220,-17664,25920,-12800).

Column k=6 of A060487.

Cf. A006095, A060483, A060485, A060486, A060090-A060095, A060069, A060070, A060051-A060053, A002718, A059443, A003462, A059945-A059951.

With[{c=1/6!},Table[c(20^n-6*10^n-15*8^n+135*4^n-310*2^n+240),{n,3,20}]] (* or *) LinearRecurrence[{45,-720,5220,-17664,25920,-12800},{1,95,3107,75835,1653771,34384875},20] (* Harvey P. Dale, Jan 05 2017 *)

a(n) = (1/6!)*(20^n - 6*10^n - 15*8^n + 135*4^n - 310*2^n + 240) \\ Andrew Howroyd, Dec 15 2018

a(n) = (1/6!)*(20^n - 6*10^n - 15*8^n + 135*4^n - 310*2^n + 240).
E.g.f. for k-block tricoverings of an n-set is exp(-x+x^2/2+(exp(y)-1)*x^3/3)*Sum_{k=0..inf}x^k/k!*exp(-1/2*x^2*exp(k*y))*exp(binomial(k, 3)*y).
G.f.: -x^3*(800*x^3+448*x^2-50*x-1) / ((x-1)*(2*x-1)*(4*x-1)*(8*x-1)*(10*x-1)*(20*x-1)). - Colin Barker, Jan 12 2013
a(n) = 45*a(n-1)-720*a(n-2)+5220*a(n-3)-17664*a(n-4)+25920*a(n-5)-12800*a(n-6). - Wesley Ivan Hurt, Oct 18 2021

A060485 Number of 7-block tricoverings of an n-set.

Original entry on oeis.org

43, 4520, 244035, 10418070, 401861943, 14778678180, 530817413155, 18837147108890, 664260814445943, 23345018969140440, 818942064306004275, 28699514624047140510, 1005201938765467579543, 35196266296400319440300

Offset: 4

Vladeta Jovovic, Mar 20 2001

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

Andrew Howroyd, Table of n, a(n) for n = 4..200
Index entries for linear recurrences with constant coefficients, signature (110, -4991, 124120, -1887459, 18470550, -118758569, 501056740, -1355000500, 2223560000, -1973160000, 705600000).

Column k=7 of A060487.

Cf. A006095, A060483, A060484, A060486, A060090-A060095, A060069, A060070, A060051-A060053, A002718, A059443, A003462, A059945-A059951.

a(n) = (1/7!)*(35^n - 7*20^n - 21*15^n + 42*10^n + 105*8^n + 105*7^n + 70*5^n - 945*4^n - 525*3^n + 2450*2^n - 1470).
E.g.f. for k-block tricoverings of an n-set is exp(-x+x^2/2+(exp(y)-1)*x^3/3)*Sum_{k=0..infinity}x^k/k!*exp(-1/2*x^2*exp(k*y))*exp(binomial(k, 3)*y).
G.f.: x^4*(27300000*x^7 +9288000*x^6 -17908650*x^5 +6008735*x^4 -796380*x^3 +38552*x^2 +210*x -43) / ((x -1)*(2*x -1)*(3*x -1)*(4*x -1)*(5*x -1)*(7*x -1)*(8*x -1)*(10*x -1)*(15*x -1)*(20*x -1)*(35*x -1)). - Colin Barker, Jan 12 2013

cp's OEIS Frontend

A059443 Triangle T(n,k) (n >= 2, k = 3..n+floor(n/2)) giving number of bicoverings of an n-set with k blocks.

Views

Author

Keywords

Examples

References

Links

Crossrefs

Programs

Mathematica

PARI

Formula

Extensions

A002718 Number of bicoverings of an n-set.

Views

Author

Keywords

Comments

Examples

References

Links

Crossrefs

Programs

Mathematica

Formula

Extensions

A060053 Number of r-bicoverings (or restricted proper 2-covers) of an n-set.

Views

Author

Keywords

Comments

Examples

References

Links

Crossrefs

Programs

Maple

Mathematica

PARI

PARI

Formula

A060487 Triangle T(n,k) of k-block tricoverings of an n-set (n >= 3, k >= 4).

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

PARI

Formula

A060486 Tricoverings of an n-set.

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Formula

Extensions

A060483 Number of 5-block tricoverings of an n-set.

Views

Author

Keywords

Comments

Links

Crossrefs

Programs

PARI

Formula

Extensions

A060484 Number of 6-block tricoverings of an n-set.

Views

Author

Keywords

Comments

Links