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.

A291203 Number F(n,h,t) of forests of t labeled rooted trees with n vertices such that h is the maximum of 0 and the tree heights; triangle of triangles F(n,h,t), n>=0, h=0..n, t=0..n-h, read by layers, then by rows.

This page as a plain text file.
%I A291203 #39 Mar 17 2022 11:42:06
%S A291203 1,0,1,0,0,0,1,0,2,0,0,0,0,1,0,3,6,0,6,0,0,0,0,0,1,0,4,24,12,0,36,24,
%T A291203 0,24,0,0,0,0,0,0,1,0,5,80,90,20,0,200,300,60,0,300,120,0,120,0,0,0,0,
%U A291203 0,0,0,1,0,6,240,540,240,30,0,1170,3000,1260,120,0,3360,2520,360,0,2520,720,0,720,0
%N A291203 Number F(n,h,t) of forests of t labeled rooted trees with n vertices such that h is the maximum of 0 and the tree heights; triangle of triangles F(n,h,t), n>=0, h=0..n, t=0..n-h, read by layers, then by rows.
%C A291203 Positive elements in column t=1 give A034855.
%C A291203 Elements in rows h=0 give A023531.
%C A291203 Elements in rows h=1 give A059297.
%C A291203 Positive row sums per layer give A235595.
%C A291203 Positive column sums per layer give A061356.
%H A291203 Alois P. Heinz, <a href="/A291203/b291203.txt">Layers n = 0..48, flattened</a>
%F A291203 Sum_{i=0..n} F(n,i,n-i) = A243014(n) = 1 + A038154(n).
%F A291203 Sum_{d=0..n} Sum_{i=0..d} F(n,i,d-i) = A000272(n+1).
%F A291203 Sum_{h=0..n} Sum_{t=0..n-h} t * F(n,h,t) = A089946(n-1) for n>0.
%F A291203 Sum_{h=0..n} Sum_{t=0..n-h} (h+1) * F(n,h,t) = A234953(n+1) for n>0.
%F A291203 Sum_{h=0..n} Sum_{t=0..n-h} (h+1)*(n+1) * F(n,h,t) = A001854(n+1) for n>0.
%F A291203 Sum_{t=0..n-1} F(n,1,t) = A235596(n+1).
%F A291203 F(2n,n,n) = A126804(n) for n>0.
%F A291203 F(n,0,n) = 1 = A000012(n).
%F A291203 F(n,1,1) = n = A001477(n) for n>1.
%F A291203 F(n,n-1,1) = n! = A000142(n) for n>0.
%F A291203 F(n,1,n-1) = A002378(n-1) for n>0.
%F A291203 F(n,2,1) = A000551(n).
%F A291203 F(n,3,1) = A000552(n).
%F A291203 F(n,4,1) = A000553(n).
%F A291203 F(n,1,2) = A001788(n-1) for n>2.
%F A291203 F(n,0,0) = A000007(n).
%e A291203 n h\t: 0   1   2  3  4 5 : A235595 : A061356          : A000272
%e A291203 -----+-------------------+---------+------------------+--------
%e A291203 0 0  : 1                 :         :                  : 1
%e A291203 -----+-------------------+---------+------------------+--------
%e A291203 1 0  : 0   1             :      1  :   .              :
%e A291203 1 1  : 0                 :         :   1              : 1
%e A291203 -----+-------------------+---------+------------------+--------
%e A291203 2 0  : 0   0   1         :      1  :   .   .          :
%e A291203 2 1  : 0   2             :      2  :   .              :
%e A291203 2 2  : 0                 :         :   2   1          : 3
%e A291203 -----+-------------------+---------+------------------+--------
%e A291203 3 0  : 0   0   0  1      :      1  :   .   .   .      :
%e A291203 3 1  : 0   3   6         :      9  :   .   .          :
%e A291203 3 2  : 0   6             :      6  :   .              :
%e A291203 3 3  : 0                 :         :   9   6   1      : 16
%e A291203 -----+-------------------+---------+------------------+--------
%e A291203 4 0  : 0   0   0  0  1   :      1  :   .   .   .  .   :
%e A291203 4 1  : 0   4  24 12      :     40  :   .   .   .      :
%e A291203 4 2  : 0  36  24         :     60  :   .   .          :
%e A291203 4 3  : 0  24             :     24  :   .              :
%e A291203 4 4  : 0                 :         :  64  48  12  1   : 125
%e A291203 -----+-------------------+---------+------------------+--------
%e A291203 5 0  : 0   0   0  0  0 1 :      1  :   .   .   .  . . :
%e A291203 5 1  : 0   5  80 90 20   :    195  :   .   .   .  .   :
%e A291203 5 2  : 0 200 300 60      :    560  :   .   .   .      :
%e A291203 5 3  : 0 300 120         :    420  :   .   .          :
%e A291203 5 4  : 0 120             :    120  :   .              :
%e A291203 5 5  : 0                 :         : 625 500 150 20 1 : 1296
%e A291203 -----+-------------------+---------+------------------+--------
%p A291203 b:= proc(n, t, h) option remember; expand(`if`(n=0 or h=0, x^(t*n), add(
%p A291203        binomial(n-1, j-1)*j*x^t*b(j-1, 0, h-1)*b(n-j, t, h), j=1..n)))
%p A291203     end:
%p A291203 g:= (n, h)-> b(n, 1, h)-`if`(h=0, 0, b(n, 1, h-1)):
%p A291203 F:= (n, h, t)-> coeff(g(n, h), x, t):
%p A291203 seq(seq(seq(F(n, h, t), t=0..n-h), h=0..n), n=0..8);
%t A291203 b[n_, t_, h_] := b[n, t, h] = Expand[If[n == 0 || h == 0, x^(t*n), Sum[
%t A291203      Binomial[n-1, j-1]*j*x^t*b[j-1, 0, h-1]*b[n-j, t, h], {j, 1, n}]]];
%t A291203 g[n_, h_] := b[n, 1, h] - If[h == 0, 0, b[n, 1, h - 1]];
%t A291203 F[n_, h_, t_] := Coefficient[g[n, h], x, t];
%t A291203 Table[Table[Table[F[n, h, t], {t, 0, n - h}], {h, 0, n}], {n, 0, 8}] // Flatten (* _Jean-François Alcover_, Mar 17 2022, after _Alois P. Heinz_ *)
%Y A291203 Cf. A000007, A000012, A000142, A000272, A000551, A001477, A001788, A001854, A002378, A023531, A034855, A038154, A059297, A061356, A089946, A126804, A234953, A235595, A235596, A243014, A291204, A291336, A291529.
%K A291203 nonn,look,tabf
%O A291203 0,9
%A A291203 _Alois P. Heinz_, Aug 20 2017