%I #45 Dec 26 2020 10:01:03
%S 2,4,14,52,214,916,4116,18996,89894,433196,2119904,10503612,52594476,
%T 265713532,1352796790,6933598208,35747017596,185260197772,
%U 964585369012,5043220350012,26467146038744,139375369621960,736229024863276,3900074570513316,20714056652990194
%N Number of n-node rooted trees with nodes of 2 colors.
%H Alois P. Heinz, <a href="/A038055/b038055.txt">Table of n, a(n) for n = 1..1000</a>
%H L. Foissy, <a href="https://arxiv.org/abs/1811.07572">Algebraic structures on typed decorated rooted trees</a>, arXiv:1811.07572 [math.RA] (2018).
%H R. J. Mathar, <a href="http://arxiv.org/abs/1603.00077">Topologically distinct sets of non-intersecting circles in the plane</a>, arXiv:1603.00077 [math.CO] (2016), Table 3.
%H N. J. A. Sloane, <a href="/transforms.txt">Transforms</a>
%H <a href="/index/Ro#rooted">Index entries for sequences related to rooted trees</a>
%H <a href="/index/Tra#trees">Index entries for sequences related to trees</a>
%F Shifts left and halves under Euler transform.
%F a(n) = 2*A000151(n).
%F a(n) ~ c * d^n / n^(3/2), where d = A245870 = 5.646542616232949712892713516..., c = 0.41572319484583484264330698410170337587070758092051645875080558178621559423... . - _Vaclav Kotesovec_, Sep 11 2014, updated Dec 26 2020
%p spec := [N, {N=Prod(bead,Set(N)), bead=Union(R,B), R=Atom, B=Atom}]; [seq(combstruct[count](spec, size=n), n=1..40)];
%p # second Maple program:
%p with(numtheory):
%p a:= proc(n) option remember; `if`(n<2, 2*n, (add(add(d*
%p a(d), d=divisors(j))*a(n-j), j=1..n-1))/(n-1))
%p end:
%p seq(a(n), n=1..30); # _Alois P. Heinz_, May 11 2014
%t a[n_] := a[n] = If[n<2, 2*n, (Sum[Sum[d*a[d], {d, Divisors[j]}]*a[n-j], {j, 1, n-1}])/(n-1)]; Table[a[n], {n, 1, 30}] (* _Jean-François Alcover_, Feb 25 2015, after _Alois P. Heinz_ *)
%t a[1] = 2; a[n_] := a[n] = Sum[k a[k] a[n - m k]/(n-1), {k, n}, {m, (n-1)/k}]; Table[a[n], {n, 30}] (* _Vladimir Reshetnikov_, Aug 12 2016 *)
%o (PARI) seq(N) = {my(A=vector(N, j, 1)); for (n=1, N-1, A[n+1] = 2/n * sum(i=1, n, sumdiv(i, d, d*A[d]) * A[n-i+1] ) ); 2*A} \\ _Andrew Howroyd_, May 12 2018
%Y Cf. A000081, A038056-A038062, A271878 (multisets).
%Y Cf. A245870.
%K nonn,eigen,nice,easy
%O 1,1
%A _Christian G. Bower_, Jan 04 1999