BZOJ4293 [PA2015]Siano

看题第一反应：区间加固定数列，区间取min？

仔细想想，发现顺序其实无所谓，那么我们不妨按a排序

这样的话不管怎样数列都是单调不降的，每次取min影响的也只有一段后缀

那么就变成了加固定数列和赋值

在线段树上爬找到赋值的分界点即可

#include<iostream>
#include<cstring>
#include<ctime>
#include<cmath>
#include<algorithm>
#include<iomanip>
#include<cstdlib>
#include<cstdio>
#include<map>
#include<bitset>
#include<set>
#include<stack>
#include<vector>
#include<queue>
using namespace std;
#define MAXN 500010
#define MAXM 1010
#define ll long long
#define eps 1e-8
#define MOD 1000000007
#define INF 1000000000
int a[MAXN];
int n,m;
ll s[MAXN<<2],mn[MAXN<<2],mx[MAXN<<2];
ll as[MAXN<<2],amn[MAXN<<2],amx[MAXN<<2];
ll ch[MAXN<<2],col[MAXN<<2];
void build(int x,int y,int z){
	col[x]=-1;
	if(y==z){
		as[x]=amn[x]=a[y];
		return ;
	}
	int mid=y+z>>1;
	build(x<<1,y,mid);
	build(x<<1|1,mid+1,z);
	as[x]=as[x<<1]+as[x<<1|1];
	amn[x]=a[y];
	amx[x]=a[z];
}
inline void toch(int x,ll y){
	ch[x]+=y;
	s[x]+=as[x]*y;
	mn[x]+=amn[x]*y;
	mx[x]+=amx[x]*y;
}
inline void tocol(int x,int y,int z,ll cv){
	s[x]=cv*(z-y+1);
	mx[x]=mn[x]=col[x]=cv;
	ch[x]=0;
}
inline void pd(int x,int y,int z){
	int mid=y+z>>1;
	if(col[x]!=-1){
		tocol(x<<1,y,mid,col[x]);
		tocol(x<<1|1,mid+1,z,col[x]);
		col[x]=-1;
	}
	if(ch[x]){
		toch(x<<1,ch[x]);
		toch(x<<1|1,ch[x]);
		ch[x]=0;
	}
}
ll fc(int x,int y,int z,ll lim){
	if(mn[x]>=lim){
		ll re=s[x];
		tocol(x,y,z,lim);
		re-=s[x];
		return re;
	}
	if(mx[x]<lim){
		return 0;
	}
	pd(x,y,z);
	int mid=y+z>>1;
	ll re=fc(x<<1,y,mid,lim)+fc(x<<1|1,mid+1,z,lim);
	s[x]=s[x<<1]+s[x<<1|1];
	mx[x]=max(mx[x<<1],mx[x<<1|1]);
	mn[x]=min(mn[x<<1],mn[x<<1|1]);
	return re;
}
int main(){
	int i;
	ll x,y;
	scanf("%d%d",&n,&m);
	for(i=1;i<=n;i++){
		scanf("%d",&a[i]);
	}
	sort(a+1,a+n+1);
	build(1,1,n);
	ll lst=0;
	for(i=1;i<=m;i++){
		scanf("%lld%lld",&x,&y);
		toch(1,x-lst);
		lst=x;
		printf("%lld\n",fc(1,1,n,y));
	}
	return 0;
}

/*
2 2
3 4
3 10
4 7


*/