%I #17 Jan 25 2017 03:06:54
%S 1,2,7,32,176,1126,8227,67768,622706,6323932,70400734,852952952,
%T 11176241098,157506733030,2375966883371,38200984291800,
%U 652179787654530,11783182484950980,224623760504277810,4505795627243046240,94873821120923655336,2092249161797280567516
%N Number of self-avoiding planar walks starting at (0,0), ending at (n,n), remaining in the first quadrant and using steps (0,1) and (1,0) on or below the diagonal and using steps (1,1), (-1,1), and (1,-1) on or above the diagonal.
%C Both endpoints of each step have to satisfy the given restrictions.
%C a(n) is odd for n in {0, 2, 6, 14, 30, 62, ... } = { 2^n-2 | n>0 }.
%H Alois P. Heinz, <a href="/A277359/b277359.txt">Table of n, a(n) for n = 0..448</a>
%F a(n) ~ exp(1)*(exp(1)-2) * n! * n. - _Vaclav Kotesovec_, Oct 13 2016
%p a:= proc(n) option remember; `if`(n<3, [1, 2, 7][n+1],
%p ((n^3+10*n^2-10*n+1)*a(n-1)-(2*(4*n^3+2*n^2-29*n+28))
%p *a(n-2)+(4*(n-2))*(2*n-3)^2*a(n-3))/(n*(n+1)))
%p end:
%p seq(a(n), n=0..25);
%t a[n_] := a[n] = If[n<3, {1, 2, 7}[[n+1]], ((n^3+10*n^2-10*n+1)*a[n-1] - (2*(4*n^3+2*n^2-29*n+28))*a[n-2] + (4*(n-2))*(2*n-3)^2*a[n-3])/(n*(n+1)) ]; Table[a[n], {n, 0, 25}] (* _Jean-François Alcover_, Jan 25 2017, translated from Maple *)
%Y Cf. A000108, A000142, A000918, A277175, A277176, A277358, A277360, A277756.
%K nonn,walk
%O 0,2
%A _Alois P. Heinz_, Oct 10 2016
|