2023NOIP A层联测9 风信子

本文主要是介绍2023NOIP A层联测9 风信子，希望对大家解决编程问题提供一定的参考价值，需要的开发者们随着小编来一起学习吧！

题目大意

有一个长度为 $n$ 的序列 $a$ 。

定义一个合法的二元组 $(i, j)$ 满足 $i, j$ 为整数且 $i\leq j$ ，合法二元组的分数为 $a_i-a_j$ 。定义一个合法二元组 $(i, j)$ 在区间 $[l, r]$ 内，当且仅当 $l\leq i,j\leq r$ 。

有 $m$ 次操作，每次操作有两个类型：

1 l r x：表示将 $a$ 中第 $l$ 个位置到第 $r$ 个位置加 $x$
2 l r k：表示询问选出 $k$ 个在区间 $[l, r]$ 内不同的二元组 $(i, j)$ 的最大分数和是多少

$1\leq n,m\leq 10^5,-10^6\leq a_i,x\leq 10^6,\sum k\leq 3\times 10^5$

数据保证 $[l, r]$ 中至少有 $k$ 个合法二元组。

题解

我们先考虑 $k = 1$ 的情况。也就是说，要在区间 $[l, r]$ 中找到一个合法二元组 $(i, j)$ 使得 $a_i-a_j$ 最大。

可以用线段树解决。线段树维护三个值：区间最大值 $m x$ ，区间最小值 $mn$ ，区间最大答案 $an s$ 。

那么，对于一个点 $p$ ， $ans_p=\max(ans_{ls},ans_{rs},mx_{ls}-mn_{rs})$

当整体加上某个值的时候，若一个区间内都需要加，则最大值 $m x$ 和最小值 $mn$ 增加，但因为答案是两个 $a$ 的差，所以最大答案 $an s$ 不变。

这样，我们就解决了 $k = 1$ 的情况。。

我们可以用一个结构体来表示 $i\in[l_1,r_1]$ 且 $j\in[l_2,r_2]$ 并存储其最优的一组合法二元组 $(i, j)$ 以及其分数，我们可以把这些 $(i, j)$ 看成一个矩形。每次处理完一个矩形，就将这个矩形分成不包括最优合法二元组多个矩形继续来求，此时能保证原矩形分成的多个矩形中每个矩形的最优合法二元组的分数都不超过原矩形的分数。可以用优先队列，按最优合法二元组的分数从大到小排序，选了 $k$ 个最优合法二元组并计算贡献之后就不需要再选了。

一般的矩形是不好求解答案的，不过有两种矩形可以：

左右端点所属区间完全重合，此时用上面 $k = 1$ 的做法即可得到答案
左右端点所属区间没有交集，此时求左边的最大值和右边的最小值，作差即可得到答案

显然题意要询问的就是第一种矩形。

那能不能在每次分裂的时候都将矩形分裂为这两种矩形呢？是可以的。

对于第一种矩形， $i,j\in[l,r]$ ，假设最优解位于 $(x, y)$ ，我们可以将这个矩形分为如下几种矩形：

$i\in[l,x-1],j\in[l,x-1]$ ，需满足 $x > l$
$i\in[l,x-1],j\in[x,r]$ ，需满足 $x > l$
$i\in[x,x],j\in[x,x]$ ，需满足 $x\neq y$
$i\in[x,x],j\in[x+1,y-1]$ ，需满足 $x < y - 1$
$i\in[x,x],j\in[y+1,r]$ ，需满足 $y < r$
$i\in[x+1,r],j\in[x+1,r]$ ，需满足 $x < r$

对于第二种矩形， $i\in[l_1,r_1],j\in[l_2,r_2]$ ，假设最优解位于 $(x, y)$ ，我们可以将这个矩形分为如下几种矩形：

$i\in[l_1,x-1],j\in[l_2,r_2]$ ，需满足 $x>l_1$
$i\in[x,x],j\in[l_2,y-1]$ ，需满足 $l_2<y$
$i\in[x,x],j\in[y+1,r_2]$ ，需满足 $y<r_2$
$i\in[x+1,r_1],j\in[l_2,r_2]$ ，需满足 $x<r_1$

这样，问题就解决了。

时间复杂度为 $O(n\log n+(\sum k)(\log n+\log(\sum k)))$ 。

code

#include<bits/stdc++.h>
#define lc k<<1
#define rc k<<1|1
using namespace std;
const int N=100000;
int n,m,mxl,wl,wr,mxw[4*N+5],mnw[4*N+5],cl[4*N+5],cr[4*N+5];
long long ans,mxd,zl,zr,a[N+5],mx[4*N+5],mn[4*N+5],tr[4*N+5],ly[4*N+5];
struct node{int l1,r1,l2,r2,z,x,y;long long vl;bool operator<(const node ax)const{return vl<ax.vl;}
};
priority_queue<node>q;
void up(int k){if(mx[lc]>mx[rc]) mx[k]=mx[lc],mxw[k]=mxw[lc];else mx[k]=mx[rc],mxw[k]=mxw[rc];if(mn[lc]<mn[rc]) mn[k]=mn[lc],mnw[k]=mnw[lc];else mn[k]=mn[rc],mnw[k]=mnw[rc];tr[k]=max(max(tr[lc],tr[rc]),mx[lc]-mn[rc]);if(tr[k]==tr[lc]) cl[k]=cl[lc],cr[k]=cr[lc];else if(tr[k]==tr[rc]) cl[k]=cl[rc],cr[k]=cr[rc];else cl[k]=mxw[lc],cr[k]=mnw[rc];
}
void build(int k,int l,int r){if(l==r){mx[k]=mn[k]=a[l];mxw[k]=mnw[k]=cl[k]=cr[k]=l;tr[k]=0;return;}int mid=l+r>>1;build(lc,l,mid);build(rc,mid+1,r);up(k);
}
void down(int k){mx[lc]+=ly[k];mn[lc]+=ly[k];ly[lc]+=ly[k];mx[rc]+=ly[k];mn[rc]+=ly[k];ly[rc]+=ly[k];ly[k]=0;
}
void ch(int k,int l,int r,int x,int y,int v){if(l>=x&&r<=y){mx[k]+=v;mn[k]+=v;ly[k]+=v;return;}if(ly[k]) down(k);int mid=l+r>>1;if(x<=mid) ch(lc,l,mid,x,y,v);if(y>mid) ch(rc,mid+1,r,x,y,v);up(k);
}
void find(int k,int l,int r,int x,int y){if(l>=x&&r<=y){ans=max(max(ans,tr[k]),mxd-mn[k]);if(ans==tr[k]) wl=cl[k],wr=cr[k];else if(ans==mxd-mn[k]) wl=mxl,wr=mnw[k];if(mx[k]>mxd) mxd=mx[k],mxl=mxw[k];return;}if(ly[k]) down(k);int mid=l+r>>1;if(x<=mid) find(lc,l,mid,x,y);if(y>mid) find(rc,mid+1,r,x,y);
}
void gtmx(int k,int l,int r,int x,int y){if(l>=x&&r<=y){if(zl<mx[k]) zl=mx[k],wl=mxw[k];return;}if(ly[k]) down(k);int mid=l+r>>1;if(x<=mid) gtmx(lc,l,mid,x,y);if(y>mid) gtmx(rc,mid+1,r,x,y);
}
void gtmn(int k,int l,int r,int x,int y){if(l>=x&&r<=y){if(zr>mn[k]) zr=mn[k],wr=mnw[k];return;}if(ly[k]) down(k);int mid=l+r>>1;if(x<=mid) gtmn(lc,l,mid,x,y);if(y>mid) gtmn(rc,mid+1,r,x,y);
}
void pls(int l1,int r1,int l2,int r2,int z){if(z==1){ans=mxd=-1e18;find(1,1,n,l1,r1);q.push((node){l1,r1,l2,r2,z,wl,wr,ans});}else{zl=-1e18;zr=1e18;gtmx(1,1,n,l1,r1);gtmn(1,1,n,l2,r2);q.push((node){l1,r1,l2,r2,z,wl,wr,zl-zr});}
}
void work(int vl,int vr,int x){pls(vl,vr,vl,vr,1);long long sum=0;for(int o=1;o<=x;o++){node t=q.top();q.pop();sum+=t.vl;int x=t.x,y=t.y;if(t.z==1){int l=t.l1,r=t.r1;if(x>l) pls(l,x-1,l,x-1,1);if(x>l) pls(l,x-1,x,r,2);if(x!=y) pls(x,x,x,x,1);if(x<y-1) pls(x,x,x+1,y-1,2);if(y<r) pls(x,x,y+1,r,2);if(x<r) pls(x+1,r,x+1,r,1);}else{if(x>t.l1) pls(t.l1,x-1,t.l2,t.r2,2);if(t.l2<y) pls(x,x,t.l2,y-1,2);if(y<t.r2) pls(x,x,y+1,t.r2,2);if(x<t.r1) pls(x+1,t.r1,t.l2,t.r2,2);}}printf("%lld\n",sum);while(!q.empty()) q.pop();
}
int main()
{freopen("D.in","r",stdin);freopen("D.out","w",stdout);scanf("%d%d",&n,&m);for(int i=1;i<=n;i++){scanf("%lld",&a[i]);}build(1,1,n);for(int o=1,tp,l,r,x;o<=m;o++){scanf("%d%d%d%d",&tp,&l,&r,&x);if(tp==1) ch(1,1,n,l,r,x);else work(l,r,x);}return 0;
}