已知 f0(l,r)f_0(l,r)f0(l,r),且 fi(l,r)=∑l′=lr∑r′=l′rfi−1(l,r)f_i(l,r) = \sum\limits_{l'=l}^r \sum\limits_{r'=l'}^r f_{i-1}(l,r)fi(l,r)=l′=l∑rr′=l′∑rfi−1(l,r)。
要求 fk(1,n)f_k(1,n)fk(1,n)。
那么考虑 f0(l,r)f_0(l,r)f0(l,r) 对答案贡献,下标每加一意味着可以把 [l,r][l,r][l,r] 往外拓展,但不能超过 [1,n][1,n][1,n]。
每次 lll 可以拓展 [0,l−1][0,l-1][0,l−1] 位,然后可以拓展 kkk 次,这应该可以看成一个不上升序列,值域为 [1,l][1,l][1,l],长度为 kkk。
那么答案不应该是 (l−1+kl−1)\binom{l-1+k}{l-1}(l−1l−1+k) 吗,为啥题解里答案是 (l−1+k−1k−1)\binom{l-1+k-1}{k-1}(k−1l−1+k−1)?