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

A299471 Regular triangle where T(n,k) is the number of labeled k-uniform hypergraphs spanning n vertices.

Original entry on oeis.org

1, 1, 1, 1, 4, 1, 1, 41, 11, 1, 1, 768, 958, 26, 1, 1, 27449, 1042642, 32596, 57, 1, 1, 1887284, 34352419335, 34359509614, 2096731, 120, 1, 1, 252522481, 72057319189324805, 1180591620442534312297, 72057594021152435, 268434467, 247, 1, 1, 66376424160
Offset: 1

Views

Author

Gus Wiseman, Jun 18 2018

Keywords

Examples

			Triangle begins:
  1;
  1,     1;
  1,     4,       1;
  1,    41,      11,     1;
  1,   768,     958,    26,  1;
  1, 27449, 1042642, 32596, 57, 1;
  ...
		

Crossrefs

Columns 1..4 are A000012, A006129, A302374, A302396.
Row sums are A306021.
The unlabeled version is A301922.
The connected version is A299354.

Programs

  • Mathematica
    Table[Sum[(-1)^(n-d)*Binomial[n,d]*2^Binomial[d,k],{d,0,n}],{n,10},{k,n}]
  • PARI
    T(n, k) = sum(d = 0, n, (-1)^(n-d)*binomial(n,d)*2^binomial(d,k)) \\ Andrew Howroyd, Jan 16 2024

Formula

T(n, k) = Sum_{d = 0..n} (-1)^(n-d)*binomial(n,d)*2^binomial(d,k).

A299353 Number of labeled connected uniform hypergraphs spanning n vertices.

Original entry on oeis.org

1, 1, 1, 5, 50, 1713, 1101990, 68715891672, 1180735735356264714926, 170141183460507906731293351306487161569, 7237005577335553223087828975127304177495735363998991435497132228228565768846
Offset: 0

Views

Author

Gus Wiseman, Jun 18 2018

Keywords

Comments

A hypergraph is uniform if all edges have the same size.
Let T be the regular triangle A299354, where column k is the logarithmic transform of the inverse binomial transform of c(d) = 2^binomial(d,k). Then a(n) is the sum of row n.

Examples

			The a(3) = 5 hypergraphs:
{{1,2,3}}
{{1,2},{1,3}}
{{1,2},{2,3}}
{{1,3},{2,3}}
{{1,2},{1,3},{2,3}}
		

Crossrefs

Programs

  • Mathematica
    nn=10;Table[Sum[SeriesCoefficient[Log[Sum[x^m/m!*(-1)^(m-d)*Binomial[m,d]*2^Binomial[d,k],{m,0,n},{d,0,m}]],{x,0,n}]*n!,{k,n}],{n,nn}]

A301920 Number of unlabeled uniform connected hypergraphs spanning n vertices.

Original entry on oeis.org

1, 1, 1, 3, 10, 55, 2369, 14026242, 29284932065996223, 468863491068204425232922367146585, 1994324729204021501147398087008429476673379600542622915802043455294332
Offset: 0

Views

Author

Gus Wiseman, Jun 19 2018

Keywords

Comments

A hypergraph is uniform if all edges have the same size.

Examples

			Non-isomorphic representatives of the a(4) = 10 hypergraphs:
  {{1,2,3,4}}
  {{1,3,4},{2,3,4}}
  {{1,3},{2,4},{3,4}}
  {{1,4},{2,4},{3,4}}
  {{1,2,4},{1,3,4},{2,3,4}}
  {{1,2},{1,3},{2,4},{3,4}}
  {{1,4},{2,3},{2,4},{3,4}}
  {{1,3},{1,4},{2,3},{2,4},{3,4}}
  {{1,2,3},{1,2,4},{1,3,4},{2,3,4}}
  {{1,2},{1,3},{1,4},{2,3},{2,4},{3,4}}
		

Crossrefs

Extensions

Terms a(6) and beyond from Andrew Howroyd, Aug 26 2019

A301924 Regular triangle where T(n,k) is the number of unlabeled k-uniform connected hypergraphs spanning n vertices.

Original entry on oeis.org

1, 0, 1, 0, 2, 1, 0, 6, 3, 1, 0, 21, 29, 4, 1, 0, 112, 2101, 150, 5, 1, 0, 853, 7011181, 7013164, 1037, 6, 1, 0, 11117, 1788775603301, 29281354507753847, 1788782615612, 12338, 7, 1, 0, 261080, 53304526022885278403, 234431745534048893449761040648508, 234431745534048922729326772799024, 53304527811667884902, 274659, 8, 1
Offset: 1

Views

Author

Gus Wiseman, Jun 19 2018

Keywords

Examples

			Triangle begins:
   1
   0    1
   0    2       1
   0    6       3       1
   0   21      29       4    1
   0  112    2101     150    5 1
   0  853 7011181 7013164 1037 6 1
   ...
The T(4,2) = 6 hypergraphs:
  {{1,3},{2,4},{3,4}}
  {{1,4},{2,4},{3,4}}
  {{1,2},{1,3},{2,4},{3,4}}
  {{1,4},{2,3},{2,4},{3,4}}
  {{1,3},{1,4},{2,3},{2,4},{3,4}}
  {{1,2},{1,3},{1,4},{2,3},{2,4},{3,4}}
		

Crossrefs

Row sums are A301920.
Columns k=2..3 are A001349(n > 1), A003190(n > 1).

Programs

  • PARI
    InvEulerT(v)={my(p=log(1+x*Ser(v))); dirdiv(vector(#v,n,polcoeff(p,n)), vector(#v,n,1/n))}
    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}
    rep(typ)={my(L=List(), k=0); for(i=1, #typ, k+=typ[i]; listput(L, k); while(#L0, u=vecsort(apply(f, u)); d=lex(u, v)); !d}
    Q(n, k, perm)={my(t=0); forsubset([n, k], v, t += can(Vec(v), t->perm[t])); t}
    U(n, k)={my(s=0); forpart(p=n, s += permcount(p)*2^Q(n, k, rep(p))); s/n!}
    A(n)={Mat(vector(n, k, InvEulerT(vector(n,i,U(i,k)-U(i-1,k)))~))}
    { my(T=A(8)); for(n=1, #T, print(T[n,1..n])) } \\ Andrew Howroyd, Aug 26 2019

Formula

Column k is the inverse Euler transform of column k of A301922. - Andrew Howroyd, Aug 26 2019

Extensions

Terms a(16) and beyond from Andrew Howroyd, Aug 26 2019
Showing 1-4 of 4 results.