login
A366396
Number of labeled directed graphs on [n] with self loops allowed such that the following implication holds for all x,y in [n]. If x and y are in distinct strongly connected components and y is reachable from x then there is a directed edge from x to y.
0
1, 2, 16, 368, 34624, 19194752, 47730489856, 452968293106688, 16282682505688059904, 2253889950034687424110592, 1219139359408849690950674415616, 2601990460616856808147727573494857728, 22041041736721298233193355574294486210576384
OFFSET
0,2
FORMULA
E.g.f.: p(s(2x)-1) where p(x) is the e.g.f. for A001025 and s(x) is the e.g.f. for A003030.
MATHEMATICA
nn = 12; posets = Select[Import["https://oeis.org/A001035/b001035.txt", "Table"],
Length@# == 2 &][[All, 2]]; p[x_] := Total[posets Table[x^i/i!, {i, 0, 18}]]; strong = Select[Import["https://oeis.org/A003030/b003030.txt", "Table"],
Length@# == 2 &][[All, 2]]; s[x_] := Total[Prepend[strong Table[x^i/i!, {i, 1, 58}], 1]]; Table[n!, {n, 0, nn}] CoefficientList[Series[p[s[2 x] - 1], {x, 0, nn}], x]
CROSSREFS
KEYWORD
nonn
AUTHOR
Geoffrey Critzer, Oct 08 2023
STATUS
approved