|
%I #16 Aug 29 2022 10:06:24
%S 32,169,2117,17424,177073,1630729,15786848,149352841,1429585373,
%T 13610488896,129934154497,1238878076401,11819811992192,
%U 112736763711049,1075437390934037,10258292274099984,97854335246290033,933422273708422969
%N Number of n X 5 binary matrices with no two 1's adjacent diagonally or antidiagonally.
%C Column 5 of A181212.
%H Robert Israel, <a href="/A181209/b181209.txt">Table of n, a(n) for n = 1..1019</a> (n = 1..250 from R. H. Hardin)
%H Robert Israel, <a href="/A181209/a181209.pdf">Maple-assisted proof of formula</a>
%F Empirical: a(n) = 12*a(n-1) - 283*a(n-3) + 516*a(n-4) + 600*a(n-5) - 1415*a(n-6) + 600*a(n-8) - 125*a(n-9).
%F Formula verified by _Robert Israel_, Dec 25 2017 (see link).
%p f:= gfun:-rectoproc({a(n)=12*a(n-1)-283*a(n-3)+516*a(n-4)+600*a(n-5)-1415*a(n-6)+600*a(n-8)-125*a(n-9),a(1) = 32, a(2) = 169, a(3) = 2117, a(4) = 17424, a(5) = 177073, a(6) = 1630729, a(7) = 15786848, a(8) = 149352841,a(9)=1429585373},a(n),remember):
%p map(f, [$1..30]); # _Robert Israel_, Dec 25 2017
%t RecurrenceTable[{a[n] == 12*a[n - 1] - 283*a[n - 3] + 516*a[n - 4] + 600*a[n - 5] - 1415*a[n - 6] + 600*a[n - 8] - 125*a[n - 9], a[1] == 32, a[2] == 169, a[3] == 2117, a[4] == 17424, a[5] == 177073, a[6] == 1630729, a[7] == 15786848, a[8] == 149352841, a[9] == 1429585373}, a, {n, 1, 30}] (* _Jean-François Alcover_, Aug 29 2022, after _Robert Israel_ *)
%K nonn
%O 1,1
%A _R. H. Hardin_, Oct 10 2010
|
