%I #34 Oct 07 2018 18:23:36
%S 1,1,1,1,1,1,1,2,0,1,1,6,2,0,1,1,24,54,2,0,1,1,120,1944,384,2,0,1,1,
%T 720,99000,132000,2550,2,0,1,1,5040,6966000,79716000,8059800,16506,2,
%U 0,1,1,40320,655678800,78928416000,57010275000,471369024,105840,2,0,1
%N Number A(n,k) of lattice paths without interior points from {n}^k to {0}^k using steps that decrement one component by 1; square array A(n,k), n>=0, k>=0, read by antidiagonals.
%C An interior point p = (p_1, ..., p_k) has k>0 components with 0<p_i<n for 1<=i<=k.
%H Alois P. Heinz, <a href="/A225094/b225094.txt">Antidiagonals n = 0..20, flattened</a>
%e A(n,0) = 1: [()].
%e A(0,k) = 1: [{0}^k].
%e A(1,1) = 1: [(1), (0)].
%e A(2,1) = 0, there is no path from (2) to (0) without interior points.
%e A(1,2) = 2: [(1,1), (0,1), (0,0)], [(1,1), (1,0), (0,0)].
%e A(1,3) = 6: [(1,1,1), (0,1,1), (0,0,1), (0,0,0)], [(1,1,1), (0,1,1), (0,1,0), (0,0,0)], [(1,1,1), (1,0,1), (0,0,1), (0,0,0)], [(1,1,1), (1,0,1), (1,0,0), (0,0,0)], [(1,1,1), (1,1,0), (0,1,0), (0,0,0)], [(1,1,1), (1,1,0), (1,0,0), (0,0,0)].
%e Square array A(n,k) begins:
%e 1, 1, 1, 1, 1, 1, ...
%e 1, 1, 2, 6, 24, 120, ...
%e 1, 0, 2, 54, 1944, 99000, ...
%e 1, 0, 2, 384, 132000, 79716000, ...
%e 1, 0, 2, 2550, 8059800, 57010275000, ...
%e 1, 0, 2, 16506, 471369024, 38606650125120, ...
%p b:= proc(n, l) option remember; local m; m:= nops(l);
%p `if`(m=0 or l[m]=0, 1, `if`(l[1]>0 and l[m]<n, 0,
%p add(`if`(l[i]=0, 0, b(n, sort(subsop(i=l[i]-1, l)))), i=1..m)))
%p end:
%p A:= (n, k)-> b(n, [n$k]):
%p seq(seq(A(n, d-n), n=0..d), d=0..10);
%t b[n_, l_] := b[n, l] = With[{m = Length[l]}, If[m == 0 || l[[m]] == 0, 1, If[l[[1]] > 0 && l[[m]] < n, 0, Sum[If[l[[i]] == 0, 0, b[n, Sort[ReplacePart[l, i -> l[[i]] - 1]]]], {i, 1, m}]]] ]; a[n_, k_] := b[n, Array[n&, k]]; Table[Table[a[n, d-n], {n, 0, d}], {d, 0, 10}] // Flatten (* _Jean-François Alcover_, Dec 16 2013, translated from Maple *)
%Y Columns k=0, 2-4 give: A000012, A040000, A060774, A225220.
%Y Rows n=0-4 give: A000012, A000142, A071798(k) (for k>0), A225096, A225221.
%Y Main diagonal gives: A225111.
%Y Cf. A089759 (unrestricted paths), A210472, A262809, A263159.
%K nonn,tabl,walk
%O 0,8
%A _Alois P. Heinz_, Apr 27 2013
|