OFFSET
1,1
COMMENTS
Part of a family of width-w binary arrays avoiding 001 and 011 (w=3..9: A202093-A202099) with common formula a(n) = C(alpha+E,E)*C(alpha+O,O)*C(beta+E,E)*C(beta+O,O) where E=ceil(w/2), O=floor(w/2), alpha=floor((n+3)/2), beta=floor((n+2)/2). - Christian Krause, Jun 28 2026
LINKS
R. H. Hardin, Table of n, a(n) for n = 1..210
Index entries for linear recurrences with constant coefficients, signature (2, 14, -30, -90, 210, 350, -910, -910, 2730, 1638, -6006, -2002, 10010, 1430, -12870, 0, 12870, -1430, -10010, 2002, 6006, -1638, -2730, 910, 910, -350, -210, 90, 30, -14, -2, 1).
FORMULA
a(n) = 2*a(n-1) +14*a(n-2) -30*a(n-3) -90*a(n-4) +210*a(n-5) +350*a(n-6) -910*a(n-7) -910*a(n-8) +2730*a(n-9) +1638*a(n-10) -6006*a(n-11) -2002*a(n-12) +10010*a(n-13) +1430*a(n-14) -12870*a(n-15) +12870*a(n-17) -1430*a(n-18) -10010*a(n-19) +2002*a(n-20) +6006*a(n-21) -1638*a(n-22) -2730*a(n-23) +910*a(n-24) +910*a(n-25) -350*a(n-26) -210*a(n-27) +90*a(n-28) +30*a(n-29) -14*a(n-30) -2*a(n-31) +a(n-32). - Proved by Christian Krause, Jun 28 2026
From Christian Krause, Jun 28 2026: (Start)
a(n) = (n+4)^4 * (n+6)^4 * (n+8)^4 * (n+10)^4 / 21743271936 for n even.
a(n) = (n+3)^2 * (n+5)^4 * (n+7)^4 * (n+9)^4 * (n+11)^2 / 21743271936 for n odd. (End)
From Amiram Eldar, Jun 28 2026: (Start)
Sum_{n>=1} 1/a(n) = 33664*Pi^4/45 + 2002000*Pi^2/27 - 40737104606/50625.
Sum_{n>=1} (-1)^(n+1)/a(n) = 11285196806/50625 - 1664*Pi^4/9 - 560560*Pi^2/27. (End)
EXAMPLE
Some solutions for n=2:
..1..1..1..0..1..0..1..0....1..1..1..1..1..1..0..1....1..1..1..1..1..1..0..1
..1..1..1..0..1..0..0..0....1..1..1..1..1..0..0..0....1..1..1..1..1..1..0..1
..1..1..1..0..1..0..1..0....1..1..1..1..0..1..0..0....0..1..0..0..0..0..0..0
..0..1..0..0..0..0..0..0....1..1..1..0..0..0..0..0....1..1..1..0..0..0..0..0
MATHEMATICA
a[n_] := If[EvenQ[n], (n+4)^4 * (n+6)^4 * (n+8)^4 * (n+10)^4, (n+3)^2 * (n+5)^4 * (n+7)^4 * (n+9)^4 * (n+11)^2] / 21743271936; Array[a, 23] (* Amiram Eldar, Jun 28 2026 *)
CROSSREFS
KEYWORD
nonn,easy,changed
AUTHOR
R. H. Hardin, Dec 11 2011
STATUS
approved
