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 21-30 of 32 results. Next

A370169 Number of unlabeled loop-graphs covering n vertices with at most n edges.

Original entry on oeis.org

1, 1, 3, 7, 19, 48, 135, 373, 1085, 3184, 9590, 29258, 90833, 285352, 908006, 2919953, 9487330, 31111997, 102934602, 343389708, 1154684849, 3912345408, 13353796977, 45906197103, 158915480378, 553897148543, 1943627750652, 6865605601382, 24411508473314, 87364180212671, 314682145679491
Offset: 0

Views

Author

Gus Wiseman, Feb 16 2024

Keywords

Examples

			The a(0) = 1 through a(4) = 19 loop-graph edge sets (loops shown as singletons):
  {}  {{1}}  {{1,2}}      {{1},{2,3}}          {{1,2},{3,4}}
             {{1},{2}}    {{1,2},{1,3}}        {{1},{2},{3,4}}
             {{1},{1,2}}  {{1},{2},{3}}        {{1},{1,2},{3,4}}
                          {{1},{2},{1,3}}      {{1},{2,3},{2,4}}
                          {{1},{1,2},{1,3}}    {{1},{2},{3},{4}}
                          {{1},{1,2},{2,3}}    {{1,2},{1,3},{1,4}}
                          {{1,2},{1,3},{2,3}}  {{1,2},{1,3},{2,4}}
                                               {{1},{2},{3},{1,4}}
                                               {{1},{2},{1,2},{3,4}}
                                               {{1},{2},{1,3},{1,4}}
                                               {{1},{2},{1,3},{2,4}}
                                               {{1},{2},{1,3},{3,4}}
                                               {{1},{1,2},{1,3},{1,4}}
                                               {{1},{1,2},{1,3},{2,4}}
                                               {{1},{1,2},{2,3},{2,4}}
                                               {{1},{1,2},{2,3},{3,4}}
                                               {{1},{2,3},{2,4},{3,4}}
                                               {{1,2},{1,3},{1,4},{2,3}}
                                               {{1,2},{1,3},{2,4},{3,4}}
		

Crossrefs

The case of equality is A368599, covering case of A368598.
The labeled version is A369194, covering case of A066383.
This is the covering case of A370168.
The loopless version is the covering case of A370315, labeled A369192.
This is the loopless version is A370316, labeled A369191.
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],{1,2}]], Union@@#==Range[n]&&Length[#]<=n&]]],{n,0,5}]
  • PARI
    \\ G defined in A070166.
    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(7) onwards from Andrew Howroyd, Feb 19 2024

A369193 Number of labeled simple graphs with n vertices and at most as many edges as covered (non-isolated) vertices.

Original entry on oeis.org

1, 1, 2, 8, 57, 608, 8614, 151365, 3162353, 76359554, 2088663444, 63760182536, 2147325661180, 79051734050283, 3157246719905273, 135938652662043977, 6275929675565965599, 309242148569525451140, 16197470691388774460758, 898619766673014862321176, 52639402023471657682257626
Offset: 0

Views

Author

Gus Wiseman, Jan 17 2024

Keywords

Examples

			The a(0) = 1 through a(3) = 8 graphs:
  {}  {}  {}       {}
          {{1,2}}  {{1,2}}
                   {{1,3}}
                   {{2,3}}
                   {{1,2},{1,3}}
                   {{1,2},{2,3}}
                   {{1,3},{2,3}}
                   {{1,2},{1,3},{2,3}}
		

Crossrefs

The case of equality is A367862, covering case of A116508, also A367863.
The covering case is A369191, for loop-graphs A369194.
The version counting all vertices is A369192.
The version for loop-graphs is A369196, counting all vertices A066383.
A006125 counts simple graphs, unlabeled A000088.
A006129 counts covering graphs, unlabeled A002494.
A054548 counts graphs covering n vertices with k edges, with loops A369199.
A133686 counts choosable graphs, covering A367869.
A367867 counts non-choosable graphs, covering A367868.

Programs

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

Formula

Binomial transform of A369191.

A369147 Number of unlabeled loop-graphs covering n vertices such that it is not possible to choose a different vertex from each edge (non-choosable).

Original entry on oeis.org

0, 0, 1, 7, 52, 411, 4440, 73886, 2128608, 111533208, 10812478194, 1945437194308, 650378721118910, 404749938336301313, 470163239887698682289, 1022592854829028310302180, 4177826139658552046624979658, 32163829440870460348768017832607, 468021728889827507080865185809438918
Offset: 0

Views

Author

Gus Wiseman, Jan 23 2024

Keywords

Examples

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

Crossrefs

Without the choice condition we have A322700, labeled A322661.
The complement for exactly n edges is A368984, labeled A333331 (maybe).
The labeled complement is A369140, covering case of A368927.
The labeled version is A369142, covering case of A369141.
This is the covering case of A369146.
The complement is counted by A369200, covering case of A369145.
Without loops we have A369202, covering case of A140637.
A000085, A100861, A111924 count set partitions into singletons or pairs.
A000666 counts unlabeled loop-graphs, labeled A006125 (shifted left).
A002494 counts unlabeled covering graphs, labeled A006129.
A007716 counts non-isomorphic multiset partitions, connected A007718.

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],{1,2}]], Union@@#==Range[n] && Length[Select[Tuples[#],UnsameQ@@#&]]==0&]]],{n,0,4}]

Formula

First differences of A369146.
a(n) = A322700(n) - A369200(n). - Andrew Howroyd, Feb 02 2024

Extensions

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

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

Original entry on oeis.org

1, 1, 3, 7, 18, 43, 112, 282, 740, 1940, 5182, 13916, 37826, 103391, 284815, 788636, 2195414, 6137025, 17223354, 48495640, 136961527, 387819558, 1100757411, 3130895452, 8922294498, 25470279123, 72823983735, 208515456498, 597824919725, 1716072103910, 4931540188084
Offset: 0

Views

Author

Gus Wiseman, Jan 23 2024

Keywords

Comments

These are covering loop-graphs with at most one cycle (unicyclic) in each connected component.

Examples

			Representatives of the a(1) = 1 through a(4) = 18 loop-graphs (loops shown as singletons):
  {{1}}  {{1,2}}      {{1},{2,3}}          {{1,2},{3,4}}
         {{1},{2}}    {{1,2},{1,3}}        {{1},{2},{3,4}}
         {{1},{1,2}}  {{1},{2},{3}}        {{1},{1,2},{3,4}}
                      {{1},{2},{1,3}}      {{1},{2,3},{2,4}}
                      {{1},{1,2},{1,3}}    {{1},{2},{3},{4}}
                      {{1},{1,2},{2,3}}    {{1,2},{1,3},{1,4}}
                      {{1,2},{1,3},{2,3}}  {{1,2},{1,3},{2,4}}
                                           {{1},{2},{3},{1,4}}
                                           {{1},{2},{1,3},{1,4}}
                                           {{1},{2},{1,3},{2,4}}
                                           {{1},{2},{1,3},{3,4}}
                                           {{1},{1,2},{1,3},{1,4}}
                                           {{1},{1,2},{1,3},{2,4}}
                                           {{1},{1,2},{2,3},{2,4}}
                                           {{1},{1,2},{2,3},{3,4}}
                                           {{1},{2,3},{2,4},{3,4}}
                                           {{1,2},{1,3},{1,4},{2,3}}
                                           {{1,2},{1,3},{2,4},{3,4}}
		

Crossrefs

Without the choice condition we have A322700, labeled A322661.
Without loops we have A368834, covering case of A134964.
For exactly n edges we have A368984, labeled A333331 (maybe).
The labeled version is A369140, covering case of A368927.
The labeled complement is A369142, covering case of A369141.
This is the covering case of A369145.
The complement is counted by A369147, covering case of A369146.
The complement without loops is A369202, covering case of A140637.
A000085, A100861, A111924 count set partitions into singletons or pairs.
A000666 counts unlabeled loop-graphs, labeled A006125 (shifted left).
A006129 counts covering graphs, unlabeled A002494.
A007716 counts non-isomorphic multiset partitions, connected A007718.
A129271 counts connected choosable simple graphs, unlabeled A005703.
A133686 counts choosable labeled graphs, covering A367869.

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],{1,2}]], Union@@#==Range[n]&&Length[Select[Tuples[#], UnsameQ@@#&]]!=0&]]],{n,0,4}]

Formula

First differences of A369145.
Euler transform of A369289 with A369289(1) = 1. - Andrew Howroyd, Feb 02 2024

Extensions

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

A001862 Number of forests of least height with n nodes.

Original entry on oeis.org

1, 1, 2, 7, 26, 111, 562, 3151, 19252, 128449, 925226, 7125009, 58399156, 507222535, 4647051970, 44747776651, 451520086208, 4761032807937, 52332895618066, 598351410294193, 7102331902602676, 87365859333294151, 1111941946738682522, 14621347433458883187
Offset: 0

Views

Author

Keywords

Comments

From Gus Wiseman, Feb 14 2024: (Start)
Also the number of minimal loop-graphs covering n vertices. This is the minimal case of A322661. For example, the a(0) = 1 through a(3) = 7 loop-graphs are (loops represented as singletons):
{} {1} {12} {1-23}
{1-2} {2-13}
{3-12}
{12-13}
{12-23}
{13-23}
{1-2-3}
(End)

References

  • I. P. Goulden and D. M. Jackson, Combinatorial Enumeration, John Wiley and Sons, N.Y., 1983. See (3.3.7): number of ways to cover the complete graph K_n with star graphs.
  • 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).

Crossrefs

The connected case is A000272.
Without loops we have A053530, minimal case of A369191.
This is the minimal case of A322661.
A000666 counts unlabeled loop-graphs, covering A322700.
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.

Programs

  • Mathematica
    Range[0, 20]! CoefficientList[Series[Exp[x Exp[x] - x^2/2], {x, 0, 20}], x] (* Geoffrey Critzer, Mar 13 2011 *)
    fasmin[y_]:=Complement[y,Union@@Table[Union[s,#]& /@ Rest[Subsets[Complement[Union@@y,s]]],{s,y}]];
    Table[Length@fasmin[Select[Subsets[Subsets[Range[n],{1,2}]], Union@@#==Range[n]&]],{n,0,4}] (* Gus Wiseman, Feb 14 2024 *)

Formula

E.g.f.: exp(x*(exp(x)-x/2)).
Binomial transform of A053530. - Gus Wiseman, Feb 14 2024

Extensions

Formula and more terms from Vladeta Jovovic, Mar 27 2001

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

A370168 Number of unlabeled loop-graphs with n vertices and at most n edges.

Original entry on oeis.org

1, 2, 5, 13, 36, 102, 313, 994, 3318, 11536, 41748, 156735, 609973, 2456235, 10224216, 43946245, 194866898, 890575047, 4190997666, 20289434813, 100952490046, 515758568587, 2703023502100, 14518677321040, 79852871813827, 449333028779385, 2584677513933282
Offset: 0

Views

Author

Gus Wiseman, Feb 16 2024

Keywords

Examples

			The a(0) = 1 through a(3) = 13 loop-graph edge sets (loops shown as singletons):
  {}  {}     {}           {}
      {{1}}  {{1}}        {{1}}
             {{1,2}}      {{1,2}}
             {{1},{2}}    {{1},{2}}
             {{1},{1,2}}  {{1},{1,2}}
                          {{1},{2,3}}
                          {{1,2},{1,3}}
                          {{1},{2},{3}}
                          {{1},{2},{1,2}}
                          {{1},{2},{1,3}}
                          {{1},{1,2},{1,3}}
                          {{1},{1,2},{2,3}}
                          {{1,2},{1,3},{2,3}}
		

Crossrefs

The labeled version is A066383, covering A369194.
The case of equality is A368598, covering A368599.
The covering case is A370169, labeled A369194.
The loopless version is A370315, labeled A369192.
The covering loopless version is A370316, labeled A369191.
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], {1,2}]],Length[#]<=n&]]],{n,0,5}]
  • PARI
    a(n)=my(A=O(x*x^n)); if(n==0, 1, polcoef(G(n, A)/(1-x), n)) \\ G defined in A070166. - Andrew Howroyd, Feb 19 2024

Extensions

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

A369202 Number of unlabeled simple graphs covering n vertices 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, 2, 13, 95, 826, 11137, 261899, 11729360, 1006989636, 164072166301, 50336940172142, 29003653625802754, 31397431814146891910, 63969589218557753075156, 245871863137828405124380563, 1787331789281458167615190373076, 24636021675399858912682459601585276
Offset: 0

Views

Author

Gus Wiseman, Jan 23 2024

Keywords

Comments

These are simple graphs covering n vertices such that some connected component has at least two cycles.

Examples

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

Crossrefs

Without the choice condition we have A002494, labeled A006129.
The connected case is A140636.
This is the covering case of A140637, complement A134964.
The labeled version is A367868, complement A367869.
The complement is counted by A368834.
The version with loops is A369147, complement A369200.
A005703 counts unlabeled connected choosable simple graphs, labeled A129271.
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

First differences of A140637.
a(n) = A002494(n) - A368834(n).

A370315 Number of unlabeled simple graphs with n possibly isolated vertices and up to n edges.

Original entry on oeis.org

1, 1, 2, 4, 9, 20, 54, 146, 436, 1372, 4577, 15971, 58376, 221876, 876012, 3583099, 15159817, 66248609, 298678064, 1387677971, 6637246978, 32648574416, 165002122350, 855937433641, 4553114299140, 24813471826280, 138417885372373, 789683693019999, 4603838061688077
Offset: 0

Views

Author

Gus Wiseman, Feb 18 2024

Keywords

Examples

			The a(1) = 1 through a(4) = 9 graph edge sets:
  {}  {}    {}          {}
      {12}  {12}        {12}
            {12-13}     {12-13}
            {12-13-23}  {12-34}
                        {12-13-14}
                        {12-13-23}
                        {12-13-24}
                        {12-13-14-23}
                        {12-13-24-34}
		

Crossrefs

The case of exactly n edges is A001434, covering A006649.
The connected covering case is A005703, labeled A129271.
Partial row sums of A008406, covering A370167.
The labeled version is A369192.
The version with loops is A370168, labeled A066383.
The covering case is A370316, labeled A369191.
A006125 counts graphs, unlabeled A000088.
A006129 counts covering graphs, unlabeled A002494.

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}]], Length[#]<=n&]]],{n,0,5}]
  • PARI
    a(n) = if(n<=1, n>=0, polcoef(G(n, O(x*x^n))/(1-x),n)) \\ G(n) defined in A008406. - Andrew Howroyd, Feb 20 2024

Formula

Sum of first n+1 terms of row n of A008406.

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).
Previous Showing 21-30 of 32 results. Next