OFFSET
1,1
COMMENTS
Part of the family a(n) = 2*w*(n+2)*C(n+w,w-1) for width-w binary arrays avoiding patterns 001 and 101 (A202195-A202201 for w=3..9). - Christian Krause, Jun 24 2026
LINKS
R. H. Hardin, Table of n, a(n) for n = 1..210
Christian Krause, Proof of formula, Jun 24 2026
Index entries for linear recurrences with constant coefficients, signature (4,-6,4,-1).
FORMULA
a(n) = 3*(n+3)*(n+2)^2 = 3*A011379(n+2). [proved by Christian Krause, Jun 24 2026]
From Colin Barker, Mar 03 2018: (Start)
G.f.: 6*x*(18 - 32*x + 23*x^2 - 6*x^3) / (1 - x)^4.
a(n) = 4*a(n-1) - 6*a(n-2) + 4*a(n-3) - a(n-4) for n>4. (End)
From Amiram Eldar, Jun 16 2026: (Start)
Sum_{n>=1} 1/a(n) = Pi^2/18 - 19/36.
Sum_{n>=1} (-1)^(n+1)/a(n) = 7/36 + Pi^2/36 - 2*log(2)/3. (End)
EXAMPLE
Some solutions for n=10:
0 0 0 0 0 0 1 0 0 1 0 0 1 0 0 0 1 1 0 1 1
1 1 1 0 1 1 0 1 1 1 1 0 1 1 1 1 1 1 1 1 1
1 1 0 0 1 1 0 1 1 0 1 0 1 1 1 1 1 1 1 1 1
1 1 0 0 1 1 0 1 1 0 1 0 1 1 0 1 1 1 1 1 1
1 1 0 0 1 1 0 1 0 0 1 0 1 0 0 1 1 1 1 1 1
0 1 0 0 1 1 0 0 0 0 1 0 0 0 0 1 1 1 1 1 0
0 1 0 0 1 1 0 0 0 0 1 0 0 0 0 1 1 0 1 0 0
0 1 0 0 1 1 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0
0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0
0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0
0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
MATHEMATICA
CROSSREFS
KEYWORD
nonn,easy
AUTHOR
R. H. Hardin, Dec 14 2011
STATUS
approved
