acm-(思维,构造,转化,序列)Codeforces Round #672 (Div. 2) C2. Pokémon Army (hard version)

传送门

最开始的想法很简单，观察这个正负交替的式子可以发现可以这样配对${\mathbf{a}}_{{\mathbf{b}}_1}+({\mathbf{a}}_{{\mathbf{b}}_3}-{\mathbf{a}}_{{\mathbf{b}}_2})+({\mathbf{a}}_{{\mathbf{b}}_5}-{\mathbf{a}}_{{\mathbf{b}}_4})+...+({\mathbf{a}}_{{\mathbf{b}}_{\mathbf{k}}}-{\mathbf{a}}_{{\mathbf{b}}_{\mathbf{k}-1}})$。显然括号中的值是大于等于0的。如果把数组中每个元素用点表示$(\mathbf{i},\mathbf{a}[\mathbf{i}])$，那么一定会呈现出如下图1的形式：

观察这个图，容易发现${\mathbf{a}}_{{\mathbf{b}}_1}=①,{\mathbf{a}}_{{\mathbf{b}}_2}=②...$，这些元素都具有一个共性，那就是处于一个转折点处。但这个想法很初步，并且不太容易解决动态修改的问题。
尝试着进一步转化，我们发现在枚举i的过程中，其实只要满足$\mathbf{a}[\mathbf{i}]-\mathbf{a}[\mathbf{i}-1]>=0$我们就加到ans里去即可。对于${\mathbf{a}}_1$而言，我们在它前面添加一个元素${\mathbf{a}}_0=0$即可。如果仔细想一下就会发现这样做是等价于上图的计算方式的。还可以把这个方法写成一个数学表达式，即 a n s = ∑ i = 1 n m a x { 0 , a [ i ] − a [ i − 1 ] } \mathbf{ans=\sum_{i=1}^{n}max\{0,a[i]-a[i-1]\}} ans=∑i=1n​max{0,a[i]−a[i−1]}那么每个元素的贡献就非常单纯了，也就是 m a x { 0 , a [ i ] − a [ i ] − a [ i − 1 ] } \mathbf{max\{0,a[i]-a[i]-a[i-1]\}} max{0,a[i]−a[i]−a[i−1]}，如果修改的话就可以直接减去该元素原来的贡献，然后加上该元素更新后的贡献。注意对于$\mathbf{r}-\mathbf{l}\le 1$的情况需要特判一下。

int n,a[maxn];
void add(int x,ll &ans,bool fg){//加上一个元素的贡献 
	if(!fg)ans+=max(0,a[x]-a[x-1]);
	if(x!=n)ans+=max(0,a[x+1]-a[x]);
}
void del(int x,ll &ans,bool fg){//减去一个元素的贡献 
	if(!fg)ans-=max(0,a[x]-a[x-1]);
	if(x!=n)ans-=max(0,a[x+1]-a[x]);
}
int main(){
	int t;
	rd(&t);
	while(t--){
		int q;
		rd(&n,&q);
		ll ans=0;
		FOR(i,1,n+1){
			rd(&a[i]);
			ans+=max(0,a[i]-a[i-1]);
		}
		wrn(ans);
		while(q--){
			int l,r;
			rd(&l,&r);
			if(l==r){//特判 
				wrn(ans);
				continue;
			}
			if(l+1==r){//特判 
				del(l,ans,false);
				del(r,ans,true); 
				swap(a[l],a[r]);
				add(l,ans,false);
				add(r,ans,true); 
			}else{
				del(l,ans,false);//减去旧的l对ans的贡献 
				del(r,ans,false);//减去旧的r对ans的贡献 
				swap(a[l],a[r]);
				add(l,ans,false);//加上新的l对ans的贡献 
				add(r,ans,false);//加上新的r对ans的贡献 
			}
			wrn(ans);
		}
	}
}