OFFSET
1,1
COMMENTS
Column 1 of A251167
LINKS
R. H. Hardin, Table of n, a(n) for n = 1..210
Robert Israel, Maple-assisted proof of empirical formula
FORMULA
Empirical: a(n) = 7*a(n-1) -18*a(n-2) +43*a(n-3) -59*a(n-4) +70*a(n-5) -62*a(n-6) +33*a(n-7) -14*a(n-8) -3*a(n-9) +6*a(n-10) -a(n-11) for n>13.
Verified by Robert Israel, Jan 11 2019 (See link).
EXAMPLE
Some solutions for n=4
..0..2....2..3....1..2....3..3....1..3....0..3....1..3....1..1....0..3....0..3
..0..0....0..3....0..2....0..2....0..3....0..3....1..2....0..1....1..1....0..0
..3..0....0..3....0..1....0..0....1..1....0..3....1..1....1..0....0..0....2..2
..3..3....3..0....0..1....2..2....0..0....0..1....0..0....1..0....1..1....0..1
..0..1....3..1....1..0....0..0....3..1....0..0....1..0....3..2....0..1....3..1
MAPLE
q:= proc(a, b) local a1, a2, b1, b2;
a1:= (a-1) mod 4; a2:= (a-1-a1)/4;
b1:= (b-1) mod 4; b2:= (b-1-b1)/4;
if max(b1, a2) > abs(b2-a1) then 0 else 1 fi
end proc:
T:= Matrix(16, 16, q):
u:= Vector(16, 1):
seq(u^%T . T^n . u, n=1..30); # Robert Israel, Jan 11 2019
CROSSREFS
KEYWORD
nonn
AUTHOR
R. H. Hardin, Nov 30 2014
STATUS
approved