

A057500


Number of connected labeled graphs with n edges and n nodes.


23



0, 0, 1, 15, 222, 3660, 68295, 1436568, 33779340, 880107840, 25201854045, 787368574080, 26667815195274, 973672928417280, 38132879409281475, 1594927540549217280, 70964911709203684440, 3347306760024413356032, 166855112441313024389625, 8765006377126199463936000
(list;
graph;
refs;
listen;
history;
text;
internal format)



OFFSET

1,4


COMMENTS

Also number of connected unicyclic graphs on n labeled nodes.  Vladeta Jovovic, Oct 26 2004
a(n) is the number of trees on vertex set [n] = {1,2,...,n} rooted at 1 with one marked inversion (an inversion is a pair (i,j) with i>j and j a descendant of i in the tree). Here is a bijection from the title graphs (on [n]) to these marked trees. A title graph has exactly one cycle. There is a unique path from vertex 1 to this cycle, first meeting it at k, say (k may = 1). Let i and j be the two neighbors of k in the cycle, with i the larger of the two. Delete the edge k<>j thereby forming a tree (in which j is a descendant of i) and take (i,j) as the marked inversion. To reverse this map, create a cycle by joining the smaller element of the marked inversion to the parent of the larger element. a(n) = binom(n1,2)A129137(n). This is because, on the above marked trees, the marked inversion is uniformly distributed over 2element subsets of {2,3,...,n} and so a(n)/binom(n1,2) is the number of trees on [n] (rooted at 1) for which (3,2) is an inversion.  David Callan, Mar 30 2007


REFERENCES

F. Harary and E. M. Palmer, Graphical Enumeration, Academic Press, NY, 1973.
S. Janson, D. E. Knuth, T. Luczak and B. Pittel, The Birth of the Giant Component, Random Structures and Algorithms Vol. 4 (1993), 233358.
R. J. Riddell, Contributions to the theory of condensation, Dissertation, Univ. of Michigan, Ann Arbor, 1951.


LINKS

Washington G. Bomfim and Alois P. Heinz, Table of n, a(n) for n = 1..150 (terms n = 1..50 from Washington G. Bomfim)
P. Flajolet and R. Sedgewick, Analytic Combinatorics, 2009; see page 133


FORMULA

The number of labeled connected graphs with n nodes and m edges is Sum_{k=1..n} (1)^(k+1)/k*Sum_{n_1+n_2+..n_k=n, n_i>0} n!/(Product_{i=1..k} (n_i)!)*binomial(s, m), s=Sum_{i..k} binomial(n_i, 2).  Vladeta Jovovic, Apr 10 2001
Exponential generating function: (1/2) Sum_{k=3}^\infty T(x)^k/k, with T(x)= Sum_{n=1}^\infty n^(n1)/n! x^n. R. J. Riddell's thesis contains a closedform expression for the number of connected graphs with m nodes and n edges. The present series applies to the special case m=n.
E.g.f.: 1/2*ln(1+LambertW(x))+1/2*LambertW(x)1/4*LambertW(x)^2.
Asymptotic expansion (with xi=sqrt(2*pi)): n^(n1/2)*[xi/47/6*n^(1/2)+xi/48*n^(1)+131/270*n^(3/2)+xi/1152*n^(2)+4/2835*n^(5/2)+O(n^(3))].  Keith Briggs (keith.briggs(AT)bt.com), Aug 16 2004
Row sums of A098909: a(n) = (n1)!*n^n/2*Sum_{k=3..n} 1/(n^k*(nk)!).  Vladeta Jovovic, Oct 26 2004


EXAMPLE

E.g. a(4)=15 because there are three different (labeled) 4cycles and 12 different labeled graphs with a 3cycle and an attached, external vertex.


MAPLE

egf:= 1/2*ln(1+LambertW(x)) +1/2*LambertW(x) 1/4*LambertW(x)^2:
a:= n> n!*coeff(series(egf, x, n+3), x, n):
seq(a(n), n=1..25); # Alois P. Heinz, Mar 27 2013


MATHEMATICA

nn=20; t=Sum[n^(n1) x^n/n!, {n, 1, nn}]; Drop[Range[0, nn]! CoefficientList[Series[Log[1/(1t)]/2t^2/4t/2, {x, 0, nn}], x], 1] (* Geoffrey Critzer, Oct 07 2012 *)
a[n_] := (n1)!*n^n/2*Sum[1/(n^k*(nk)!), {k, 3, n}]; Table[a[n], {n, 1, 20}] (* JeanFrançois Alcover, Jan 15 2014, after Vladeta Jovovic *)


CROSSREFS

Cf. A000272 = labeled trees on n nodes; connected labeled graphs with n nodes and n+k edges for k=0..8: A057500 A061540 A061541 A061542 A061543 A096117 A061544 A096150 and A096224.
Cf. A001429 (unlabeled case).
Sequence in context: A238538 A027843 A027840 * A137916 A218696 A171320
Adjacent sequences: A057497 A057498 A057499 * A057501 A057502 A057503


KEYWORD

easy,nonn


AUTHOR

QingHu Hou and David C. Torney (dct(AT)lanl.gov), Sep 01 2000


EXTENSIONS

More terms and second g.f. from Vladeta Jovovic, Jul 09 2001


STATUS

approved



