Arithmetic（线段树维护历史版本和）
题意：一个多重集合的价值为将其变为公差为 d d d(将在第一行输入)的等差数列需要插入几个数字（无法实现价值为0）。多次询问 l , r l,r l,r，求 [ l , r ] [l,r] [l,r]的子区间的价值和。
序列长度 3 e 5 3e5 3e5，数字大小和 d ≤ 1 e 7 d\leq 1e7 d≤1e7
首先对于 r ′ > r r'>r r′>r， l l l使得 [ l , r ] [l,r] [l,r]是最长的可以实现的区间， l ′ l' l′是使得 [ l ′ , r ′ ] [l',r'] [l′,r′]是最长的可以实现的区间，那么 l ′ ≥ l l' \geq l l′≥l，所以我们可以用双指针扫一遍求出所有可以实现的区间在哪些区间内。
那么对于所有可以实现的区间，我们有一个简单的方法可以计算一个区间 [ l , r ] [l,r] [l,r]构成的集合的价值：
最 大 值 d − 最 小 值 d + l − r \frac {最大值}d - \frac {最小值}d + l - r d最大值−d最小值+l−r
然后就是很套路的在双指针的同时维护两个单调栈，在栈中发生插入和删除操作的同时在线段树上区间加减。
那么如果我们问的是 [ l , r ] [l,r] [l,r]的价值，离线后就是双指针右端点到达 r r r时，单点查询 l l l.
如果问的是 ∑ i = l r [ i , r ] \sum_{i=l}^r [i,r] ∑i=lr[i,r]的价值,那么就是区间查询 l , r l,r l,r
可是我们询问的是 ∑ i = l r ∑ j = i r [ i , j ] \sum_{i=l}^r \sum_{j=i}^r [i,j] ∑i=lr∑j=ir[i,j]的价值和。
这就意味着我们在右端点是 r r r的时候还需要统计到右端点是 r − 1... r-1... r−1...的答案。
所以我们假设右端点在 i i i的时候就是我们线段树的第 i i i个版本。
那么我们相当于就是要求线段树的历史版本区间和 h s u m hsum hsum。
需要增加一个标记 t a g tag tag，这个标记的意义是：
当一个区间打上 t a g + = v tag += v tag+=v时， h s u m + = s u m ∗ v hsum += sum * v hsum+=sum∗v。然后在之后下放给儿子。
考虑这个标记会和区间加 a d d add add标记有不良互动。于是我们让一个区间在同时有 a d d add add和 t a g tag tag时先下放 a d d add add再下放 t a g tag tag。
那么在一个有 a d d add add的点上打 t a g tag tag不会影响先后顺序，没有问题。但是反过来在有 t a g tag tag的点上打 a d d add add后下放这个点的标记就会造成前后颠倒。
那么就把多加的 h s u m hsum hsum减回去，新加一个标记 a d d h addh addh,当一个区间打上 a d d h + = v addh+= v addh+=v时， h s u m + = l e n ∗ v hsum += len * v hsum+=len∗v。然后在之后下放给儿子，这里的len是这个区间的长度。
那么就结束了。
A C C o d e \rm AC \ Code AC Code
#include