式子表达ds类——多用位置/值域表示未知数+区间覆盖转区间加：CF407E

https://www.luogu.com.cn/problem/CF407E

多用位置/值域表示未知数

推出的式子中 $n$ 表示长度，应该直接换成 $r-l+1$

区间覆盖转区间加

推出的式子有 $mx,mn$，朴素思路是用单调队列+区间覆盖维护

那样就不能很方便地维护差

但既然都单调队列了，为什么不直接转区间加呢？

#include<bits/stdc++.h>
using namespace std;
inline int read(){int x=0,f=1;char ch=getchar(); while(ch<'0'||
ch>'9'){if(ch=='-')f=-1;ch=getchar();}while(ch>='0'&&ch<='9'){
x=(x<<1)+(x<<3)+(ch^48);ch=getchar();}return x*f;}
#define Z(x) (x)*(x)
#define pb push_back
#define N 200010
struct Node{int l, r, x; } t;
int n, m, i, j, k, T, d;
stack<Node>q1, q2; 
int a[N], lst[N], mn, mx, l, r, rt; 
map<int, int>mp; void sol1() {for(i=1; i<=n; ++i) {a[i]=read(); if(i>1 && a[i]!=a[i-1]) j=0; ++j; if(j>mx) mx=j, l=i-mx+1, r=i; }printf("%d %d", l, r); 
}struct Segment_tree {int tot, ls[N<<2], rs[N<<2], mn[N<<2], tag[N<<2]; void push_up(int k) {mn[k]=min(mn[ls[k]], mn[rs[k]]); }void jia(int k, int z) {tag[k]+=z; mn[k]+=z; }void push_down(int k) {jia(ls[k], tag[k]); jia(rs[k], tag[k]); tag[k]=0; }void build(int &k, int l, int r) {if(!k) k=++tot; if(l==r) return mn[k]=-d*l, void(); int mid=(l+r)>>1; build(ls[k], l, mid); build(rs[k], mid+1, r); push_up(k); }void add(int k, int l, int r, int x, int y, int z) {if(l>=x && r<=y) return jia(k, z), void(); int mid=(l+r)>>1; push_down(k); if(x<=mid) add(ls[k], l, mid, x, y, z); if(y>=mid+1) add(rs[k], mid+1, r, x, y, z); push_up(k); }int que(int k, int l, int r, int x, int y, int z) {if(l>=x && r<=y && mn[k]>z) return -1; if(l==r) return mn[k]<=z ? l : -1; int mid=(l+r)>>1, flg=-1; push_down(k); if(y>=mid+1) flg=que(rs[k], mid+1, r, x, y, z); if(flg!=-1) return flg; return que(ls[k], l, mid, x, y, z); }
}Seg;signed main()
{n=read(); m=read(); d=read(); if(d==0) return sol1(), 0; for(i=1; i<=n; ++i) {a[i]=read(); lst[i]=n; if(mp[a[i]]) lst[mp[a[i]]]=i-1; mp[a[i]]=i; }for(i=2; i<=n; ++i) if(abs(a[i]-a[i-1])%d) lst[i-1]=i-1; for(i=n-1; i>=1; --i) lst[i]=min(lst[i], lst[i+1]); Seg.build(rt, 1, n); for(i=n, j=0; i>=1; --i) {l=r=i; while(!q1.empty() && a[i]>=q1.top().x) {t=q1.top(); q1.pop(); r=t.r; Seg.add(1, 1, n, t.l, t.r, -t.x); }q1.push({l, r, a[i]}); Seg.add(1, 1, n, l, r, a[i]); l=r=i; while(!q2.empty() && a[i]<=q2.top().x) {t=q2.top(); q2.pop(); r=t.r; Seg.add(1, 1, n, t.l, t.r, t.x); }q2.push({l, r, a[i]}); Seg.add(1, 1, n, l, r, -a[i]); k=Seg.que(1, 1, n, i, lst[i], d*m-d*i); if(k-i+1>=mx) mx=k-i+1, j=i; }printf("%d %d", j, j+mx-1); return 0;
}