OFFSET
0,18
COMMENTS
A sequence (y_1, ..., y_k) is subdiagonal iff y_i <= i for all i = 1..k.
EXAMPLE
Row n = 9 counts the following reversed partitions:
(111111111) (12222) (1233) (1134) (11115)
(111222) (11133) (1224)
(1111122) (11223) (11124)
(11111112) (111123) (111114)
(1111113)
Triangle begins:
1
0 1
0 1 0
0 1 1 0
0 1 1 0 0
0 1 2 1 0 0
0 1 2 2 0 0 0
0 1 3 2 1 0 0 0
0 1 3 4 2 0 0 0 0
0 1 4 5 4 1 0 0 0 0
0 1 4 6 5 2 0 0 0 0 0
0 1 5 8 7 4 1 0 0 0 0 0
0 1 5 10 10 7 2 0 0 0 0 0 0
0 1 6 11 14 10 4 1 0 0 0 0 0 0
0 1 6 14 16 15 7 2 0 0 0 0 0 0 0
0 1 7 16 21 18 12 4 1 0 0 0 0 0 0 0
MATHEMATICA
inffQ[mset_]:=And@@Table[mset[[i]]<=i, {i, Length[mset]}];
Table[Length[Select[Reverse/@IntegerPartitions[n], If[#=={}, 0, Max@@#]==k&&inffQ[#]&]], {n, 0, 15}, {k, 0, n}]
CROSSREFS
KEYWORD
nonn,tabl
AUTHOR
Gus Wiseman, Sep 24 2025
STATUS
approved
