login
A triangular table of decreasing powers of two (with first column all ones).
8

%I #32 Jan 15 2022 14:55:00

%S 1,1,1,1,2,1,1,4,2,1,1,8,4,2,1,1,16,8,4,2,1,1,32,16,8,4,2,1,1,64,32,

%T 16,8,4,2,1,1,128,64,32,16,8,4,2,1,1,256,128,64,32,16,8,4,2,1,1,512,

%U 256,128,64,32,16,8,4,2,1,1,1024,512,256,128,64,32,16,8,4,2,1,1,2048,1024,512,256,128,64,32,16,8,4,2,1

%N A triangular table of decreasing powers of two (with first column all ones).

%C First differences of sequence A023758.

%C A023758 is the sequence of partial sums of a(n) with row sums A000337.

%C 2^A004736(n) is a sequence closely related to a(n).

%C T(n,k) is the number of length n binary words having an odd number of 0's with exactly k 1's following the last 0, n >= 1, 0 <= k <= n - 1. - _Geoffrey Critzer_, Jan 28 2014

%H Reinhard Zumkeller, <a href="/A057728/b057728.txt">Rows n = 1..100 of table, flattened</a>

%F G.f.: (x - x^2)/((1 - 2*x)*(1 - y*x)). - _Geoffrey Critzer_, Jan 28 2014 [This produces the triangle shown by _Mats Granvik_ in example section. - _Franck Maminirina Ramaharo_, Jan 09 2019]

%F From _Franck Maminirina Ramaharo_, Jan 09 2019: (Start)

%F G.f.: x*(1 - 2*x + y*x^2)/((1 - x)*(1 - 2*x)*(1 - x*y)).

%F E.g.f.: (exp(2*x)*y - 2*exp(x*y))/(4 - 2*y) + exp(x) - 1/2. (End)

%e Triangle starts:

%e 1,

%e 1, 1,

%e 1, 2, 1,

%e 1, 4, 2, 1,

%e 1, 8, 4, 2, 1,

%e 1, 16, 8, 4, 2, 1,

%e 1, 32, 16, 8, 4, 2, 1,

%e 1, 64, 32, 16, 8, 4, 2, 1,

%e 1, 128, 64, 32, 16, 8, 4, 2, 1,

%e 1, 256, 128, 64, 32, 16, 8, 4, 2, 1,

%e 1, 512, 256, 128, 64, 32, 16, 8, 4, 2, 1,

%e 1, 1024, 512, 256, 128, 64, 32, 16, 8, 4, 2, 1,

%e 1, 2048, 1024, 512, 256, 128, 64, 32, 16, 8, 4, 2, 1,

%e ... - _Joerg Arndt_, May 04 2014

%e When viewed as a triangular array, row 8 of A023758 is 128 192 224 240 248 252 254 255 so row 8 here is 1 64 32 16 8 4 2 1

%e From _Mats Granvik_, Jan 19 2009: (Start)

%e Except for the first term the table can also be formatted as:

%e 1,

%e 1, 1,

%e 2, 1, 1,

%e 4, 2, 1, 1,

%e 8, 4, 2, 1, 1,

%e 16, 8, 4, 2, 1, 1,

%e ...

%e (End)

%t nn=10;Map[Select[#,#>0&]&,CoefficientList[Series[(x-x^2)/(1-2x)/(1-y x),{x,0,nn}],{x,y}]]//Grid (* _Geoffrey Critzer_, Jan 28 2014 *)

%t Module[{nn=12,ts},ts=2^Range[0,nn];Table[Join[{1},Reverse[Take[ts,n]]],{n,0,nn}]]//Flatten (* _Harvey P. Dale_, Jan 15 2022 *)

%o (Haskell)

%o a057728 n k = a057728_tabl !! (n-1) !! (k-1)

%o a057728_row n = a057728_tabl !! (n-1)

%o a057728_tabl = iterate

%o (\row -> zipWith (+) (row ++ [0]) ([0] ++ tail row ++ [1])) [1]

%o -- _Reinhard Zumkeller_, Aug 08 2013

%o (Maxima)

%o T(n, k) := if k = 0 then 1 else 2^(n - k - 1)$

%o create_list(T(n, k), n, 0, 12, k, 0, n - 1); /* _Franck Maminirina Ramaharo_, Jan 09 2019 */

%Y Cf. A000079, A004736, A023758 and A000337.

%Y Cf. A155038 (essentially the same as this sequence). [_Mats Granvik_, Jan 19 2009]

%K base,easy,nonn,tabl

%O 1,5

%A _Alford Arnold_, Oct 29 2000

%E More terms from Larry Reeves (larryr(AT)acm.org), Oct 30 2000