OFFSET
0,3
COMMENTS
Equivalently, a partition n = a_1 + ... + a_m with a_1 >= ... >= a_m >= 1 is convex if a_j >= floor(a_i + (a_k - a_i)*(j-i)/(k-i)) whenever 1 <= i < j < k <= m.
Can anyone supply a generating function or asymptotic formula?
LINKS
Vaclav Kotesovec, Table of n, a(n) for n = 0..500
Sergi Elizalde and Alejandro B. Galván, Triangular partitions: enumeration, structure, and generation, arXiv:2312.16353 [math.CO], 2023. Mentions this sequence.
Eric Weisstein's World of Mathematics, Ferrers Diagram.
EXAMPLE
The only partition of 5 which is not convex is 5 = 3 + 1 + 1, so a(5) = A000041(5) - 1 = 6.
MATHEMATICA
f[1, 1, 0, 0]=1; f[n_, m_, r_, s_] := Module[{nn, rr, ss}, If[GCD[r, s]!=1||2r*n>(m+1)(2r+s*m)||(nn=n-m*s+(r+1)(s-1)/2)<m-r, 0, f[n, m, r, s]=Sum[If[s*rr>=r*ss, f[nn, m-r, rr, ss], 0], {rr, 0, m-r-1}, {ss, 0, nn-m+r}]]]; a[n_] := Module[{r, s}, If[n<=1, 1, Sum[f[n, m, r, s], {m, 1, n}, {r, 0, m-1}, {s, 0, n-m}]]] (* f[n, m, r, s] = number of convex partitions of n into m parts, with bottom slope of convex hull equal to r/s *)
CROSSREFS
KEYWORD
nonn
AUTHOR
Dean Hickerson, Aug 29 2002
STATUS
approved