%I #43 Jul 02 2021 16:43:21
%S 1,1,1,2,3,6,12,25,51,111,240,533,1181,2671,6014,13795,31480,72905,
%T 168361,393077,914784,2150810,5040953,11914240,28089793,66702160,
%U 158013093,376777192,896262811,2144279852,5120176632,12286984432,29428496034,70815501209
%N Number of rooted trees where any 2 subtrees extending from the same node have a different number of nodes.
%H Alois P. Heinz, <a href="/A032305/b032305.txt">Table of n, a(n) for n = 1..1000</a>
%H Gus Wiseman, <a href="/A032305/a032305.png">Illustration of the first 8 terms of A032305.</a>
%H <a href="/index/Ro#rooted">Index entries for sequences related to rooted trees</a>
%F Shifts left under "EFK" (unordered, size, unlabeled) transform.
%F G.f.: A(x) = x*Product_{n>=1} (1+a(n)*x^n) = Sum_{n>=1} a(n)*x^n. - _Paul D. Hanna_, Apr 07 2004
%F Lim_{n->infinity} a(n)^(1/n) = 2.5119824... - _Vaclav Kotesovec_, Nov 20 2019
%F G.f.: x * exp(Sum_{n>=1} Sum_{k>=1} (-1)^(k+1) * a(n)^k * x^(n*k) / k). - _Ilya Gutkovskiy_, Jun 30 2021
%e The a(6) = 6 fully unbalanced trees: (((((o))))), (((o(o)))), ((o((o)))), (o(((o)))), (o(o(o))), ((o)((o))). - _Gus Wiseman_, Jan 10 2018
%p A:= proc(n) if n<=1 then x else convert(series(x* (product(1+ coeff(A(n-1), x,i)*x^i, i=1..n-1)), x=0, n+1), polynom) fi end: a:= n-> coeff(A(n), x,n): seq(a(n), n=1..31); # _Alois P. Heinz_, Aug 22 2008
%p # second Maple program:
%p g:= proc(n, i) option remember; `if`(n=0, 1, `if`(i<1, 0,
%p add(`if`(j=0, 1, g((i-1)$2))*g(n-i*j, i-1), j=0..min(1, n/i))))
%p end:
%p a:= n-> g((n-1)$2):
%p seq(a(n), n=1..35); # _Alois P. Heinz_, Mar 04 2013
%t nn=30;f[x_]:=Sum[a[n]x^n,{n,0,nn}];sol=SolveAlways[0 == Series[f[x]-x Product[1+a[i]x^i,{i,1,nn}],{x,0,nn}],x];Table[a[n],{n,1,nn}]/.sol (* _Geoffrey Critzer_, Nov 17 2012 *)
%t allnim[n_]:=If[n===1,{{}},Join@@Function[c,Select[Union[Sort/@Tuples[allnim/@c]],UnsameQ@@(Count[#,_List,{0,Infinity}]&/@#)&]]/@IntegerPartitions[n-1]];
%t Table[Length[allnim[n]],{n,15}] (* _Gus Wiseman_, Jan 10 2018 *)
%t g[n_, i_] := g[n, i] = If[n == 0, 1, If[i < 1, 0,
%t Sum[If[j == 0, 1, g[i-1, i-1]]*g[n-i*j, i-1], {j, 0, Min[1, n/i]}]]];
%t a[n_] := g[n-1, n-1];
%t Array[a, 35] (* _Jean-François Alcover_, May 21 2021, after _Alois P. Heinz_ *)
%o (PARI) a(n)=polcoeff(x*prod(i=1,n-1,1+a(i)*x^i)+x*O(x^n),n)
%Y Cf. A000081, A001678, A003238, A004111, A213920, A273873, A290689, A291443, A297571.
%Y Column k=1 of A318753.
%K nonn
%O 1,4
%A _Christian G. Bower_