|
%I M3173 #41 Oct 27 2023 10:02:17
%S 0,0,3,131,1830,16990,127953,851361,5231460,30459980,170761503,
%T 931484191,4979773890,26223530970,136522672653,704553794621,
%U 3611494269120,18415268221960,93516225653403,473366777478651,2390054857197150,12043393363764950,60590148885015753
%N Number of trees of subsets of an n-set.
%D N. J. A. Sloane and Simon Plouffe, The Encyclopedia of Integer Sequences, Academic Press, 1995 (includes this sequence).
%H F. R. McMorris and T. Zaslavsky, <a href="http://dx.doi.org/10.1016/0025-5564(81)90071-7">The number of cladistic characters</a>, Math. Biosciences, 54 (1981), 3-10.
%H F. R. McMorris and T. Zaslavsky, <a href="/A005172/a005172.pdf">The number of cladistic characters</a>, Math. Biosciences, 54 (1981), 3-10. [Annotated scanned copy]
%H Simon Plouffe, <a href="https://arxiv.org/abs/0911.4975">Approximations de séries génératrices et quelques conjectures</a>, Dissertation, Université du Québec à Montréal, 1992; arXiv:0911.4975 [math.NT], 2009.
%H Simon Plouffe, <a href="/A000051/a000051_2.pdf">1031 Generating Functions</a>, Appendix to Thesis, Montreal, 1992.
%H <a href="/index/Tra#trees">Index entries for sequences related to trees</a>
%F a(n+1) = 3*(3^n - 2*2^n + 1)/2 + 113*(4^n - 3*3^n + 3*2^n - 1)/6 + 625*(5^n - 4*4^n + 6*3^n - 4*2^n + 1)/24. - formula fitted by _John W. Layman_
%F a(n) = (125/24) * 5^n - (64/3) * 4^n + (135/4)*3^n - (76/3) * 2^n + 209/24 proven in McMorris and Zaslavsky, matches Layman's formula with an offset of 1. - _Sean A. Irvine_, Apr 12 2016
%F E.g.f.: (1/24)*exp(x)*(-1 + exp(x))^2*(209 - 798*exp(x) + 625*exp(2*x)). - _Ilya Gutkovskiy_, Apr 12 2016
%p A005175:=-z**2*(3+86*z+120*z**2)/(z-1)/(4*z-1)/(3*z-1)/(2*z-1)/(5*z-1); # conjectured by _Simon Plouffe_ in his 1992 dissertation
%t Table[(125/24) 5^n - (64/3) 4^n + (135/4) 3^n - (76/3) 2^n + 209/24, {n, 20}] (* _Michael De Vlieger_, Apr 12 2016 *)
%K nonn
%O 1,3
%A _N. J. A. Sloane_
|
