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-10 of 11 results. Next

A002494 Number of n-node graphs without isolated nodes.

Original entry on oeis.org

1, 0, 1, 2, 7, 23, 122, 888, 11302, 262322, 11730500, 1006992696, 164072174728, 50336940195360, 29003653625867536, 31397431814147073280, 63969589218557753586160, 245871863137828405125824848, 1787331789281458167615194471072, 24636021675399858912682459613241920
Offset: 0

Views

Author

Keywords

Comments

Number of unlabeled simple graphs covering n vertices. - Gus Wiseman, Aug 02 2018

Examples

			From _Gus Wiseman_, Aug 02 2018: (Start)
Non-isomorphic representatives of the a(4) = 7 graphs:
  (12)(34)
  (12)(13)(14)
  (12)(13)(24)
  (12)(13)(14)(23)
  (12)(13)(24)(34)
  (12)(13)(14)(23)(24)
  (12)(13)(14)(23)(24)(34)
(End)
		

References

  • F. Harary, Graph Theory. Addison-Wesley, Reading, MA, 1969, p. 214.
  • W. L. Kocay, Some new methods in reconstruction theory, Combinatorial Mathematics IX, 952 (1982) 89--114. [From Benoit Jubin, Sep 06 2008]
  • W. L. Kocay, On reconstructing spanning subgraphs, Ars Combinatoria, 11 (1981) 301--313. [From Benoit Jubin, Sep 06 2008]
  • J. H. Redfield, The theory of group-reduced distributions, Amer. J. Math., 49 (1927), 433-435; reprinted in P. A. MacMahon, Coll. Papers I, pp. 805-827.
  • 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

Equals first differences of A000088. Cf. A006129 (labeled), A001349 (connected, inv. Euler Transf).

Programs

  • Maple
    b:= proc(n, i, l) `if`(n=0 or i=1, 1/n!*2^((p-> add(ceil((p[j]-1)/2)
          +add(igcd(p[k], p[j]), k=1..j-1), j=1..nops(p)))([l[], 1$n])),
           add(b(n-i*j, i-1, [l[], i$j])/j!/i^j, j=0..n/i))
        end:
    a:= n-> b(n$2, [])-`if`(n>0, b(n-1$2, []), 0):
    seq(a(n), n=0..20);  # Alois P. Heinz, Aug 14 2019
  • Mathematica
    << MathWorld`Graphs`
    Length /@ (gp = Select[ #, GraphicalPartitionQ] & /@
    Graphs /@ Range[9])
    nn = 20; g = Sum[NumberOfGraphs[n] x^n, {n, 0, nn}]; CoefficientList[Series[ g (1 - x), {x, 0, nn}], x]  (*Geoffrey Critzer, Apr 14 2012*)
    sysnorm[m_]:=If[Union@@m!=Range[Max@@Flatten[m]],sysnorm[m/.Rule@@@Table[{(Union@@m)[[i]],i},{i,Length[Union@@m]}]],First[Sort[sysnorm[m,1]]]];
    sysnorm[m_,aft_]:=If[Length[Union@@m]<=aft,{m},With[{mx=Table[Count[m,i,{2}],{i,Select[Union@@m,#>=aft&]}]},Union@@(sysnorm[#,aft+1]&/@Union[Table[Map[Sort,m/.{par+aft-1->aft,aft->par+aft-1},{0,1}],{par,First/@Position[mx,Max[mx]]}]])]];
    Table[Length[Union[sysnorm/@Select[Subsets[Select[Subsets[Range[n]],Length[#]==2&]],Union@@#==Range[n]&]]],{n,6}] (* Gus Wiseman, Aug 02 2018 *)
    b[n_, i_, l_] := If[n==0 || i==1, 1/n!*2^(Function[p, Sum[Ceiling[(p[[j]]-1)/2] + Sum[GCD[p[[k]], p[[j]]], {k, 1, j-1}], {j, 1, Length[p]}]][Join[l, Table[1, {n}]]]), Sum[b[n-i*j, i-1, Join[l, Table[i, {j}]]]/j!/i^j, {j, 0, n/i}]];
    a[n_] := b[n, n, {}] - If[n > 0, b[n-1, n-1, {}], 0];
    a /@ Range[0, 20] (* Jean-François Alcover, Dec 03 2019, after Alois P. Heinz *)
  • Python
    from itertools import combinations
    from math import prod, factorial, gcd
    from fractions import Fraction
    from sympy.utilities.iterables import partitions
    def A002494(n): return int(sum(Fraction(1<>1)*r+(q*r*(r-1)>>1) for q,r in p.items()),prod(q**r*factorial(r) for q,r in p.items())) for p in partitions(n))-sum(Fraction(1<>1)*r+(q*r*(r-1)>>1) for q,r in p.items()),prod(q**r*factorial(r) for q,r in p.items())) for p in partitions(n-1))) if n else 1 # Chai Wah Wu, Jul 03 2024

Formula

O.g.f.: (1-x)*G(x) where G(x) is o.g.f. for A000088. - Geoffrey Critzer, Apr 14 2012
a(n) = A327075(n)+A001349(n). - R. J. Mathar, Nov 21 2023

Extensions

More terms from Vladeta Jovovic, Apr 10 2000
a(0) added from David W. Wilson, Aug 24 2008

A007146 Number of unlabeled simple connected bridgeless graphs with n nodes.

Original entry on oeis.org

1, 0, 1, 3, 11, 60, 502, 7403, 197442, 9804368, 902818087, 153721215608, 48443044675155, 28363687700395422, 30996524108446916915, 63502033750022111383196, 244852545022627009655180986, 1783161611023802810566806448531, 24603891215865809635944516464394339
Offset: 1

Views

Author

Keywords

Comments

Also unlabeled simple graphs with spanning edge-connectivity >= 2. The spanning edge-connectivity of a set-system is the minimum number of edges that must be removed (without removing incident vertices) to obtain a set-system that is disconnected or covers fewer vertices. - Gus Wiseman, Sep 02 2019

References

  • N. J. A. Sloane and Simon Plouffe, The Encyclopedia of Integer Sequences, Academic Press, 1995 (includes this sequence).

Crossrefs

Cf. A005470 (number of simple graphs).
Cf. A007145 (number of simple connected rooted bridgeless graphs).
Cf. A052446 (number of simple connected bridged graphs).
Cf. A263914 (number of simple bridgeless graphs).
Cf. A263915 (number of simple bridged graphs).
The labeled version is A095983.
Row sums of A263296 if the first two columns are removed.
BII-numbers of set-systems with spanning edge-connectivity >= 2 are A327109.
Graphs with non-spanning edge-connectivity >= 2 are A327200.
2-vertex-connected graphs are A013922.

Programs

  • PARI
    \\ Translation of theorem 3.2 in Hanlon and Robinson reference. See A004115 for graphsSeries and A339645 for combinatorial species functions.
    cycleIndexSeries(n)={my(gc=sLog(graphsSeries(n)), gcr=sPoint(gc)); sSolve( gc + gcr^2/2 - sRaise(gcr,2)/2, x*sv(1)*sExp(gcr) )}
    NumUnlabeledObjsSeq(cycleIndexSeries(15)) \\ Andrew Howroyd, Dec 31 2020

Formula

a(n) = A001349(n) - A052446(n). - Gus Wiseman, Sep 02 2019

Extensions

Reference gives first 22 terms.

A327108 BII-numbers of set-systems with spanning edge-connectivity 2.

Original entry on oeis.org

52, 53, 54, 55, 60, 61, 62, 63, 84, 85, 86, 87, 92, 93, 94, 95, 100, 101, 102, 103, 108, 109, 110, 111, 112, 113, 114, 115, 120, 121, 122, 123, 772, 773, 774, 775, 816, 817, 818, 819, 820, 821, 822, 823, 824, 825, 826, 827, 828, 829, 830, 831, 848, 849, 850
Offset: 1

Views

Author

Gus Wiseman, Aug 23 2019

Keywords

Comments

Differs from A327109 in lacking 116, 117, 118, 119, 124, 125, 126, 127, ...
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.
The spanning edge-connectivity of a set-system is the minimum number of edges that must be removed (without removing incident vertices) to obtain a disconnected or empty set-system.

Examples

			The sequence of all set-systems with spanning edge-connectivity 2 together with their BII-numbers begins:
   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}}
   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}}
   84: {{1,2},{1,3},{1,2,3}}
   85: {{1},{1,2},{1,3},{1,2,3}}
   86: {{2},{1,2},{1,3},{1,2,3}}
   87: {{1},{2},{1,2},{1,3},{1,2,3}}
   92: {{1,2},{3},{1,3},{1,2,3}}
   93: {{1},{1,2},{3},{1,3},{1,2,3}}
   94: {{2},{1,2},{3},{1,3},{1,2,3}}
   95: {{1},{2},{1,2},{3},{1,3},{1,2,3}}
  100: {{1,2},{2,3},{1,2,3}}
  101: {{1},{1,2},{2,3},{1,2,3}}
  102: {{2},{1,2},{2,3},{1,2,3}}
  103: {{1},{2},{1,2},{2,3},{1,2,3}}
		

Crossrefs

Positions of 2's in A327144.
Graphs with spanning edge-connectivity >= 2 are counted by A095983.
Graphs with spanning edge-connectivity 2 are counted by A327146.
Set-systems with spanning edge-connectivity 2 are counted by A327130.
BII-numbers for non-spanning edge-connectivity 2 are A327097.
BII-numbers for spanning edge-connectivity >= 2 are A327109.
BII-numbers for spanning edge-connectivity 1 are A327111.

Programs

  • Mathematica
    bpe[n_]:=Join@@Position[Reverse[IntegerDigits[n,2]],1];
    csm[s_]:=With[{c=Select[Tuples[Range[Length[s]],2],And[OrderedQ[#],UnsameQ@@#,Length[Intersection@@s[[#]]]>0]&]},If[c=={},s,csm[Sort[Append[Delete[s,List/@c[[1]]],Union@@s[[c[[1]]]]]]]]];
    spanEdgeConn[vts_,eds_]:=Length[eds]-Max@@Length/@Select[Subsets[eds],Union@@#!=vts||Length[csm[#]]!=1&];
    Select[Range[0,100],spanEdgeConn[Union@@bpe/@bpe[#],bpe/@bpe[#]]==2&]

A327070 Number of non-connected simple labeled graphs covering n vertices.

Original entry on oeis.org

1, 0, 0, 0, 3, 40, 745, 21028, 973889, 80133088, 12523299729, 3847333778244, 2341705361100633, 2821794389863015840, 6728707109106848947081, 31769173063866390661714996, 297278309767391164611330317921
Offset: 0

Views

Author

Gus Wiseman, Aug 24 2019

Keywords

Comments

We consider the empty graph to be neither connected (one component) nor disconnected (more than one component).

Examples

			The a(4) = 3 graphs:
  {{1,2},{3,4}}
  {{1,3},{2,4}}
  {{1,4},{2,3}}
		

Crossrefs

Column k = 0 of A327149.
The unlabeled version is A327075.
The non-covering version is A327199.

Programs

  • Mathematica
    csm[s_]:=With[{c=Select[Tuples[Range[Length[s]],2],And[OrderedQ[#],UnsameQ@@#,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}]],Union@@#==Range[n]&&Length[csm[#]]!=1&]],{n,0,5}]

Formula

a(n) = A006129(n) - A001187(n), if we assume A001187(0) = 0 and A001187(1) = 0.
Inverse binomial transform of A327199.

A327109 BII-numbers of set-systems with spanning edge-connectivity >= 2.

Original entry on oeis.org

52, 53, 54, 55, 60, 61, 62, 63, 84, 85, 86, 87, 92, 93, 94, 95, 100, 101, 102, 103, 108, 109, 110, 111, 112, 113, 114, 115, 116, 117, 118, 119, 120, 121, 122, 123, 124, 125, 126, 127, 772, 773, 774, 775, 816, 817, 818, 819, 820, 821, 822, 823, 824, 825, 826
Offset: 1

Views

Author

Gus Wiseman, Aug 23 2019

Keywords

Comments

Differs from A327108 in having 116, 117, 118, 119, 124, 125, 126, 127, ...
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.
The spanning edge-connectivity of a set-system is the minimum number of edges that must be removed (without removing incident vertices) to obtain a disconnected or empty set-system.

Examples

			The sequence of all set-systems with spanning edge-connectivity >= 2 together with their BII-numbers begins:
   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}}
   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}}
   84: {{1,2},{1,3},{1,2,3}}
   85: {{1},{1,2},{1,3},{1,2,3}}
   86: {{2},{1,2},{1,3},{1,2,3}}
   87: {{1},{2},{1,2},{1,3},{1,2,3}}
   92: {{1,2},{3},{1,3},{1,2,3}}
   93: {{1},{1,2},{3},{1,3},{1,2,3}}
   94: {{2},{1,2},{3},{1,3},{1,2,3}}
   95: {{1},{2},{1,2},{3},{1,3},{1,2,3}}
  100: {{1,2},{2,3},{1,2,3}}
  101: {{1},{1,2},{2,3},{1,2,3}}
  102: {{2},{1,2},{2,3},{1,2,3}}
  103: {{1},{2},{1,2},{2,3},{1,2,3}}
		

Crossrefs

Positions of terms >= 2 in A327144.
Graphs with spanning edge-connectivity >= 2 are counted by A095983.
Graphs with spanning edge-connectivity 2 are counted by A327146.
Set-systems with spanning edge-connectivity 2 are counted by A327130.
BII-numbers for non-spanning edge-connectivity 2 are A327097.
BII-numbers for non-spanning edge-connectivity >= 2 are A327102.
BII-numbers for spanning edge-connectivity 2 are A327108.
BII-numbers for spanning edge-connectivity 1 are A327111.

Programs

  • Mathematica
    bpe[n_]:=Join@@Position[Reverse[IntegerDigits[n,2]],1];
    csm[s_]:=With[{c=Select[Tuples[Range[Length[s]],2],And[OrderedQ[#],UnsameQ@@#,Length[Intersection@@s[[#]]]>0]&]},If[c=={},s,csm[Sort[Append[Delete[s,List/@c[[1]]],Union@@s[[c[[1]]]]]]]]];
    spanEdgeConn[vts_,eds_]:=Length[eds]-Max@@Length/@Select[Subsets[eds],Union@@#!=vts||Length[csm[#]]!=1&];
    Select[Range[0,1000],spanEdgeConn[Union@@bpe/@bpe[#],bpe/@bpe[#]]>=2&]

A327201 Irregular triangle read by rows with trailing zeros removed where T(n,k) is the number of unlabeled simple graphs covering n vertices with non-spanning edge-connectivity k.

Original entry on oeis.org

1, 0, 1, 0, 0, 1, 1, 1, 1, 2, 2, 1, 2, 3, 7, 5, 4, 1, 1
Offset: 0

Views

Author

Gus Wiseman, Sep 03 2019

Keywords

Comments

The non-spanning edge-connectivity of a graph is the minimum number of edges that must be removed to obtain a disconnected or empty graph, ignoring isolated vertices.

Examples

			Triangle begins:
  1
  {}
  0 1
  0 0 1 1
  1 1 2 2 1
  2 3 7 5 4 1 1
		

Crossrefs

Row sums are A002494.
Column k = 0 is A327075.
The labeled version is A327149.
Spanning edge-connectivity is A263296.
The non-covering version is A327236 (partial sums).

A327074 Number of unlabeled connected graphs with n vertices and exactly one bridge.

Original entry on oeis.org

0, 0, 1, 0, 1, 4, 25, 197, 2454, 48201, 1604016, 93315450, 9696046452, 1822564897453, 625839625866540, 395787709599238772, 464137745175250610865, 1015091996575508453655611, 4160447945769725861550193834, 32088553211819016484736085677320, 467409605282347770524641700949750858
Offset: 0

Views

Author

Gus Wiseman, Aug 24 2019

Keywords

Comments

A bridge is an edge that, if removed without removing any incident vertices, disconnects the graph. Unlabeled graphs with no bridges are counted by A007146 (unlabeled graphs with spanning edge-connectivity >= 2).

Crossrefs

The labeled version is A327073.
Unlabeled graphs with at least one bridge are A052446.
The enumeration of unlabeled connected graphs by number of bridges is A327077.
BII-numbers of set-systems with spanning edge-connectivity >= 2 are A327109.

Programs

Formula

G.f.: (f(x)^2 + f(x^2))/2 where f(x) is the g.f. of A007145. - Andrew Howroyd, Aug 25 2019

Extensions

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

A327199 Number of labeled simple graphs with n vertices whose edge-set is not connected.

Original entry on oeis.org

1, 1, 1, 1, 4, 56, 1031, 27189, 1165424, 89723096, 13371146135, 3989665389689, 2388718032951812, 2852540291841718752, 6768426738881535155247, 31870401029679493862010949, 297787425565749788134314214272
Offset: 0

Views

Author

Gus Wiseman, Sep 01 2019

Keywords

Comments

Also graphs with non-spanning edge-connectivity 0.

Examples

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

Crossrefs

Column k = 0 of A327148.
The covering case is A327070.
The unlabeled version is A327235.

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&]],{n,0,5}]

Formula

Binomial transform of A327070.

A327235 Number of unlabeled simple graphs with n vertices whose edge-set is not connected.

Original entry on oeis.org

1, 1, 1, 1, 2, 4, 14, 49, 234, 1476, 15405, 307536, 12651788, 1044977929, 167207997404, 50838593828724, 29156171171238607, 31484900549777534887, 64064043979274771429379, 246064055301339083624989655, 1788069981480210465772374023323, 24641385885409824180500407923934750
Offset: 0

Views

Author

Gus Wiseman, Sep 01 2019

Keywords

Examples

			The a(4) = 2 through a(6) = 14 edge-sets:
  {}       {}             {}
  {12,34}  {12,34}        {12,34}
           {12,35,45}     {12,34,56}
           {12,34,35,45}  {12,35,45}
                          {12,34,35,45}
                          {12,35,46,56}
                          {12,36,46,56}
                          {13,23,46,56}
                          {12,34,35,46,56}
                          {12,36,45,46,56}
                          {13,23,45,46,56}
                          {12,13,23,45,46,56}
                          {12,35,36,45,46,56}
                          {12,34,35,36,45,46,56}
		

Crossrefs

Unlabeled non-connected graphs are A000719.
Partial sums of A327075.
The labeled version is A327199.

Programs

  • Python
    from functools import lru_cache
    from itertools import combinations
    from fractions import Fraction
    from math import prod, gcd, factorial
    from sympy import mobius, divisors
    from sympy.utilities.iterables import partitions
    def A327235(n):
        if n == 0: return 1
        @lru_cache(maxsize=None)
        def b(n): return int(sum(Fraction(1<>1)*r+(q*r*(r-1)>>1) for q, r in p.items()),prod(q**r*factorial(r) for q, r in p.items())) for p in partitions(n)))
        @lru_cache(maxsize=None)
        def c(n): return n*b(n)-sum(c(k)*b(n-k) for k in range(1,n))
        def a(n): return sum(mobius(n//d)*c(d) for d in divisors(n,generator=True))//n if n else 1
        return 1+b(n)-sum(a(i) for i in range(1,n+1)) # Chai Wah Wu, Jul 03 2024

Formula

a(n) = 1 + A000088(n) - Sum_{i = 1..n} A001349(i).

Extensions

a(20)-a(21) from Chai Wah Wu, Jul 03 2024

A182100 The number of connected simple labeled graphs with <= n nodes.

Original entry on oeis.org

1, 2, 4, 11, 65, 974, 31744, 2069971, 267270041, 68629753650, 35171000942708, 36024807353574291, 73784587576805254665, 302228602363365451957806, 2475873310144021668263093216, 40564787336902311168400640561099
Offset: 0

Views

Author

Geoffrey Critzer, Apr 11 2012

Keywords

Examples

			From _Gus Wiseman_, Sep 03 2019: (Start)
The a(0) = 1 through a(3) = 11 edge-sets (singletons represent uncovered vertices):
  {}  {}     {}       {}
      {{1}}  {{1}}    {{1}}
             {{2}}    {{2}}
             {{1,2}}  {{3}}
                      {{1,2}}
                      {{1,3}}
                      {{2,3}}
                      {{1,2},{1,3}}
                      {{1,2},{2,3}}
                      {{1,3},{2,3}}
                      {{1,2},{1,3},{2,3}}
(End)
		

Crossrefs

The unlabeled version is A292300(n) + 1.

Programs

  • Mathematica
    nn = 15; g = Sum[2^Binomial[n, 2] x^n/n!, {n, 0, nn}]; Range[0, nn]! CoefficientList[Series[Exp[x] (Log[g] + 1), {x, 0, nn}], x]

Formula

a(n) = Sum_{i=0..n} binomial(n,i)*A001187(i).
E.g.f.: exp(x)*A(x) where A(x) is e.g.f. for A001187.
a(n) = A327078(n) + n. - Gus Wiseman, Sep 03 2019
Showing 1-10 of 11 results. Next