莫队+st表
据说这是经典问题，但是我不会。。。
问题在于莫队怎么算贡献，每次移动一个位置，现在为[l,r],那么就增加了[l-1,r),r的贡献，怎么算呢？我们预处理fl,fr,fl[i]表示以i为开头的前缀和，fr表示以i为结尾的后缀和，这个东西能够相减，但也不是完全满足
每次我们计算贡献的时候，设最小值的位置为p，那么对于右端点来说，贡献就是fr[r]-fr[p]+(p - l + 1) * a[p],这也是因为不完全满足可减性，因为求前缀和是fr[i]=(i - l[i] + 1) * a[i] + fr[l[i]-1],那么满足可减性是在每个l[i]的时候可以减，又因为p作为最小值肯定是处于一个l的位置，那么就能减了，而到l的贡献就是p作为最小值。
理解得还不是很透彻 我一直以为我的单调栈是左闭右闭的，竟然是左开右闭的
#includeusing namespace std;typedef long long ll;const int N = 1e5 + 5;int n, m, block, l = 1, r, top;ll sum;int st[N], Log[N], f[N][18], L[N], R[N];ll fl[N], fr[N], a[N], ans[N];struct query { int l, r, id; bool friend operator < (const query &a, const query &b) { return (a.l - 1) / block == (b.l - 1) / block ? a.r < b.r : (a.l - 1) / block < (b.l - 1) / block; }} q[N];inline int rd(){ int x = 0, f = 1; char c = getchar(); while(c < '0' || c > '9') { if(c == '-') f = -1; c = getchar(); } while(c >= '0' && c <= '9') { x = x * 10 + c - '0'; c = getchar(); } return x * f;} int Min(int x, int y){ return a[x] < a[y] ? x : y;}int rmq(int l, int r){ int x = Log[r - l + 1]; return Min(f[l][x], f[r - (1 << x) + 1][x]);}void addl(int l, int r, ll f){ int p = rmq(l, r); sum += f * (fl[l] - fl[p] + a[p] * (ll)(r - p + 1));}void addr(int l, int r, ll f){ int p = rmq(l, r); sum += f * (fr[r] - fr[p] + a[p] * (ll)(p - l + 1));}int main(){ n = rd(); m = rd(); block = sqrt(n); for(int i = 1; i <= n; ++i) { a[i] = rd(); f[i][0] = i; } for(int i = 2; i <= n; ++i) Log[i] = Log[i >> 1] + 1; for(int j = 1; j <= 17; ++j) for(int i = 1; i + (1 << j) <= n + 1; ++i) f[i][j] = Min(f[i][j - 1], f[i + (1 << (j - 1))][j - 1]); for(int i = 1; i <= m; ++i) { q[i].l = rd(); q[i].r = rd(); q[i].id = i; } sort(q + 1, q + m + 1); for(int i = 1; i <= n; ++i) { L[i] = R[i] = i; while(top && a[st[top]] > a[i]) { R[st[top - 1]] = R[st[top]]; L[i] = L[st[top]]; --top; } st[++top] = i; } while(top) { R[st[top - 1]] = R[st[top]]; --top; } for(int i = 1; i <= n; ++i) fr[i] = fr[L[i] - 1] + (ll)(i - L[i] + 1) * a[i]; for(int i = n; i; --i) fl[i] = fl[R[i] + 1] + (ll)(R[i] - i + 1) * a[i]; l = 1; r = 0; for(int i = 1; i <= m; ++i) { while(r < q[i].r) addr(l, ++r, 1); while(r > q[i].r) addr(l, r--, -1); while(l < q[i].l) addl(l++, r, -1); while(l > q[i].l) addl(--l, r, 1); ans[q[i].id] = sum; } for(int i = 1; i <= m; ++i) printf("%lld\n", ans[i]); return 0;}
莫队一定要先动r