OFFSET
0,3
COMMENTS
The members of L_n are paths of weight n that start at (0,0) and end on the horizontal axis and whose steps are of the following four kinds: a (1,0)-step with weight 1, a (1,0)-step with weight 2, a (1,1)-step with weight 2, and a (1,-1)-step with weight 1. The weight of a path is the sum of the weights of its steps.
LINKS
M. Bona and A. Knopfmacher, On the probability that certain compositions have the same number of parts, Ann. Comb., 14 (2010), 291-306.
E. Munarini, N. Zagaglia Salvi, On the Rank Polynomial of the Lattice of Order Ideals of Fences and Crowns, Discrete Mathematics 259 (2002), 163-177.
Index entries for linear recurrences with constant coefficients, signature (2,1,2,-1)
FORMULA
a(n) = Sum_{k>=0} k*A182893(n,k).
G.f.: z(1+z)/[(1+z+z^2)(1-3z+z^2)].
EXAMPLE
a(3) = 7. Indeed, denoting by h (H) the (1,0)-step of weight 1 (2), and u=(1,1), d=(1,-1), the five paths of weight 3 are ud, du, hH, Hh, and hhh; they contain 0+0+2+2+3=7 (1,0)-steps at level 0.
MAPLE
G:=z*(1+z)/(1+z+z^2)/(1-3*z+z^2): Gser:=series(G, z=0, 32): seq(coeff(Gser, z, n), n=0..28);
MATHEMATICA
LinearRecurrence[{2, 1, 2, -1}, {0, 1, 3, 7}, 30] (* Harvey P. Dale, Jan 05 2022 *)
CROSSREFS
KEYWORD
nonn
AUTHOR
Emeric Deutsch, Dec 12 2010
STATUS
approved