login
Number of permutations p of [n] such that p(i) > p(i+1) iff i == 1 (mod 9).
2

%I #12 Sep 03 2021 01:51:37

%S 1,1,1,2,3,4,5,6,7,8,9,89,583,2562,8996,27013,72057,175016,393805,

%T 831384,14964895,171416216,1274511567,7351608748,35319494255,

%U 147208687584,546836589610,1845658907261,5742168041637,149870423643695,2452427105334001,25693720399771170

%N Number of permutations p of [n] such that p(i) > p(i+1) iff i == 1 (mod 9).

%H Alois P. Heinz, <a href="/A250265/b250265.txt">Table of n, a(n) for n = 0..500</a>

%p b:= proc(u, o, t) option remember; `if`(u+o=0, 1,

%p `if`(t=1, add(b(u-j, o+j-1, irem(t+1, 9)), j=1..u),

%p add(b(u+j-1, o-j, irem(t+1, 9)), j=1..o)))

%p end:

%p a:= n-> b(0, n, 0):

%p seq(a(n), n=0..35);

%t b[u_, o_, t_] := b[u, o, t] = If[u + o == 0, 1, If[t == 1, Sum[b[u - j, o + j - 1, Mod[t + 1, 9]], {j, 1, u}], Sum[b[u + j - 1, o - j, Mod[t + 1, 9]], {j, 1, o}]]];

%t a[n_] := b[0, n, 0];

%t Table[a[n], {n, 0, 35}] (* _Jean-François Alcover_, Jul 22 2019, after _Alois P. Heinz_ *)

%Y Column k=9 of A250261.

%K nonn

%O 0,4

%A _Alois P. Heinz_, Nov 15 2014