# Greetings from The On-Line Encyclopedia of Integer Sequences! http://oeis.org/

Search: id:a007853
Showing 1-1 of 1

%I A007853 #39 Nov 07 2019 19:37:11
%S A007853 1,2,5,15,50,178,663,2553,10086,40669,166752,693331,2917088,12398545,
%T A007853 53164201,229729439,999460624,4374546305,19250233408,85120272755,
%U A007853 378021050306,1685406494673,7541226435054,33852474532769,152415463629568,688099122024944
%N A007853 Number of maximal antichains in rooted plane trees on n nodes.
%C A007853 Also the number of initial subtrees (emanating from the root) of rooted plane trees on n vertices, where we require that an initial subtree contains either all or none of the branchings under any given node. The leaves of such a subtree comprise the roots of a corresponding antichain cover. Also, in the (non-commutative) multicategory of free pure multifunctions with one atom, a(n) is the number of composable pairs whose composite has n positions. - _Gus Wiseman_, Aug 13 2018
%C A007853 The g.f. is denoted by y_2 in Bacher 2004 Proposition 7.5 on page 20. - _Michael Somos_, Nov 07 2019
%H A007853 R. Bacher, <a href="http://arxiv.org/abs/math/0409050">On generating series of complementary plane trees</a> arXiv:math/0409050 [math.CO], 2004.
%H A007853 M. Klazar, <a href="http://dx.doi.org/10.1006/eujc.1995.0095">Twelve countings with rooted plane trees</a>, European Journal of Combinatorics 18 (1997), 195-210; Addendum, 18 (1997), 739-740.
%H A007853 <a href="/index/Ro#rooted">Index entries for sequences related to rooted trees</a>
%F A007853 G.f.: (1/4) * (3 - 2*x - sqrt(1-4*x) - sqrt(2) * sqrt((1+2*x) * sqrt(1-4*x) + 1 - 8*x + 2*x^2)) [from Klazar]. - _Sean A. Irvine_, Feb 06 2018
%F A007853 a(n) = (1/(n+1))*C(2*n,n) + Sum_{k=0..n-1} ((k+2)/(n+1))*C(2*n-k-1,n-k-1)*Sum_{i=0..floor(k/2)} C(2*i,i)*C(k+i,3*i)/(i+1). - _Vladimir Kruchinin_, Apr 05 2019
%F A007853 Given the g.f. A(x) and the g.f. of A213705 B(x), then -x = A(-B(x)). - _Michael Somos_, Nov 07 2019
%e A007853 G.f. = x + 2*x^2 + 5*x^3 + 15*x^4 + 50*x^5 + 178*x^6 + 663*x^7 + 2553*x^8 + ... - _Michael Somos_, Nov 07 2019
%t A007853 ie[t_]:=If[Length[t]==0,1,1+Product[ie[b],{b,t}]];
%t A007853 allplane[n_]:=If[n==1,{{}},Join@@Function[c,Tuples[allplane/@c]]/@Join@@Permutations/@IntegerPartitions[n-1]];
%t A007853 Table[Sum[ie[t],{t,allplane[n]}],{n,9}] (* _Gus Wiseman_, Aug 13 2018 *)
%o A007853 (Maxima)
%o A007853 a(n):=1/(n+1)*binomial(2*n,n)+sum((k+2)/(n+1)*binomial(2*n-k-1,n-k-1)*(sum(((binomial(2*i,i))*(binomial(k+i,3*i)))/(i+1),i,0,floor(k/2))),k,0,n-1); /* _Vladimir Kruchinin_, Apr 05 2019 */
%o A007853 (PARI) {a(n) = my(A); if( n<0, 0, A = sqrt(1 - 4*x + x * O(x^n)); polcoeff( (3 - 2*x - A - sqrt(2 - 16*x + 4*x^2 + (2 + 4*x) * A)) / 4, n))}; /* _Michael Somos_, Nov 07 2019 */
%Y A007853 Cf. A000081, A000108, A001003, A001006, A126120, A213705, A317713, A318046, A318048, A318049.
%K A007853 nonn
%O A007853 1,2
%A A007853 _Martin Klazar_
%E A007853 More terms from _Sean A. Irvine_, Feb 06 2018

# Content is available under The OEIS End-User License Agreement: http://oeis.org/LICENSE