A001187 -id:A001187 - cp's OEIS frontend

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

1, 1, 1, 1, 1, 3, 3, 1, 4, 18, 27, 14, 1, 56, 250, 402, 240, 65, 10, 1, 1031, 5475, 11277, 9620, 4282, 921, 146, 15, 1

Offset: 0

Gus Wiseman, Aug 27 2019

The non-spanning edge-connectivity of a graph is the minimum number of edges that must be removed (along with any isolated vertices) to obtain a disconnected or empty graph.

			Triangle begins:
   1
   1
   1   1
   1   3   3   1
   4  18  27  14   1
  56 250 402 240  65  10   1

Row sums are A006125.
Column k = 0 is A327199.
Column k = 1 is A327231.
The corresponding triangle for vertex-connectivity is A327125.
The corresponding triangle for spanning edge-connectivity is A327069.
The covering version is A327149.
The unlabeled version is A327236, with covering version A327201.
Cf. A001187, A263296, A322338, A322395, A326787, A327079, A327097, A327099, A327102, A327126, A327144, A327196, A327200, A327201.

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]]]]]]]]];
edgeConnSys[sys_]:=If[Length[csm[sys]]!=1,0,Length[sys]-Max@@Length/@Select[Union[Subsets[sys]],Length[csm[#]]!=1&]];
Table[Length[Select[Subsets[Subsets[Range[n],{2}]],edgeConnSys[#]==k&]],{n,0,4},{k,0,Binomial[n,2]}]//.{foe___,0}:>{foe}

T(n,k) = Sum_{m = 0..n} binomial(n,m) A327149(m,k). In words, column k is the binomial transform of column k of A327149.

a(20)-a(28) from Robert Price, May 25 2021

A001434 Number of graphs with n nodes and n edges.

Original entry on oeis.org

1, 0, 0, 1, 2, 6, 21, 65, 221, 771, 2769, 10250, 39243, 154658, 628635, 2632420, 11353457, 50411413, 230341716, 1082481189, 5228952960, 25945377057, 132140242356, 690238318754, 3694876952577, 20252697246580, 113578669178222, 651178533855913, 3813856010041981

Offset: 0

N. J. A. Sloane

The labeled version is A116508. - Gus Wiseman, Feb 22 2024

			From _Gus Wiseman_, Feb 22 2024: (Start)
Representatives of the a(0) = 1 through a(5) = 6 graphs:
  {}  .  .  {12,13,23}  {12,13,14,23}  {12,13,14,15,23}
                        {12,13,24,34}  {12,13,14,23,24}
                                       {12,13,14,23,25}
                                       {12,13,14,23,45}
                                       {12,13,14,25,35}
                                       {12,13,24,35,45}
(End)

J. Riordan, An Introduction to Combinatorial Analysis, Wiley, 1958, p. 146.
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).

Andrew Howroyd, Table of n, a(n) for n = 0..50 (terms 1..40 from Sean A. Irvine)
CombOS - Combinatorial Object Server, Generate graphs
M. L. Stein and P. R. Stein, Enumeration of Linear Graphs and Connected Linear Graphs up to p = 18 Points. Report LA-3775, Los Alamos Scientific Laboratory of the University of California, Los Alamos, NM, Oct 1967.

The connected case is A001429, labeled A057500.
The covering case is A006649, labeled A367863.
Diagonal n = k of A008406.
The labeled version is A116508.
The version with loops is A368598, connected A368983.
Allowing up to n edges gives A370315, labeled A369192.
A000088 counts unlabeled graphs, labeled A006125.
A001349 counts unlabeled connected graphs, labeled A001187.
A002494 counts unlabeled covering graphs, labeled A006129.
Cf. A000055, A005703, A014068, A054924, A137916, A137917, A236570, A369201.

(* first do *) Needs["Combinatorica`"] (* then *) Table[ NumberOfGraphs[n, n], {n, 24}] (* Robert G. Wilson v, Mar 22 2011 *)
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],{2}],{n}]]],{n,0,5}] (* Gus Wiseman, Feb 22 2024 *)

a(n) = polcoef(G(n, O(x*x^n)), n) \\ G defined in A008406. - Andrew Howroyd, Feb 02 2024

More terms from Vladeta Jovovic, Jan 07 2000

a(0)=1 prepended by Andrew Howroyd, Feb 02 2024

A368984 Number of graphs with loops (symmetric relations) on n unlabeled vertices in which each connected component has an equal number of vertices and edges.

Original entry on oeis.org

1, 1, 2, 5, 12, 29, 75, 191, 504, 1339, 3610, 9800, 26881, 74118, 205706, 573514, 1606107, 4513830, 12727944, 35989960, 102026638, 289877828, 825273050, 2353794251, 6724468631, 19239746730, 55123700591, 158133959239, 454168562921, 1305796834570, 3758088009136

Offset: 0

Andrew Howroyd, Jan 11 2024

nonn

The graphs considered here can have loops but not parallel edges.

Also the number of unlabeled loop-graphs with n edges and n vertices such that it is possible to choose a different vertex from each edge. - Gus Wiseman, Jan 25 2024

			Representatives of the a(3) = 5 graphs are:
   {{1,2}, {1,3}, {2,3}},
   {{1}, {1,2}, {1,3}},
   {{1}, {1,2}, {2,3}},
   {{1}, {2}, {2,3}},
   {{1}, {2}, {3}}.
The graph with 4 vertices and edges {{1}, {2}, {1,2}, {3,4}} is included by A368599 but not by this sequence.

Andrew Howroyd, Table of n, a(n) for n = 0..500

The case of a unique choice is A000081.
Without loops we have A137917, labeled A137916.
The labeled version appears to be A333331.
Without the choice condition we have A368598, covering A368599.
The complement is counted by A368835, labeled A368596 (covering A368730).
Row sums of A368926, labeled A368924.
The connected case is A368983.
A000085, A100861, A111924 count set partitions into singletons or pairs.
A000666 counts unlabeled loop-graphs, covering A322700.
A006125 counts simple graphs, unlabeled A000088.
A006129 counts covering graphs, connected A001187, unlabeled A002494.
A322661 counts labeled covering loop-graphs, connected A062740.
Cf. A014068, A057500, A116508, A129271, A133686, A367863, A367869, A367902, A368597, A368601, A368836.

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}],{n}],Length[Select[Tuples[#],UnsameQ@@#&]]!=0&]]],{n,0,5}] (* Gus Wiseman, Jan 25 2024 *)

Euler transform of A368983.

A054592 Number of disconnected labeled graphs with n nodes.

Original entry on oeis.org

0, 0, 1, 4, 26, 296, 6064, 230896, 16886864, 2423185664, 687883494016, 387139470010624, 432380088071584256, 959252253993204724736, 4231267540316814507357184, 37138269572860613284747227136, 649037449132671895468073434916864, 22596879313063804832510513481261154304

Offset: 0

Vladeta Jovovic, Apr 15 2000

Cf. A001187, A000719, A360604.

upto := 18: g := add(2^binomial(n, 2) * x^n / n!, n = 0..upto+1):
ser := series(g - log(g) - 1, x, upto+1):
seq(n!*coeff(ser, x, n), n = 0..upto); # Peter Luschny, Feb 24 2023

g=Sum[2^Binomial[n,2]x^n/n!,{n,0,20}]; Range[0,20]! CoefficientList[Series[g-Log[g]-1,{x,0,20}],x]  (* Geoffrey Critzer, Nov 11 2011 *)

a(n) = 2^binomial(n, 2) - A001187(n).
a(n) = n!*[x^n](g - log(g) - 1) where g = Sum_{n>=0} 2^binomial(n, 2) * x^n / n!. - Geoffrey Critzer, Nov 11 2011
a(n) = Sum_{k=0..n-1} A360604(n, k) * A001187(k). - Peter Luschny, Feb 24 2023

Edited and extended with a(0) = 0 by Peter Luschny, Feb 24 2023

A317672 Regular triangle where T(n,k) is the number of clutters (connected antichains) on n + 1 vertices with k maximal blobs (2-connected components).

Original entry on oeis.org

1, 2, 3, 44, 24, 16, 4983, 940, 300, 125, 7565342, 154770, 18000, 4320, 1296, 2414249587694, 318926314, 3927105, 363580, 72030, 16807, 56130437054842366160898, 135200580256336, 10244647168, 99187200, 8028160, 1376256, 262144

Offset: 1

Gus Wiseman, Aug 03 2018

			Triangle begins:
        1
        2       3
       44      24      16
     4983     940     300     125
  7565342  154770   18000    4320    1296

Gus Wiseman, Every Clutter Is a Tree of Blobs, The Mathematica Journal, Vol. 19, 2017.

Row sums are A048143. First column is A275307. Last column is A030019.

Cf. A000272, A001187, A002218, A013922, A134954, A293510, A317631, A317632, A317634, A317635, A317671.

blg={0,1,2,44,4983,7565342,2414249587694,56130437054842366160898} (* A275307 *);
sps[{}]:={{}};sps[set:{i_,_}]:=Join@@Function[s,Prepend[#,s]&/@sps[Complement[set,s]]]/@Cases[Subsets[set],{i,_}];
Table[Sum[n^(k-1)*Product[blg[[Length[s]+1]],{s,spn}],{spn,Select[sps[Range[n-1]],Length[#]==k&]}],{n,Length[blg]},{k,n-1}]

A327114 Number of labeled simple graphs covering n vertices with cut-connectivity 1.

Original entry on oeis.org

0, 0, 0, 3, 28, 490, 15336, 851368, 85010976, 15615858960, 5388679220480, 3548130389657216, 4507988483733389568, 11145255551131555572992, 53964198507018134569758720, 514158235191699333805861463040

Offset: 0

Gus Wiseman, Aug 25 2019

nonn

The cut-connectivity of a graph is the minimum number of vertices that must be removed (along with any empty or duplicate edges) to obtain a disconnected or empty graph.

Andrew Howroyd, Table of n, a(n) for n = 0..50

Column k = 1 of A327126.
The unlabeled version is A052442, if we assume A052442(2) = 0.
Connected non-separable graphs are A013922.
BII-numbers for cut-connectivity 1 are A327098.
Set-systems with cut-connectivity 1 are counted by A327197.
Labeled simple graphs with vertex-connectivity 1 are A327336.
Cf. A001187, A054592, A259862, A322389, A322390, A326786, A327070, A327100, A327125.

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]]]]]]]]];
cutConnSys[vts_,eds_]:=If[Length[vts]==1,1,Min@@Length/@Select[Subsets[vts],Function[del,csm[DeleteCases[DeleteCases[eds,Alternatives@@del,{2}],{}]]!={Complement[vts,del]}]]];
Table[Length[Select[Subsets[Subsets[Range[n],{2}]],Union@@#==Range[n]&&cutConnSys[Range[n],#]==1&]],{n,0,3}]

seq(n)={my(g=log(sum(k=0, n, 2^binomial(k, 2) * x^k / k!) + O(x*x^n))); Vec(serlaplace(g-intformal(1+log(x/serreverse(x*deriv(g))))), -(n+1))} \\ Andrew Howroyd, Sep 11 2019

a(n) = A001187(n) - A013922(n), if we assume A001187(1) = 0.

A369191 Number of labeled simple graphs covering n vertices with at most n edges.

Original entry on oeis.org

1, 0, 1, 4, 34, 387, 5686, 102084, 2162168, 52693975, 1450876804, 44509105965, 1504709144203, 55563209785167, 2224667253972242, 95984473918245388, 4439157388017620554, 219067678811211857307, 11489425098298623161164, 638159082104453330569185

Offset: 0

Gus Wiseman, Jan 17 2024

nonn

Row-sums of left portion of A054548.

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

The minimal case is A053530.
The connected case is A129271, unlabeled version A005703.
The case of equality is A367863, covering case of A367862.
This is the covering case of A369192, or A369193 for covered vertices.
The version for loop-graphs is A369194.
The unlabeled version is A370316.
A001187 counts connected graphs, unlabeled A001349.
A006125 counts graphs, unlabeled A000088.
A006129 counts covering graphs, unlabeled A002494.
A054548 counts graphs covering n vertices with k edges, with loops A369199.
A057500 counts connected graphs with n vertices and n edges.
A133686 counts choosable graphs, covering A367869.
A367867 counts non-choosable graphs, covering A367868.
Cf. A000169, A000272, A000666, A001429, A003465, A006649, A143543, A116508, A140638, A322661.

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

Inverse binomial transform of A369193.

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

Gus Wiseman, Aug 24 2019

nonn

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

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

Column k = 0 of A327149.
The unlabeled version is A327075.
The non-covering version is A327199.
Cf. A000719, A001187, A001349, A002494, A006125, A006129, A054592, A327070.

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}]

a(n) = A006129(n) - A001187(n), if we assume A001187(0) = 0 and A001187(1) = 0.

Inverse binomial transform of A327199.

A327079 Number of labeled simple connected graphs covering n vertices with at least one bridge that is not an endpoint/leaf (non-spanning edge-connectivity 1).

Original entry on oeis.org

0, 0, 1, 0, 12, 180, 4200, 157920, 9673664, 1011129840, 190600639200, 67674822473280, 46325637863907072, 61746583700640860736, 161051184122415878112640, 824849999242893693424992000, 8317799170120961768715123118080

Offset: 0

Gus Wiseman, Aug 25 2019

nonn

A bridge is an edge that, if removed without removing any incident vertices, disconnects the graph. Graphs with no bridges are counted by A095983 (2-edge-connected graphs).

Also labeled simple connected graphs covering n vertices with non-spanning edge-connectivity 1, where the non-spanning edge-connectivity of a graph is the minimum number of edges that must be removed (along with any non-covered vertices) to obtain a disconnected or empty graph.

Column k = 1 of A327149.
The non-covering version is A327231.
Connected bridged graphs (spanning edge-connectivity 1) are A327071.
BII-numbers of graphs with non-spanning edge-connectivity 1 are A327099.
Covering set-systems with non-spanning edge-connectivity 1 are A327129.
Cf. A001187, A006129, A052446, A059166, A322395, A327072, A327073, A327148.

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]]]]]]]]];
eConn[sys_]:=If[Length[csm[sys]]!=1,0,Length[sys]-Max@@Length/@Select[Union[Subsets[sys]],Length[csm[#]]!=1&]];
Table[Length[Select[Subsets[Subsets[Range[n],{2}]],Union@@#==Range[n]&&eConn[#]==1&]],{n,0,4}]

a(n) = A001187(n) - A322395(n) for n > 2. - Andrew Howroyd, Aug 27 2019

Inverse binomial transform of A327231.

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

A343088 Triangle read by rows: T(n,k) is the number of connected labeled graphs with n edges and k vertices, 1 <= k <= n+1.

Original entry on oeis.org

1, 0, 1, 0, 0, 3, 0, 0, 1, 16, 0, 0, 0, 15, 125, 0, 0, 0, 6, 222, 1296, 0, 0, 0, 1, 205, 3660, 16807, 0, 0, 0, 0, 120, 5700, 68295, 262144, 0, 0, 0, 0, 45, 6165, 156555, 1436568, 4782969, 0, 0, 0, 0, 10, 4945, 258125, 4483360, 33779340, 100000000

Offset: 0

Andrew Howroyd, Apr 14 2021

			Triangle begins:
  1;
  0, 1;
  0, 0, 3;
  0, 0, 1, 16;
  0, 0, 0, 15, 125;
  0, 0, 0,  6, 222, 1296;
  0, 0, 0,  1, 205, 3660,  16807;
  0, 0, 0,  0, 120, 5700,  68295,  262144;
  0, 0, 0,  0,  45, 6165, 156555, 1436568, 4782969;
  ...

Andrew Howroyd, Table of n, a(n) for n = 0..1325 (rows 0..50)

Main diagonal is A000272.
Subsequent diagonals give the number of connected labeled graphs with n nodes and n+k edges for k=0..11: A057500, A061540, A061541, A061542, A061543, A096117, A061544 A096150, A096224, A182294, A182295, A182371.
Row sums are A322137.
Column sums are A001187.
Cf. A054923 (unlabeled), A062734 (transpose), A290776 (multigraphs), A322147 (loops allowed), A331437 (series-reduced).

row[n_] := (SeriesCoefficient[#, {y, 0, n}]& /@ CoefficientList[ Log[Sum[x^k*(1+y)^Binomial[k, 2]/k!, {k, 0, n+1}]] + O[x]^(n+2), x]* Range[0, n+1]!) // Rest;
Table[row[n], {n, 0, 9}] // Flatten (* Jean-François Alcover, Aug 03 2022, after Andrew Howroyd *)

Row(n)={Vec(serlaplace(polcoef(log(O(x^2*x^n)+sum(k=0, n+1, x^k*(1 + y + O(y*y^n))^binomial(k, 2)/k!)), n, y)), -(n+1))}
{ for(n=0, 8, print(Row(n))) }

cp's OEIS Frontend

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

Views

Author

Keywords

Comments

Examples

Crossrefs

Programs

Mathematica

Formula

Extensions

A001434 Number of graphs with n nodes and n edges.

Views

Author

Keywords

Comments

Examples

References

Links

Crossrefs

Programs

Mathematica

PARI

Extensions

A368984 Number of graphs with loops (symmetric relations) on n unlabeled vertices in which each connected component has an equal number of vertices and edges.

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

Mathematica

Formula

A054592 Number of disconnected labeled graphs with n nodes.

Views

Author

Keywords

Crossrefs

Programs

Maple

Mathematica

Formula

Extensions

A317672 Regular triangle where T(n,k) is the number of clutters (connected antichains) on n + 1 vertices with k maximal blobs (2-connected components).

Views

Author

Keywords

Examples

Links

Crossrefs

Programs

Mathematica

A327114 Number of labeled simple graphs covering n vertices with cut-connectivity 1.

Views

Author

Keywords

Comments

Links

Crossrefs

Programs

Mathematica

PARI

Formula

A369191 Number of labeled simple graphs covering n vertices with at most n edges.

Views

Author

Keywords

Comments

Examples

Crossrefs

Programs

Mathematica

Formula

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

Views

Author

Keywords