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.

Previous Showing 11-20 of 29 results. Next

A327228 Number of set-systems with n vertices and at least one endpoint/leaf.

Original entry on oeis.org

0, 1, 6, 65, 3297, 2537672, 412184904221, 4132070624893905681577, 174224571863520492218909428465944685216436, 133392486801388257127953774730008469745829658368044283629394202488602260177922751
Offset: 0

Views

Author

Gus Wiseman, Sep 01 2019

Keywords

Comments

A set-system is a finite set of finite nonempty sets. Elements of a set-system are sometimes called edges. A leaf is an edge containing a vertex that does not belong to any other edge, while an endpoint is a vertex belonging to only one edge.
Also set-systems with minimum covered vertex-degree 1.

Examples

			The a(2) = 6 set-systems:
  {{1}}
  {{2}}
  {{1,2}}
  {{1},{2}}
  {{1},{1,2}}
  {{2},{1,2}}
		

Crossrefs

The covering version is A327229.
The specialization to simple graphs is A245797.
BII-numbers of these set-systems are A327105.

Programs

  • Mathematica
    Table[Length[Select[Subsets[Subsets[Range[n],{1,n}]],Min@@Length/@Split[Sort[Join@@#]]==1&]],{n,0,4}]

Formula

Binomial transform of A327229.
a(n) = A058891(n+1) - A330059(n). - Andrew Howroyd, Jan 21 2023

Extensions

Terms a(5) and beyond from Andrew Howroyd, Jan 21 2023

A327371 Triangle read by rows where T(n,k) is the number of unlabeled simple graphs with n vertices and exactly k endpoints (vertices of degree 1).

Original entry on oeis.org

1, 1, 0, 1, 0, 1, 2, 0, 2, 0, 5, 1, 3, 1, 1, 16, 6, 7, 2, 3, 0, 78, 35, 25, 8, 7, 2, 1, 588, 260, 126, 40, 20, 6, 4, 0, 8047, 2934, 968, 263, 92, 25, 13, 3, 1, 205914, 53768, 11752, 2434, 596, 140, 47, 12, 5, 0, 10014882, 1707627, 240615, 34756, 5864, 1084, 256, 58, 21, 4, 1
Offset: 0

Views

Author

Gus Wiseman, Sep 04 2019

Keywords

Examples

			Triangle begins:
     1;
     1,    0;
     1,    0,   1;
     2,    0,   2,   0;
     5,    1,   3,   1,  1;
    16,    6,   7,   2,  3,  0;
    78,   35,  25,   8,  7,  2,  1;
   588,  260, 126,  40, 20,  6,  4, 0;
  8047, 2934, 968, 263, 92, 25, 13, 3, 1;
  ...
		

Crossrefs

Row sums are A000088.
Row sums without the first column are A141580.
Columns k = 0..2 are A004110, A325115, A325125.
Column k = n is A059841.
Column k = n - 1 is A028242.
The labeled version is A327369.
The covering case is A327372.

Programs

  • PARI
    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}
    edges(v) = {sum(i=2, #v, sum(j=1, i-1, gcd(v[i], v[j]))) + sum(i=1, #v, v[i]\2)}
    G(n)={sum(k=0, n, my(s=0); forpart(p=k, s+=permcount(p) * 2^edges(p) * prod(i=1, #p, (1 - x^p[i])/(1 - (x*y)^p[i]) + O(x*x^(n-k)))); x^k*s/k!)*(1-x^2*y)/(1-x^2*y^2)}
    T(n)={my(v=Vec(G(n))); vector(#v, n, Vecrev(v[n], n))}
    my(A=T(10)); for(n=1, #A, print(A[n])) \\ Andrew Howroyd, Jan 22 2021

Formula

Column-wise partial sums of A327372.

Extensions

Terms a(21) and beyond from Andrew Howroyd, Sep 05 2019

A141580 Number of unlabeled non-mating graphs with n vertices.

Original entry on oeis.org

0, 1, 2, 6, 18, 78, 456, 4299, 68754, 1990286, 106088988, 10454883132, 1904236651216, 641859005526860, 401547534010157680, 467956331904669136874, 1019785644052109276678788, 4171197546082606538129623140
Offset: 1

Views

Author

Tanya Khovanova, Aug 19 2008

Keywords

Comments

a(n) is the difference between A000088 (number of graphs on n unlabeled nodes) and A004110 (number of n-node graphs without endpoints)
A non-mating graph has two vertices with an identical set of neighbors.
The adjacency matrix of a non-mating graph is degenerate.
Also the number of unlabeled graphs with n vertices and at least one endpoint. - Gus Wiseman, Sep 11 2019

Examples

			A cycle with 4 vertices is a non-mating graph. In the standard ordering of vertices, vertices 1 and 3 are both connected to vertices 2 an 4, thus having an identical sets of neighbors.
From _Gus Wiseman_, Sep 11 2019: (Start)
Non-isomorphic representatives of the a(2) = 1 through a(5) non-mating graph edge-sets:
  {12}  {12}     {12}           {12}
        {13,23}  {12,34}        {12,34}
                 {13,23}        {13,23}
                 {13,24,34}     {12,35,45}
                 {14,24,34}     {13,24,34}
                 {14,23,24,34}  {14,24,34}
                                {12,34,35,45}
                                {13,24,35,45}
                                {14,23,24,34}
                                {14,25,35,45}
                                {15,25,35,45}
                                {12,25,34,35,45}
                                {14,25,34,35,45}
                                {15,23,24,35,45}
                                {15,25,34,35,45}
                                {13,24,25,34,35,45}
                                {15,24,25,34,35,45}
                                {15,23,24,25,34,35,45}
(End)
		

Crossrefs

The labeled version is A327379.

Programs

  • Mathematica
    k = {}; For[i = 1, i < 8, i++, lg = ListGraphs[i] ; len = Length[lg]; k = Append[k, Length[Select[Range[len], Length[Union[ToAdjacencyMatrix[lg[[ # ]]]]] != i &]]]]; k

Formula

a(n) = A000088(n) - A004110(n).

Extensions

Extended by R. J. Mathar, Sep 12 2008

A327370 Number of labeled simple graphs with n vertices and exactly n - 1 endpoints (vertices of degree 1).

Original entry on oeis.org

0, 1, 0, 6, 4, 50, 66, 532, 1016, 6876, 16750, 104456, 303612, 1821976, 6067166, 35857200, 133160176, 785514512, 3192117966, 18948962656, 83099447300, 498931946016, 2336474411062, 14234346694976, 70598633745576, 437304764440000, 2282139344678726, 14390600621415552
Offset: 0

Views

Author

Gus Wiseman, Sep 04 2019

Keywords

Comments

Graphs consist of zero or more paths on two nodes each and either a single isolated node or a star with two or more peripheral nodes. - Andrew Howroyd, Sep 05 2019

Examples

			The a(4) = 4 edge-sets:
  {12,13,14}
  {12,23,24}
  {13,23,34}
  {14,24,34}
		

Crossrefs

Column k = n - 1 of A327369.
The unlabeled version is A028242.

Programs

  • Maple
    f:= gfun:-rectoproc({(n-1)*(n-2)*a(n)-n*(n-3)*(n-2)*a(n-1)-n*(n-1)^2*a(n-2)+(2*n-7)*n*(n-1)*(n-2)*a(n-3)-n*(n-1)*(n-2)*(n-3)*(n-4)*a(n-5)=0, a(0)=0, a(1)=1, a(2)=0, a(3)=6, a(4)=4},a(n),remember):
    map(f, [$0..40]); # Robert Israel, Sep 06 2019
  • Mathematica
    Table[Length[Select[Subsets[Subsets[Range[n],{2}]],Count[Length/@Split[Sort[Join@@#]],1]==n-1&]],{n,0,5}]
    With[{nn=30},CoefficientList[Series[x Exp[x^2/2](Exp[x]-x),{x,0,nn}],x] Range[ 0,nn]!] (* Harvey P. Dale, Apr 28 2022 *)
  • PARI
    seq(n)={Vec(serlaplace(x*exp(x^2/2 + O(x^n))*(exp(x + O(x^n))-x)), -(n+1))} \\ Andrew Howroyd, Sep 05 2019

Formula

E.g.f.: x*exp(x^2/2)*(exp(x) - x). - Andrew Howroyd, Sep 05 2019
(n-1)*(n-2)*a(n) - n*(n-3)*(n-2)*a(n-1) - n*(n-1)^2*a(n-2) + (2*n-7)*n*(n-1)*(n-2)*a(n-3) - n*(n-1)*(n-2)*(n-3)*(n-4)*a(n-5) = 0. - Robert Israel, Sep 06 2019

Extensions

Terms a(8) and beyond from Andrew Howroyd, Sep 05 2019

A327366 Triangle read by rows where T(n,k) is the number of labeled simple graphs with n vertices and minimum vertex-degree k.

Original entry on oeis.org

1, 1, 0, 1, 1, 0, 4, 3, 1, 0, 23, 31, 9, 1, 0, 256, 515, 227, 25, 1, 0, 5319, 15381, 10210, 1782, 75, 1, 0, 209868, 834491, 815867, 221130, 15564, 231, 1, 0, 15912975, 83016613, 116035801, 47818683, 5499165, 151455, 763, 1, 0, 2343052576, 15330074139, 29550173053, 18044889597, 3291232419, 158416629, 1635703, 2619, 1, 0
Offset: 0

Views

Author

Gus Wiseman, Sep 04 2019

Keywords

Comments

The minimum vertex-degree of the empty graph is infinity. It has been included here under k = 0. - Andrew Howroyd, Mar 09 2020

Examples

			Triangle begins:
     1
     1     0
     1     1     0
     4     3     1     0
    23    31     9     1     0
   256   515   227    25     1     0
  5319 15381 10210  1782    75     1     0
		

Crossrefs

Row sums are A006125.
Row sums without the first column are A006129.
Row sums without the first two columns are A100743.
Column k = 0 is A327367(n > 0).
Column k = 1 is A327227.
The unlabeled version is A294217.

Programs

  • Mathematica
    Table[Length[Select[Subsets[Subsets[Range[n],{2}]],k==If[#=={}||Union@@#!=Range[n],0,Min@@Length/@Split[Sort[Join@@#]]]&]],{n,0,5},{k,0,n}]
  • PARI
    GraphsByMaxDegree(n)={
      local(M=Map(Mat([x^0, 1])));
      my(acc(p, v)=my(z); mapput(M, p, if(mapisdefined(M, p, &z), z+v, v)));
      my(merge(r, p, v)=acc(p + sum(i=1, poldegree(p)-r-1, polcoef(p, i)*(1-x^i)), v));
      my(recurse(r, p, i, q, v, e)=if(i<0, merge(r, x^e+q, v), my(t=polcoef(p, i)); for(k=0, t, self()(r, p, i-1, (t-k+x*k)*x^i+q, binomial(t, k)*v, e+k))));
      for(k=2, n, my(src=Mat(M)); M=Map(); for(i=1, matsize(src)[1], my(p=src[i, 1]); recurse(n-k, p, poldegree(p), 0, src[i, 2], 0)));
      Mat(M);
    }
    Row(n)={if(n==0, [1], my(M=GraphsByMaxDegree(n), u=vector(n+1)); for(i=1, matsize(M)[1], u[n-poldegree(M[i,1])]+=M[i,2]); u)}
    { for(n=0, 8, print(Row(n))) } \\ Andrew Howroyd, Mar 09 2020

Extensions

Terms a(28) and beyond from Andrew Howroyd, Sep 09 2019

A327377 Triangle read by rows where T(n,k) is the number of labeled simple graphs covering n vertices with exactly k endpoints (vertices of degree 1).

Original entry on oeis.org

1, 0, 0, 0, 0, 1, 1, 0, 3, 0, 10, 12, 12, 4, 3, 253, 260, 160, 60, 35, 0, 12068, 9150, 4230, 1440, 480, 66, 15, 1052793, 570906, 195048, 53200, 12600, 2310, 427, 0, 169505868, 63523656, 15600032, 3197040, 585620, 95088, 14056, 1016, 105
Offset: 0

Views

Author

Gus Wiseman, Sep 05 2019

Keywords

Comments

A graph is covering if there are no isolated vertices.

Examples

			Triangle begins:
      1
      0     0
      0     0     1
      1     0     3     0
     10    12    12     4     3
    253   260   160    60    35     0
  12068  9150  4230  1440   480    66    15
		

Crossrefs

Row sums are A006129.
Column k = 0 is A100743.
Column k = n is A123023.
Row sums without the first column are A327227.
The non-covering version is A327369.
The unlabeled version is A327372.

Programs

  • PARI
    Row(n)={ \\ R, U, B are e.g.f. of A055302, A055314, A059167.
      my(U=sum(n=2, n, x^n*sum(k=1, n, stirling(n-2, n-k, 2)*y^k/k!)) + O(x*x^n));
      my(R=sum(n=1, n, x^n*sum(k=1, n, stirling(n-1, n-k, 2)*y^k/k!)) + O(x*x^n));
      my(B=x^2/2 + log(sum(k=0, n, 2^binomial(k, 2)*(x*exp(-x + O(x^n)))^k/k!)));
      my(A=exp(-x + O(x*x^n))*exp(x + U + subst(B-x, x, x*(1-y) + R)));
      Vecrev(n!*polcoef(A, n), n + 1);
    }
    { for(n=0, 8, print(Row(n))) } \\ Andrew Howroyd, Oct 05 2019

Formula

Column-wise inverse binomial transform of A327369.
E.g.f.: exp(-x)*exp(x + U(x,y) + B(x*(1-y) + R(x,y))), where R(x,y) is the e.g.f. of A055302, U(x,y) is the e.g.f. of A055314 and B(x) + x is the e.g.f. of A059167. - Andrew Howroyd, Oct 05 2019

Extensions

Terms a(28) and beyond from Andrew Howroyd, Oct 05 2019

A277072 Number of n-node labeled graphs with one endpoint.

Original entry on oeis.org

0, 0, 0, 12, 320, 10890, 640836, 68362504, 13369203792, 4852623272670, 3314874720579180, 4318786169776866612, 10854838945689940034808, 53111101422881446287824390, 509319855642185873306564196780, 9619620856997967197817249800046480
Offset: 1

Views

Author

Marko Riedel, Sep 27 2016

Keywords

References

  • F. Harary and E. Palmer, Graphical Enumeration, (1973), p. 31, problem 1.16(a).

Crossrefs

Column k=1 of A327369.

Programs

  • Maple
    MX := 16:
    XGF := exp(z^2/2)*add((z/exp(z))^n*2^binomial(n,2)/n!, n=0..MX+5):
    K1 := z^2/(1-z)*(diff(XGF,z)-XGF):
    XS := series(K1, z=0, MX+1):
    seq(n!*coeff(XS, z, n), n=1..MX);
  • Mathematica
    m = 16;
    A[z_] := Exp[1/2*z^2]*Sum[2^Binomial[n, 2]*(z/Exp[z])^n/n!, {n, 0, m}];
    egf = (z^2/(1 - z))*(A'[z] - A[z]);
    a[n_] := SeriesCoefficient[egf, {z, 0, n}]*n!;
    Array[a, m] (* Jean-François Alcover, Feb 23 2019 *)

Formula

E.g.f.: (z^2/(1-z))*(A'(z)-A(z)) where A(z) = exp(1/2*z^2) * Sum_{n>=0}(2^binomial(n, 2)*(z/exp(z))^n/n!).

A277073 Number of n-node labeled graphs with two endpoints.

Original entry on oeis.org

0, 1, 6, 30, 260, 5445, 228564, 17288852, 2327095296, 562985438805, 248555982382840, 203515251722217402, 313711170518065772088, 922107609498513821505577, 5221584862895700871908309960, 57411615463478726571189869693160, 1232855219250913685154581533108294112
Offset: 1

Views

Author

Marko Riedel, Sep 27 2016

Keywords

References

  • F. Harary and E. Palmer, Graphical Enumeration, (1973), p. 31, problem 1.16(a).

Crossrefs

Column k=2 of A327369.

Programs

  • Maple
    MX := 16:
    XGF := exp(z^2/2)*add((z/exp(z))^n*2^binomial(n,2)/n!, n=0..MX+5):
    K1 := 1/2*z^2/(1-z)*XGF:
    K2 := 1/2*z^4/(1-z)^2*(diff(XGF, z$2)-2*diff(XGF,z)+XGF):
    K3 := 1/2*z^3/(1-z)^3*(diff(XGF, z)-XGF):
    XS := series(K1+K2+K3, z=0, MX+1):
    seq(n!*coeff(XS, z, n), n=1..MX);
  • Mathematica
    m = 16;
    A[z_] := Exp[1/2*z^2]*Sum[2^Binomial[n, 2]*(z/Exp[z])^n/n!, {n, 0, m}];
    egf = (1/2)*(z^2/(1 - z))*A[z] + (1/2)*(z^4/(1 - z)^2)*(A''[z] - 2*A'[z] + A[z]) + (1/2)*(z^3/(1 - z)^3)*(A'[z] - A[z]);
    a[n_] := SeriesCoefficient[egf, {z, 0, n}]*n!;
    Array[a, m] (* Jean-François Alcover, Feb 23 2019 *)

Formula

E.g.f.: (1/2)*(z^2/(1-z))*A(z) + (1/2)*(z^4/(1-z)^2)*(A''(z)-2*A'(z)+A(z)) + (1/2)*(z^3/(1-z)^3)*(A'(z)-A(z)) where A(z) = exp(1/2*z^2)*Sum_{n>=0} (2^binomial(n, 2)*(z/exp(z))^n/n!).

A327107 BII-numbers of set-systems with minimum vertex-degree > 1.

Original entry on oeis.org

7, 25, 30, 31, 42, 45, 47, 51, 52, 53, 54, 55, 59, 60, 61, 62, 63, 75, 76, 77, 78, 79, 82, 83, 84, 85, 86, 87, 90, 91, 92, 93, 94, 95, 97, 99, 100, 101, 102, 103, 105, 107, 108, 109, 110, 111, 112, 113, 114, 115, 116, 117, 118, 119, 120, 121, 122, 123, 124
Offset: 1

Views

Author

Gus Wiseman, Aug 26 2019

Keywords

Comments

A binary index of n is any position of a 1 in its reversed binary expansion. The binary indices of n are row n of A048793. We define the set-system with BII-number n to be obtained by taking the binary indices of each binary index of n. Every set-system (finite set of finite nonempty sets) has a different BII-number. For example, 18 has reversed binary expansion (0,1,0,0,1), and since the binary indices of 2 and 5 are {2} and {1,3} respectively, the BII-number of {{2},{1,3}} is 18. Elements of a set-system are sometimes called edges.
In a set-system, the degree of a vertex is the number of edges containing it.

Examples

			The sequence of all set-systems with maximum degree > 1 together with their BII-numbers begins:
   7: {{1},{2},{1,2}}
  25: {{1},{3},{1,3}}
  30: {{2},{1,2},{3},{1,3}}
  31: {{1},{2},{1,2},{3},{1,3}}
  42: {{2},{3},{2,3}}
  45: {{1},{1,2},{3},{2,3}}
  47: {{1},{2},{1,2},{3},{2,3}}
  51: {{1},{2},{1,3},{2,3}}
  52: {{1,2},{1,3},{2,3}}
  53: {{1},{1,2},{1,3},{2,3}}
  54: {{2},{1,2},{1,3},{2,3}}
  55: {{1},{2},{1,2},{1,3},{2,3}}
  59: {{1},{2},{3},{1,3},{2,3}}
  60: {{1,2},{3},{1,3},{2,3}}
  61: {{1},{1,2},{3},{1,3},{2,3}}
  62: {{2},{1,2},{3},{1,3},{2,3}}
  63: {{1},{2},{1,2},{3},{1,3},{2,3}}
  75: {{1},{2},{3},{1,2,3}}
  76: {{1,2},{3},{1,2,3}}
		

Crossrefs

Positions of terms > 1 in A327103.
BII-numbers for minimum degree 1 are A327105.
Graphs with minimum degree > 1 are counted by A059167.

Programs

  • Mathematica
    bpe[n_]:=Join@@Position[Reverse[IntegerDigits[n,2]],1];
    Select[Range[100],Min@@Length/@Split[Sort[Join@@bpe/@bpe[#]]]>1&]

A327364 Number of labeled simple graphs with n vertices, a connected edge-set, and at least one endpoint (vertex of degree 1).

Original entry on oeis.org

0, 0, 1, 6, 46, 655, 17991, 927416, 89009740, 16020407709, 5468601546685, 3578414666656214, 4529751815161579194, 11175105490563109463875, 54043272967471942825421219, 514566625051705610110588073460, 9677104749727084630538798805505880
Offset: 0

Views

Author

Gus Wiseman, Sep 04 2019

Keywords

Examples

			The a(4) = 46 edge-sets:
  {12}  {12,13}  {12,13,14}  {12,13,14,23}
  {13}  {12,14}  {12,13,24}  {12,13,14,24}
  {14}  {12,23}  {12,13,34}  {12,13,14,34}
  {23}  {12,24}  {12,14,23}  {12,13,23,24}
  {24}  {13,14}  {12,14,34}  {12,13,23,34}
  {34}  {13,23}  {12,23,24}  {12,14,23,24}
        {13,34}  {12,23,34}  {12,14,24,34}
        {14,24}  {12,24,34}  {12,23,24,34}
        {14,34}  {13,14,23}  {13,14,23,34}
        {23,24}  {13,14,24}  {13,14,24,34}
        {23,34}  {13,23,24}  {13,23,24,34}
        {24,34}  {13,23,34}  {14,23,24,34}
                 {13,24,34}
                 {14,23,24}
                 {14,23,34}
                 {14,24,34}
		

Crossrefs

The covering case is A327362.
Graphs with endpoints are A245797.
Graphs with connected edge-set are A287689.
Connected graphs with bridges are A327071.
Covering graphs with endpoints are A327227.

Programs

  • Mathematica
    csm[s_]:=With[{c=Select[Subsets[Range[Length[s]],{2}],Length[Intersection@@s[[#]]]>0&]},If[c=={},s,csm[Sort[Append[Delete[s,List/@c[[1]]],Union@@s[[c[[1]]]]]]]]];
    Table[Length[Select[Subsets[Subsets[Range[n],{2}]],Length[csm[#]]==1&&Min@@Length/@Split[Sort[Join@@#]]==1&]],{n,0,5}]
  • PARI
    seq(n)={my(x=x + O(x*x^n)); Vec(serlaplace(exp(x)*(-x^2/2 + log(sum(k=0, n, 2^binomial(k, 2)*x^k/k!)) - log(sum(k=0, n, 2^binomial(k, 2)*(x*exp(-x))^k/k!)))), -(n+1))} \\ Andrew Howroyd, Sep 11 2019

Formula

Binomial transform of A327362.

Extensions

Terms a(7) and beyond from Andrew Howroyd, Sep 11 2019
Previous Showing 11-20 of 29 results. Next