OFFSET
1,6
LINKS
R. H. Hardin, Table of n, a(n) for n = 1..9999
FORMULA
With z X 1 tiles of k colors on an n X 1 grid (with n >= z), either there is a tile (of any of the k colors) on the first spot, followed by any configuration on the remaining (n-z) X 1 grid, or the first spot is vacant, followed by any configuration on the remaining (n-1) X 1. So T(n,k) = T(n-1,k) + k*T(n-z,k), with T(n,k) = 1 for n=0..z-1. The solution is T(n,k) = Sum_r r^(-n-1)/(1 + z*k*r^(z-1)) where the sum is over the roots of the polynomial k*x^z + x - 1.
T(n,k) = Sum_{s=0..[n/3]} binomial(n-2*s,s)*k^s.
For z X 1 tiles, T(n,k,z) = Sum_{s=0..[n/z]} binomial(n-(z-1)*s,s)*k^s. - R. H. Hardin, Jul 31 2011
EXAMPLE
Table starts:
1 1 1 1 1 1 1 1 1 1 1 1
1 1 1 1 1 1 1 1 1 1 1 1
2 3 4 5 6 7 8 9 10 11 12 13
3 5 7 9 11 13 15 17 19 21 23 25
4 7 10 13 16 19 22 25 28 31 34 37
6 13 22 33 46 61 78 97 118 141 166 193
9 23 43 69 101 139 183 233 289 351 419 493
13 37 73 121 181 253 337 433 541 661 793 937
19 63 139 253 411 619 883 1209 1603 2071 2619 3253
28 109 268 529 916 1453 2164 3073 4204 5581 7228 9169
41 183 487 1013 1821 2971 4523 6537 9073 12191 15951 20413
60 309 904 2025 3876 6685 10704 16209 23500 32901 44760 59449
Some solutions for n=7 k=3; colors=1,2,3 and empty=0
..3....0....0....2....0....1....3....0....0....0....1....0....3....1....0....0
..3....0....0....2....2....1....3....2....1....0....1....3....3....1....0....0
..3....1....0....2....2....1....3....2....1....2....1....3....3....1....0....3
..1....1....3....0....2....0....0....2....1....2....3....3....0....2....0....3
..1....1....3....0....0....2....2....2....1....2....3....2....1....2....1....3
..1....0....3....0....0....2....2....2....1....0....3....2....1....2....1....0
..0....0....0....0....0....2....2....2....1....0....0....2....1....0....1....0
MAPLE
T:= proc(n, k) option remember;
`if`(n<0, 0,
`if`(n<3 or k=0, 1, k*T(n-3, k) +T(n-1, k)))
end:
seq(seq(T(n, d+1-n), n=1..d), d=1..13); # Alois P. Heinz, Jul 29 2011
MATHEMATICA
nmax = 13; t[_?Negative, _] = 0; t[n_, k_] /; (n < 3 || k == 0) = 1; t[n_, k_] := t[n, k] = k*t[n-3, k] + t[n-1, k]; Flatten[ Table[ t[n-k+1, k], {n, 1, nmax}, {k, n, 1, -1}]] (* Jean-François Alcover, Nov 28 2011, after Maple *)
CROSSREFS
KEYWORD
nonn,tabl
AUTHOR
R. H. Hardin, with proof and formula from Robert Israel in the Sequence Fans Mailing List, Jul 29 2011
STATUS
approved
