OFFSET
0,3
COMMENTS
A sequence (y_1, ..., y_k) is superdiagonal iff y_i >= i for all i = 1..k.
Includes all strict partitions.
LINKS
Alois P. Heinz, Table of n, a(n) for n = 0..5000
EXAMPLE
The partition y = (3,2,2,1,1) has run-lengths (1,2,2), which are not superdiagonal, so y is not counted under a(9).
The partition y = (3,2,2,1,1,1) has run-lengths (1,2,3), which are superdiagonal, so y is counted under a(9).
The a(1) = 1 through a(7) = 8 partitions:
(1) (2) (3) (4) (5) (6) (7)
(11) (111) (22) (311) (33) (322)
(211) (2111) (222) (511)
(1111) (11111) (411) (4111)
(2211) (22111)
(3111) (31111)
(21111) (211111)
(111111) (1111111)
MATHEMATICA
suppQ[mset_]:=And@@Table[mset[[i]]>=i, {i, Length[mset]}];
Table[Length[Select[IntegerPartitions[n], suppQ[Length/@Split[#]]&]], {n, 0, 10}]
CROSSREFS
KEYWORD
nonn
AUTHOR
Gus Wiseman, Sep 22 2025
STATUS
approved
