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

本文搬运自本人高中时期CSDN博客，若图片加载不出来，可到原文查看：https://blog.csdn.net/zhangtingxiqwq/article/details/133749252

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

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

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

区间覆盖转区间加

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

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

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

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
#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;
}