|
%I #21 Feb 17 2020 21:19:07
%S 1,1,1,1,3,2,1,6,9,4,1,11,27,25,8,1,20,70,100,65,16,1,37,170,330,325,
%T 161,32,1,70,399,980,1295,966,385,64,1,135,917,2723,4515,4501,2695,
%U 897,128,1,264,2076,7224,14406,17976,14364,7176,2049,256
%N Triangle T(n,k), 0 <= k <= n, read by rows, given by [1, 0, 1, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, ...] DELTA [1, 1, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, ...] where DELTA is the operator defined in A084938.
%F T(n, k) = 2^(n-1)binomial(n-1, k-1) + binomial(n-1, k).
%F Sum_{k=0..n} T(n, k) = 2^(n-1)*(1+2^(n-1)) = A063376(n-1) for n >= 1.
%F From _Peter Bala_, Mar 20 2013: (Start)
%F O.g.f.: (1 - 2*t + x*t*(t-2) + x^2*t^2)/((1 - t*(1+x))*(1 - 2*t*(1+x))) = 1 + (1+x)*t + (1+3*x+2*x^2)*t^2 + ....
%F E.g.f.: (x + 2*exp((1+x)*t) + x*exp(2*t*(1+x)))/(2*(1+x)) = 1 + (1+x)*t + (1+3*x+2*x^2)*t^2/2! + ....
%F Recurrence equation: for n >= 1, T(n+1,k) = 2*T*n,k) + 2*T(n,k-1) - binomial(n,k). (End)
%F From _Philippe Deléham_, Oct 18 2013: (Start)
%F G.f.: (1 - 2*x - 2*x*y + x^2*y + x^2*y^2)/(1 - 3*x - 3*x*y + 2*x^2 + 4*x^2*y + 2*x^2*y^2).
%F T(n,k) = 3*T(n-1,k) + 3*T(n-1,k-1) - 2*T(n-2,k) - 4*T(n-2,k-1) - 2*T(n-2,k-2), T(0,0) = T(1,1) = T(1,0) = T(2,0) = 1, T(2,1) = 3, T(2,2) = 2, T(n,k) = 0 if k > n or if k < 0. (End)
%e Rows begin:
%e 1;
%e 1, 1;
%e 1, 3, 2;
%e 1, 6, 9, 4;
%e 1, 11, 27, 25, 8;
%e 1, 20, 70, 100, 65, 16;
%e 1, 37, 170, 330, 325, 161, 32;
%e 1, 70, 399, 980, 1295, 966, 385, 64;
%e 1, 135, 917, 2723, 4515, 4501, 2695, 897, 128;
%e 1, 264, 2076, 7224, 14406, 17976, 14364, 7176, 2049, 256;
%t With[{m = 9}, CoefficientList[CoefficientList[Series[(1 - 2*x - 2*x*y + x^2 *y + x^2*y^2)/(1 - 3*x - 3*x*y + 2*x^2 + 4*x^2*y + 2*x^2*y^2), {x, 0 , m}, {y, 0, m} ], x], y]] // Flatten (* _Georg Fischer_, Feb 17 2020 *)
%o (PARI) T(n, k) = if (k<=n, 2^(n-1)*binomial(n-1, k-1)+binomial(n-1, k));
%o matrix(10, 10, n, k, T(n-1, k-1)) \\ to see the triangle \\ _Michel Marcus_, Feb 17 2020
%Y Cf. A002064, A006127.
%K easy,nonn,tabl
%O 0,5
%A _Philippe Deléham_, Oct 07 2005
%E Wrong a(42) removed by _Georg Fischer_, Feb 17 2020
|
