OFFSET
1,1
COMMENTS
Column 1 of A251373.
LINKS
R. H. Hardin, Table of n, a(n) for n = 1..210
Robert Israel, Maple-assisted proof of formula
Index entries for linear recurrences with constant coefficients, signature (8,7).
FORMULA
Empirical: a(n) = 8*a(n-1) + 7*a(n-2).
Empirical g.f.: x*(79 + 63*x) / (1 - 8*x - 7*x^2). - Colin Barker, Mar 19 2018
Empirical formula verified: see link.
a(n) = A254598(n+1). - Robert Israel, Mar 19 2018
EXAMPLE
Some solutions for n=4:
1 1 0 1 1 2 2 1 1 2 2 1 0 0 2 1 1 0 0 2
2 2 0 2 1 0 0 1 2 0 2 2 0 1 2 2 0 0 0 1
2 1 1 1 0 1 1 2 2 2 1 1 2 0 2 1 1 2 0 2
2 1 2 0 1 2 1 0 1 0 1 2 1 1 2 1 0 2 2 2
0 1 1 0 0 0 1 1 1 1 0 0 1 0 1 1 0 1 0 2
MAPLE
f:= gfun:-rectoproc({a(n) = 8*a(n-1) + 7*a(n-2), a(1)=
79, a(2)=695}, a(n), remember):
map(f, [$1..40]); # Robert Israel, Mar 19 2018
MATHEMATICA
LinearRecurrence[{8, 7}, {79, 695}, 40] (* Jean-François Alcover, Aug 19 2022 *)
CROSSREFS
KEYWORD
nonn,easy
AUTHOR
R. H. Hardin, Dec 01 2014
STATUS
approved