VOOZH about

URL: https://oeis.org/A218377

⇱ A218377 - OEIS


login
A218377
Number of simple labeled graphs on 2n nodes with all even size components.
1
1, 1, 41, 27289, 252354929, 34508040597841, 73356878424474928601, 2471655487735117774297253929, 1328579254939122192980041623517564769, 11416413723707413064765254593047001003783424801, 1569215572908525179057290385977721005466497060552651722761
OFFSET
0,3
COMMENTS
These are precisely the graphs G in which there exists a spanning subgraph F of G such that every vertex in F has odd degree. The number of such subgraphs in any such graph G is 2^(m-n+c) where m,n,c is the number of edges, vertices, and components of G respectively. - Geoffrey Critzer, Feb 23 2020
FORMULA
E.g.f. for the sequence with interpolated 0's is: exp( ( A(x) + A(-x) - 2 )/2) where A(x) is the e.g.f. for A001187.
EXAMPLE
a(2) = 41 because (on 4 labeled nodes) we have 38 connected graphs and 3 in the isometry class o-o o-o.
MATHEMATICA
nn=22; a=Sum[2^Binomial[n, 2]x^n/n!, {n, 0, nn}]; c=Range[0, nn]! CoefficientList[Series[ Log[a]+1, {x, 0, nn}], x]; cx= Sum[c[[i]]x^(i-1)/(i-1)!, {i, 1, nn+1, 2}]; Select[Range[0, nn]! CoefficientList[Series[Exp[cx-1], {x, 0, nn}], x], #>0&]
PROG
(PARI) seq(n)={my(g=log(sum(k=0, 2*n, 2^binomial(k, 2)*x^k/k!, O(x^(2*n+1)))), v=Vec(serlaplace(exp(sum(k=0, n, polcoef(g, 2*k)*x^(2*k), O(x^(2*n+1))))))); vector(n+1, i, v[2*i-1])} \\ Andrew Howroyd, Jan 20 2026
CROSSREFS
KEYWORD
nonn
AUTHOR
Geoffrey Critzer, Oct 27 2012
EXTENSIONS
a(10) corrected by Georg Fischer, Jan 20 2026
STATUS
approved