Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
%I #45 May 13 2020 09:51:55
%S 1,1,4,36,720,23400,1123200,74440800,6509318400,725829724800,
%T 100511918784000,16922530756454400,3404178048774758400,
%U 806369627582929612800,222159405758654317363200,70435689828806256514560000,25463217531292911649057996800,10411540182139235537714555289600
%N Number of lattice paths from {2}^n to {0}^n using steps that decrement one component by 1 such that for each point (p_1,p_2,...,p_n) we have abs(p_{i}-p_{i+1}) <= 1 and abs(p_{1}-p_{n}) <= 1.
%F a(n) = n * A318191(2,n) for n > 0. - _Alois P. Heinz_, Jan 09 2019
%p b:= proc(l) option remember; (n-> `if`(n<2 or max(l[])=0, 1,
%p add(`if`(l[i]=0 or 1<abs(l[`if`(i=1, 0, i)-1]-l[i]+1)
%p or 1<abs(l[`if`(i=n, 0, i)+1]-l[i]+1), 0,
%p b(subsop(i=l[i]-1, l))), i=1..n)))(nops(l))
%p end:
%p a:= n-> b([2$n]):
%p seq(a(n), n=0..12); # _Alois P. Heinz_, Jan 05 2019
%t b[l_] := b[l] = With[{n = Length[l]}, If[n < 2 || Max[l ] == 0, 1, Sum[If[ l[[i]] == 0 || 1 < Abs[l[[If[i == 1, 0, i] - 1]] - l[[i]] + 1] || 1 < Abs[l[[If[i == n, 0, i] + 1]] - l[[i]] + 1], 0, b[ReplacePart[l, i -> l[[i]] - 1]]], {i, n}]]];
%t a[n_] := b[Table[2, {n}]];
%t a /@ Range[0, 12] (* _Jean-François Alcover_, May 13 2020, after _Alois P. Heinz_ *)
%Y Cf. A227656, A318191.
%K nonn,walk
%O 0,3
%A _Woong-Gi Jung_, Dec 26 2018
%E More terms from _Alois P. Heinz_, Dec 30 2018