合法的 $x, y$ 需要存在 $c_{lc,x}\le t \le c_{lc,x+1}-1$，使得 $c_{rc,y}\le t+sum_{lc}-xp\le c_{rc,y+1}-1$，则 $c_{p, x+y} = \min(c_{p,x+y},\min t)$。 整理后，等价于 $[c_{rc, y}, c_{rc, y+1}-1]$ 与 $[c_{lc,x}- xp + sum_{lc}, c_{lc,x+1}-1-xp+sum_{lc}]$ 有交，贡献取最左的。

转化为有两个区间，

第一个区间（$x$）滑动的左、右端点单增，且前一个区间的右端点与后一个区间的左端点之间距离为 $p$。

第二个区间（$y$）滑动的所有区间布满值域且互不相交。

区间滑动

第一篇线段树题解提到了 Ynoi 程序的 if(y != 0) y --;。

我认为

因为 $c_{lc, x + 1}$ 的左端点在 $c_{lc, x}$ 的右端点左侧 $p$ 处，所以从 $y-1$ 开始是避免如下情况。

Q

万一 $c_{rc, y}$ 包含了 $c_{lc, x}$ 末 $p$ 个，那 $y-1$ 不就和 $c_{lc, x+1}$ 没有交了吗？

题解里面只判了 $y$ 在 $x$ 前面，没有判 $y$ 在 $x$ 后面的情况。