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-2 of 2 results.

A034854 Triangle giving number of labeled trees with n >= 3 nodes and diameter d >= 2.

Original entry on oeis.org

3, 4, 12, 5, 60, 60, 6, 210, 720, 360, 7, 630, 6090, 7560, 2520, 8, 1736, 47040, 112560, 80640, 20160, 9, 4536, 363384, 1496880, 1829520, 907200, 181440, 10, 11430, 2913120, 19207440, 36892800, 28274400, 10886400, 1814400
Offset: 0

Views

Author

Keywords

Examples

			Triangle begins:
  3;
  4,   12;
  5,   60,   60;
  6,  210,  720,  360;
  7,  630, 6090, 7560, 2520;
  ...
		

Crossrefs

Formula

Reference gives recurrence.
From Geoffrey Critzer, Aug 02 2022: (Start)
Sum_{d even} a(n,d) = A356292(n) and Sum_{d odd} a(n,d) = A355671(n).
Let G_k(x) be the e.g.f. counting the number of rooted labeled trees with height <= k. Then G_k(x) is defined recursively by G_0(x) = x, G_k(x) = x*exp(G_{k-1}(x)). Let H_k(x) be the e.g.f. counting rooted labeled trees of height k. Then H_0(x) = x, H_k(x) = G_k(x) - G_{k-1}(x) for k >= 1. The e.g.f. for column d = 2*m+1 is H_m(x)^2/2. The e.g.f. for column d = 2*m is G_{m-1}(x)*(exp(H_{m-1}(x)) - 1 - H_{m-1}(x)). (End)

Extensions

More terms from Pab Ter (pabrlos(AT)yahoo.com), May 27 2004
Name corrected by Geoffrey Critzer, Aug 02 2022

A356292 Number of labeled trees on [n] that are centered.

Original entry on oeis.org

1, 1, 0, 3, 4, 65, 726, 8617, 127688, 2374353, 50692330, 1198835561, 31297606572, 901114484569, 28449258421598, 976863784939785, 36199494609008656, 1438734246518372897, 61037354387458904274, 2753490065023053584713, 131645635680595606832180
Offset: 0

Views

Author

Geoffrey Critzer, Aug 02 2022

Keywords

Comments

This is the labeled version of A000676 which has the pertinent definitions.

Crossrefs

Programs

  • Mathematica
    nn = 20; T = NestList[z Exp[#] &, z, nn]; G[k_, z_] := T[[k + 1]];H[k_, z_] := T[[k + 1]] - T[[k]];H[0, z_] := z; ReplacePart[ Sum[Range[0, nn]!CoefficientList[Series[G[m, z] (Exp[H[m, z]] - 1 - H[m, z]), {z, 0, nn}], z], {m, 0, nn/2 - 2}], {1 -> 1, 2 -> 1}]

Formula

a(n) = Sum_{d even} A034854(n,d).
a(n) = A000272(n) - A355671(n)
Showing 1-2 of 2 results.