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 41-50 of 52 results. Next

A370317 Number of labeled graphs with n vertices (allowing isolated vertices) and n edges, such that the edge set is connected.

Original entry on oeis.org

1, 0, 0, 1, 15, 252, 4905, 110715, 2864148, 83838720, 2744568522, 99463408335, 3955626143040, 171344363805582, 8031863998136355, 405150528051451000, 21884686370917378050, 1260420510502767861840, 77105349570138633021624, 4993117552678619556356085
Offset: 0

Views

Author

Gus Wiseman, Feb 17 2024

Keywords

Examples

			The a(0) = 0 through a(4) = 15 graphs:
  {}  .  .  {{1,2},{1,3},{2,3}}  {{1,2},{1,3},{1,4},{2,3}}
                                 {{1,2},{1,3},{1,4},{2,4}}
                                 {{1,2},{1,3},{1,4},{3,4}}
                                 {{1,2},{1,3},{2,3},{2,4}}
                                 {{1,2},{1,3},{2,3},{3,4}}
                                 {{1,2},{1,3},{2,4},{3,4}}
                                 {{1,2},{1,4},{2,3},{2,4}}
                                 {{1,2},{1,4},{2,3},{3,4}}
                                 {{1,2},{1,4},{2,4},{3,4}}
                                 {{1,2},{2,3},{2,4},{3,4}}
                                 {{1,3},{1,4},{2,3},{2,4}}
                                 {{1,3},{1,4},{2,3},{3,4}}
                                 {{1,3},{1,4},{2,4},{3,4}}
                                 {{1,3},{2,3},{2,4},{3,4}}
                                 {{1,4},{2,3},{2,4},{3,4}}
		

Crossrefs

The covering case is A057500.
This is the connected case of A116508.
Allowing any number of edges gives A287689.
Counting only covered vertices gives A370318.
A006125 counts graphs, unlabeled A000088.
A006129 counts covering graphs, connected A001187.
A369192 counts graphs with at most n edges, covering A369191.

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[#]==n&&Length[csm[#]]<=1&]], {n,0,5}]
  • PARI
    a(n)=n!*polcoef(polcoef(exp(x + O(x*x^n))*(1 + log(sum(k=0, n, (1 + y + O(y*y^n))^binomial(k,2)*x^k/k!, O(x*x^n)))), n), n) \\ Andrew Howroyd, Feb 19 2024

Formula

a(n) = n!*[x^n][y^n] exp(x)*(1 + log(Sum_{k>=0} (1 + y)^binomial(k, 2)*x^k/k!)). - Andrew Howroyd, Feb 19 2024

Extensions

a(8) onwards from Andrew Howroyd, Feb 19 2024

A369201 Number of unlabeled simple graphs with n vertices and n edges such that it is not possible to choose a different vertex from each edge (non-choosable).

Original entry on oeis.org

0, 0, 0, 0, 0, 1, 7, 30, 124, 507, 2036, 8216, 33515, 138557, 583040, 2503093, 10985364, 49361893, 227342301, 1073896332, 5204340846, 25874724616, 131937166616, 689653979583, 3693193801069, 20247844510508, 113564665880028, 651138092719098, 3813739129140469
Offset: 0

Views

Author

Gus Wiseman, Jan 22 2024

Keywords

Comments

These are graphs with n vertices and n edges having at least two cycles in the same component.

Examples

			The a(0) = 0 through a(6) = 7 simple graphs:
  .  .  .  .  .  {{12}{13}{14}{23}{24}}  {{12}{13}{14}{15}{23}{24}}
                                         {{12}{13}{14}{15}{23}{45}}
                                         {{12}{13}{14}{23}{24}{34}}
                                         {{12}{13}{14}{23}{24}{35}}
                                         {{12}{13}{14}{23}{24}{56}}
                                         {{12}{13}{14}{23}{25}{45}}
                                         {{12}{13}{14}{25}{35}{45}}
		

Crossrefs

Without the choice condition we have A001434, covering A006649.
The labeled version without choice is A116508, covering A367863, A367862.
The complement is counted by A137917, labeled A137916.
For any number of edges we have A140637, complement A134964.
For labeled set-systems we have A368600.
The case with loops is A368835, labeled A368596.
The labeled version is A369143, covering A369144.
A006129 counts covering graphs, unlabeled A002494.
A007716 counts unlabeled multiset partitions, connected A007718.
A054548 counts graphs covering n vertices with k edges, with loops A369199.
A129271 counts connected choosable simple graphs, unlabeled A005703.

Programs

  • Mathematica
    brute[m_]:=First[Sort[Table[Sort[Sort/@(m/.Rule@@@Table[{(Union@@m)[[i]],p[[i]]},{i,Length[p]}])],{p,Permutations[Range[Length[Union@@m]]]}]]];
    Table[Length[Union[brute/@Select[Subsets[Subsets[Range[n],{2}],{n}],Select[Tuples[#],UnsameQ@@#&]=={}&]]],{n,0,5}]

Formula

a(n) = A001434(n) - A137917(n).

Extensions

a(25) onwards from Andrew Howroyd, Feb 02 2024

A370316 Number of unlabeled simple graphs covering n vertices with at most n edges.

Original entry on oeis.org

1, 0, 1, 2, 5, 10, 28, 68, 193, 534, 1568, 4635, 14146, 43610, 137015, 435227, 1400058, 4547768, 14917504, 49348612, 164596939, 553177992, 1872805144, 6385039022, 21917878860, 75739158828, 263438869515, 922219844982, 3249042441125, 11519128834499, 41097058489426
Offset: 0

Views

Author

Gus Wiseman, Feb 18 2024

Keywords

Examples

			The a(0) = 1 through a(5) = 10 simple graphs:
  {}  .  {12}  {12-13}     {12-34}        {12-13-45}
               {12-13-23}  {12-13-14}     {12-13-14-15}
                           {12-13-24}     {12-13-14-25}
                           {12-13-14-23}  {12-13-23-45}
                           {12-13-24-34}  {12-13-24-35}
                                          {12-13-14-15-23}
                                          {12-13-14-23-25}
                                          {12-13-14-23-45}
                                          {12-13-14-25-35}
                                          {12-13-24-35-45}
		

Crossrefs

The connected case is A005703, labeled A129271.
The case of exactly n edges is A006649, covering case of A001434.
The labeled version is A369191.
Partial row sums of A370167, covering case of A008406.
The non-covering version with loops is A370168, labeled A066383.
The version with loops is A370169, labeled A369194.
The non-covering version is A370315, labeled A369192.
A006125 counts graphs, unlabeled A000088.
A006129 counts covering graphs, unlabeled A002494.
A322661 counts covering loop-graphs, unlabeled A322700.

Programs

  • Mathematica
    brute[m_]:=First[Sort[Table[Sort[Sort /@ (m/.Rule@@@Table[{(Union@@m)[[i]],p[[i]]},{i,Length[p]}])], {p,Permutations[Range[Length[Union@@m]]]}]]];
    Table[Length[Union[brute /@ Select[Subsets[Subsets[Range[n],{2}],{0,n}], Union@@#==Range[n]&]]],{n,0,5}]
  • PARI
    \\ G defined in A008406.
    a(n)=my(A=O(x*x^n)); if(n==0, 1, polcoef((G(n,A)-G(n-1,A))/(1-x), n)) \\ Andrew Howroyd, Feb 19 2024

Extensions

a(8) onwards from Andrew Howroyd, Feb 19 2024

A368731 Number of non-isomorphic n-element sets of nonempty subsets of {1..n}.

Original entry on oeis.org

1, 1, 2, 10, 97, 2160, 126862, 21485262, 11105374322, 18109358131513, 95465831661532570, 1660400673336788987026, 96929369602251313489896310, 19268528295096123543660356281600, 13203875101002459910158494602665950757, 31517691852305548841992346407978317698725021
Offset: 0

Views

Author

Gus Wiseman, Jan 07 2024

Keywords

Examples

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

Crossrefs

The case of graphs is A001434, labeled A116508.
Labeled version is A136556, covering A054780, binomial transform of A367916.
The case of labeled covering graphs is A367863, binomial transform A367862.
These include the set-systems ranked by A367917.
The covering case is A368186, for graphs A006649, connected A057500.
Requiring all edges to be singletons or pairs gives A368598.
A003465 counts covers with any number of edges, unlabeled A055621.
A046165 counts minimal covers, ranks A309326.
A058891 counts set-systems, unlabeled A000612, without singletons A016031.
A059201 counts covering T_0 set-systems, unlabeled A319637, ranks A326947.

Programs

  • Mathematica
    brute[m_]:=First[Sort[Table[Sort[Sort /@ (m/.Rule@@@Table[{(Union@@m)[[i]],p[[i]]},{i,Length[p]}])], {p,Permutations[Range[Length[Union@@m]]]}]]];
    Table[Length[Union[brute /@ Subsets[Subsets[Range[n],{1,n}],{n}]]],{n,0,4}]
  • PARI
    a(n) = polcoef(G(n, n), n) \\ G defined in A368186. - Andrew Howroyd, Jan 11 2024

Extensions

Terms a(6) and beyond from Andrew Howroyd, Jan 11 2024

A370318 Number of labeled simple graphs with n vertices and the same number of edges as covered vertices, such that the edge set is connected.

Original entry on oeis.org

0, 0, 0, 1, 19, 307, 5237, 99137, 2098946, 49504458, 1291570014, 37002273654, 1156078150969, 39147186978685, 1428799530304243, 55933568895261791, 2338378885159906196, 103995520598384132516, 4903038902046860966220, 244294315694676224001852, 12827355456239840407125363
Offset: 0

Views

Author

Gus Wiseman, Feb 18 2024

Keywords

Comments

The case of an empty edge set is excluded.

Crossrefs

The covering case is A057500, which is also the covering case of A370317.
This is the connected case of A367862, covering A367863.
A001187 counts connected graphs, A001349 unlabeled.
A006125 counts graphs, A000088 unlabeled.
A006129 counts covering graphs, A002494 unlabeled.
A062734 counts connected graphs by edge count.
A133686 = graphs satisfy strict AoC, connected A129271, covering A367869.
A143543 counts simple labeled graphs by number of connected components.
A367867 = graphs contradict strict AoC, connected A140638, covering A367868.

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[#]==Length[Union@@#] && Length[csm[#]]==1&]],{n,0,5}]
  • PARI
    \\ Compare A370317; use A057500 for efficiency.
    a(n)=n!*polcoef(polcoef(exp(x*y + O(x*x^n))*(-x+log(sum(k=0, n, (1 + y + O(y*y^n))^binomial(k, 2)*x^k/k!, O(x*x^n)))), n), n) \\ Andrew Howroyd, Feb 19 2024

Formula

Binomial transform of A057500 (if the null graph is not connected).
a(n) = n!*[x^n][y^n] exp(x*y)*(-x + log(Sum_{k>=0} (1 + y)^binomial(k, 2)*x^k/k!)). - Andrew Howroyd, Feb 19 2024

A368834 Number of unlabeled simple graphs covering n vertices such that it is possible to choose a different vertex from each edge (choosable).

Original entry on oeis.org

1, 0, 1, 2, 5, 10, 27, 62, 165, 423, 1140, 3060, 8427, 23218, 64782, 181370, 511004, 1444285, 4097996, 11656644, 33243265, 94992847, 271953126, 779790166, 2239187466, 6438039076, 18532004323, 53400606823, 154024168401, 444646510812, 1284682242777
Offset: 0

Views

Author

Gus Wiseman, Jan 23 2024

Keywords

Examples

			Representatives of the a(2) = 1 through a(5) = 10 simple graphs:
  {12}  {12}{13}      {12}{34}          {12}{13}{45}
        {12}{13}{23}  {12}{13}{14}      {12}{13}{14}{15}
                      {12}{13}{24}      {12}{13}{14}{25}
                      {12}{13}{14}{23}  {12}{13}{23}{45}
                      {12}{13}{24}{34}  {12}{13}{24}{35}
                                        {12}{13}{14}{15}{23}
                                        {12}{13}{14}{23}{25}
                                        {12}{13}{14}{23}{45}
                                        {12}{13}{14}{25}{35}
                                        {12}{13}{24}{35}{45}
		

Crossrefs

Without the choice condition we have A002494, labeled A006129.
The connected case is A005703, labeled A129271.
This is the covering case of A134964, complement A140637.
The labeled version is A367869, complement A367868.
The version with loops is A369200, complement A369147.
The complement is counted by A369202.
A007716 counts unlabeled multiset partitions, connected A007718.
A054548 counts graphs covering n vertices with k edges, with loops A369199.
A283877 counts unlabeled set-systems, connected A300913.

Programs

  • Mathematica
    brute[m_]:=First[Sort[Table[Sort[Sort /@ (m/.Rule@@@Table[{(Union@@m)[[i]],p[[i]]},{i,Length[p]}])], {p,Permutations[Range[Length[Union@@m]]]}]]];
    Table[Length[Union[brute /@ Select[Subsets[Subsets[Range[n],{2}]],Union@@#==Range[n] && Length[Select[Tuples[#],UnsameQ@@#&]]!=0&]]],{n,0,5}]

Formula

Euler transform of A005703 with A005703(1) = 0.
First differences of A134964.
a(n) = A002494(n) - A369202(n).

A368926 Triangle read by rows where T(n,k) is the number of unlabeled loop-graphs on n vertices with k loops and n-k non-loops such that it is possible to choose a different element from each edge.

Original entry on oeis.org

1, 0, 1, 0, 1, 1, 1, 2, 1, 1, 2, 5, 3, 1, 1, 5, 12, 7, 3, 1, 1, 14, 29, 19, 8, 3, 1, 1, 35, 75, 47, 21, 8, 3, 1, 1, 97, 191, 127, 54, 22, 8, 3, 1, 1, 264, 504, 331, 149, 56, 22, 8, 3, 1, 1, 733, 1339, 895, 395, 156, 57, 22, 8, 3, 1, 1
Offset: 0

Views

Author

Gus Wiseman, Jan 13 2024

Keywords

Comments

Also the number of unlabeled loop-graphs covering n vertices with k loops and n-k non-loops such that each connected component has the same number of edges as vertices.

Examples

			Triangle begins:
   1
   0  1
   0  1  1
   1  2  1  1
   2  5  3  1  1
   5 12  7  3  1  1
  14 29 19  8  3  1  1
  35 75 47 21  8  3  1  1
		

Crossrefs

The case of a unique choice is A106234, row sums A000081.
Column k = 0 is A137917, labeled version A137916.
Without the choice condition we have A368836.
The labeled version is A368924, row sums maybe A333331.
Row sums are A368984, complement A368835.
A000085, A100861, A111924 count set partitions into singletons or pairs.
A006125 counts graphs, unlabeled A000088.
A006129 counts covering graphs, unlabeled A002494.
A014068 counts loop-graphs, unlabeled A000666.
A322661 counts labeled covering half-loop-graphs, connected A062740.

Programs

  • Mathematica
    Table[Length[Union[sysnorm /@ Select[Subsets[Subsets[Range[n],{1,2}],{n}],Count[#,{_}]==k && Length[Select[Tuples[#],UnsameQ@@#&]]!=0&]]], {n,0,5},{k,0,n}]
  • PARI
    \\ TreeGf gives gf of A000081; G(n,1) is gf of A368983.
    TreeGf(N)={my(A=vector(N, j, 1)); for (n=1, N-1, A[n+1] = 1/n * sum(k=1, n, sumdiv(k, d, d*A[d]) * A[n-k+1] ) ); x*Ser(A)}
    G(n,y)={my(t=TreeGf(n)); my(g(e)=subst(t + O(x*x^(n\e)), x, x^e) + O(x*x^n)); 1 + (sum(d=1, n, eulerphi(d)/d*log(1/(1-g(d)))) + ((1+g(1))^2/(1-g(2))-1)/2 - (g(1)^2 + g(2)))/2 + (y-1)*g(1)}
    EulerMTS(p)={my(n=serprec(p,x)-1,vars=variables(p)); exp(sum(i=1, n, substvec(p + O(x*x^(n\i)), vars, apply(v->v^i,vars))/i))}
    T(n)={[Vecrev(p) | p <- Vec(EulerMTS(G(n,y) - 1))]}
    { my(A=T(8)); for(n=1, #A, print(A[n])) } \\ Andrew Howroyd, Jan 14 2024

Extensions

a(36) onwards from Andrew Howroyd, Jan 14 2024

A368928 Triangle read by rows where T(n,k) is the number of labeled loop-graphs with n vertices and n edges, k of which are loops.

Original entry on oeis.org

1, 0, 1, 0, 2, 1, 1, 9, 9, 1, 15, 80, 90, 24, 1, 252, 1050, 1200, 450, 50, 1, 5005, 18018, 20475, 9100, 1575, 90, 1, 116280, 379848, 427329, 209475, 46550, 4410, 147, 1, 3108105, 9472320, 10548720, 5503680, 1433250, 183456, 10584, 224, 1
Offset: 0

Views

Author

Gus Wiseman, Jan 11 2024

Keywords

Examples

			Triangle begins:
     1
     0     1
     0     2     1
     1     9     9     1
    15    80    90    24     1
   252  1050  1200   450    50     1
  5005 18018 20475  9100  1575    90     1
The loop-graphs counted in row n = 3 (loops shown as singletons):
  {12}{13}{23}  {1}{12}{13}  {1}{2}{12}  {1}{2}{3}
                {1}{12}{23}  {1}{2}{13}
                {1}{13}{23}  {1}{2}{23}
                {2}{12}{13}  {1}{3}{12}
                {2}{12}{23}  {1}{3}{13}
                {2}{13}{23}  {1}{3}{23}
                {3}{12}{13}  {2}{3}{12}
                {3}{12}{23}  {2}{3}{13}
                {3}{13}{23}  {2}{3}{23}
		

Crossrefs

Row sums are A014068, unlabeled version A000666.
Column k = 0 is A116508, covering version A367863.
The covering case is A368597.
The unlabeled version is A368836.
A000085, A100861, A111924 count set partitions into singletons or pairs.
A006125 counts graphs, unlabeled A000088.
A006129 counts covering graphs, unlabeled A002494.
A058891 counts set-systems (without singletons A016031), unlabeled A000612.
A322661 counts labeled covering loop-graphs, connected A062740.

Programs

  • Mathematica
    Table[Length[Select[Subsets[Subsets[Range[n], {1,2}],{n}],Count[#,{_}]==k&]],{n,0,5},{k,0,n}]
    T[n_,k_]:= Binomial[n,k]*Binomial[Binomial[n,2],n-k]; Table[T[n,k],{n,0,8},{k,0,n}]// Flatten (* Stefano Spezia, Jan 14 2024 *)
  • PARI
    T(n,k) = binomial(n,k)*binomial(binomial(n,2),n-k) \\ Andrew Howroyd, Jan 14 2024

Formula

T(n,k) = binomial(n,k)*binomial(binomial(n,2),n-k).

A369198 Number of labeled loop-graphs with n vertices and the same number of edges as covered vertices.

Original entry on oeis.org

1, 2, 6, 30, 241, 2759, 40824, 736342, 15622835, 380668095, 10467815086, 320529284621, 10813165015074, 398413594789777, 15917197015926392, 685312404706694574, 31631317971844128229, 1558017329350990780607, 81567807853701988869120, 4522975947689168088308305
Offset: 0

Views

Author

Gus Wiseman, Jan 18 2024

Keywords

Examples

			The a(0) = 1 through a(3) = 30 loop-graphs (loops shown as singletons):
  {}  {}     {}           {}
      {{1}}  {{1}}        {{1}}
             {{2}}        {{2}}
             {{1},{2}}    {{3}}
             {{1},{1,2}}  {{1},{2}}
             {{2},{1,2}}  {{1},{3}}
                          {{2},{3}}
                          {{1},{1,2}}
                          {{1},{1,3}}
                          {{2},{1,2}}
                          {{2},{2,3}}
                          {{3},{1,3}}
                          {{3},{2,3}}
                          {{1},{2},{3}}
                          {{1},{2},{1,3}}
                          {{1},{2},{2,3}}
                          {{1},{3},{1,2}}
                          {{1},{3},{2,3}}
                          {{2},{3},{1,2}}
                          {{2},{3},{1,3}}
                          {{1},{1,2},{1,3}}
                          {{1},{1,2},{2,3}}
                          {{1},{1,3},{2,3}}
                          {{2},{1,2},{1,3}}
                          {{2},{1,2},{2,3}}
                          {{2},{1,3},{2,3}}
                          {{3},{1,2},{1,3}}
                          {{3},{1,2},{2,3}}
                          {{3},{1,3},{2,3}}
                          {{1,2},{1,3},{2,3}}
		

Crossrefs

The version counting all vertices is A014068.
The loopless case is A367862, counting all vertices A116508.
The covering case is A368597, connected A368951.
With inequality we have A369196, covering A369194, connected A369197.
A000085, A100861, A111924 count set partitions into singletons or pairs.
A006125 counts simple graphs, also loop-graphs if shifted left.
A006129 counts covering graphs, unlabeled A002494.
A054548 counts graphs covering n vertices with k edges, with loops A369199.
A322661 counts covering loop-graphs, unlabeled A322700.
A368927 counts choosable loop-graphs, covering A369140.
A369141 counts non-choosable loop-graphs, covering A369142.

Programs

  • Mathematica
    Table[Length[Select[Subsets[Subsets[Range[n],{1,2}]], Length[#]==Length[Union@@#]&]],{n,0,5}]

Formula

Binomial transform of A368597.

A386879 a(n) = [x^n] 1/(1 - x)^(n*(n-1)/2).

Original entry on oeis.org

1, 0, 1, 10, 126, 2002, 38760, 888030, 23535820, 708930508, 23930713170, 895068996640, 36749279048405, 1643385429346680, 79515468511191440, 4139207762053520646, 230672804560960311000, 13703037308872895467960, 864424422377992704918690, 57711135174726478041405270, 4065392394346039279040037520
Offset: 0

Views

Author

Vaclav Kotesovec, Aug 06 2025

Keywords

Crossrefs

Programs

  • Mathematica
    Table[SeriesCoefficient[1/(1-x)^(n*(n-1)/2), {x, 0, n}], {n, 0, 25}]
    Join[{1}, Table[Binomial[n*(n+1)/2, n] * (n-1) / (n+1), {n, 1, 25}]]

Formula

a(n) ~ exp(n) * n^(n - 1/2) / (sqrt(Pi) * 2^(n + 1/2)).
For n > 0, a(n) = binomial(n*(n+1)/2, n) * (n-1)/(n+1).
Previous Showing 41-50 of 52 results. Next