%I #31 Oct 09 2019 13:34:39
%S 1,2,5,24,111,762,5127,45588,400593,4370634,47311677,611446464,
%T 7857786015,117346361778,1745000283087,29562853594284,499180661754849,
%U 9458257569095826,178734707493557301,3744942786114870888,78294815164675006479,1797384789345147560298
%N Number of self-avoiding planar walks starting at (0,0), ending at (n,0), remaining in the first quadrant and using steps (0,1), (1,0), (1,1), (-1,1), and (1,-1) with the restriction that (0,1) is never used below the diagonal and (1,0) is never used above the diagonal.
%H Alois P. Heinz, <a href="/A284230/b284230.txt">Table of n, a(n) for n = 0..448</a>
%H Alois P. Heinz, <a href="/A284230/a284230.gif">Animation of a(4)=111 walks</a>
%H Wikipedia, <a href="https://en.wikipedia.org/wiki/Lattice_path">Lattice path</a>
%H Wikipedia, <a href="https://en.wikipedia.org/wiki/Self-avoiding_walk">Self-avoiding walk</a>
%F a(n) ~ c * n^(n+2) / exp(n), where c = 0.7741273379869056907732932906458364317717498069987762339667734187318... - _Vaclav Kotesovec_, Mar 27 2017
%F Conjecture: a(n) -a(n-1) +(-n^2-n+3)*a(n-2) +(-n+2)*a(n-3) +(n-2)*(n-3)*a(n-4)=0. - _R. J. Mathar_, Apr 09 2017
%e a(0) = 1: [(0,0)].
%e a(1) = 2: [(0,0),(1,0)], [(0,0),(0,1),(1,0)].
%e a(2) = 5: [(0,0),(1,0),(2,0)], [(0,0),(0,1),(1,0),(2,0)], [(0,0),(1,1),(2,0)], [(0,0),(0,1),(0,2),(1,1),(2,0)], [(0,0),(1,0),(0,1),(0,2),(1,1),(2,0)].
%p a:= proc(n) option remember; `if`(n<2, n+1,
%p (n+irem(n, 2))*a(n-1)+(n-1)*a(n-2))
%p end:
%p seq(a(n), n=0..25);
%t a[n_]:=If[n<2, n + 1, (n + Mod[n,2]) * a[n - 1] + (n - 1) a[n - 2]]; Table[a[n], {n, 0, 25}] (* _Indranil Ghosh_, Mar 27 2017 *)
%Y Row sums of A284414.
%Y Bisection (even part) gives A284461.
%Y Cf. A001900, A277358, A284231, A285673.
%K nonn,walk
%O 0,2
%A _Alois P. Heinz_, Mar 23 2017