BZOJ 3878 【AHOI2014】 奇怪的計算器

題目連接：奇怪的計算器

　　若是沒有溢出的話，全部的標記均可以在線段樹上直接維護，因此一棵線段樹就解決問題了。

　　如今有了溢出，怎麼辦呢？

　　發現就算溢出了，各個元素的相對大小關係也是不變的。因此，若是一開始就把元素排好序，溢出的數必定是兩段區間。在線段樹上把這兩段區間找出來，區間賦值就行了。固然也須要多記錄區間\(\max\)和區間\(\min\)。

　　PS：注意各個標記的前後關係

　　下面貼代碼(代碼較醜)：

#include<iostream>
#include<cstdio>
#include<cstring>
#include<algorithm>
#include<cmath>
#define File(s) freopen(s".in","r",stdin),freopen(s".out","w",stdout)
#define maxn 100010
#define MAXN maxn<<2

using namespace std;
typedef long long llg;

struct data{
	int x,b;
	bool operator < (const data &h)const{return x<h.x;}
}b[maxn],s[maxn];
int n,m,ZL,ZR,a[maxn],ans[maxn];
llg maxv[MAXN],minv[MAXN],che[MAXN];
llg add1[MAXN],add2[MAXN],set[MAXN];

int getint(){
	int w=0;bool q=0;
	char c=getchar();
	while((c>'9'||c<'0')&&c!='-') c=getchar();
	if(c=='-') c=getchar(),q=1;
	while(c>='0'&&c<='9') w=w*10+c-'0',c=getchar();
	return q?-w:w;
}

void gch(int u,int x){minv[u]*=x,maxv[u]*=x,che[u]*=x;}
void ga1(int u,int x){minv[u]+=x,maxv[u]+=x,add1[u]+=x;}
void gset(int u,int x){
	set[u]=maxv[u]=minv[u]=x;
	add1[u]=add2[u]=0; che[u]=1;
}

void pushdown(int u,int l,int r){
	int lc=u<<1,lv=u<<1|1,mid=(l+r)>>1;
	if(set[u]) gset(lc,set[u]),gset(lv,set[u]);
	if(che[u]>1) gch(lc,che[u]),gch(lv,che[u]);
	if(add1[u]) ga1(lc,add1[u]),ga1(lv,add1[u]);
	if(add2[u]){
		minv[lc]+=add2[u]*a[l];  maxv[lc]+=add2[u]*a[mid];
		minv[lv]+=add2[u]*a[mid+1],maxv[lv]+=add2[u]*a[r];
		add2[lc]+=add2[u],add2[lv]+=add2[u];
	}
	set[u]=add1[u]=add2[u]=0; che[u]=1;
}

void update(int u){minv[u]=minv[u<<1],maxv[u]=maxv[u<<1|1];}
void build(int u,int l,int r){
	int lc=u<<1,lv=u<<1|1,mid=(l+r)>>1; che[u]=1;
	if(l==r){maxv[u]=minv[u]=a[l];return;}
	build(lc,l,mid),build(lv,mid+1,r);
	update(u);
}

void queryl(){
	if(maxv[1]<=ZL){gset(1,ZL);return;}
	int u=1,l=1,r=m,mid;
	while(l!=r){
		pushdown(u,l,r);
		mid=(l+r)>>1; u<<=1;
		if(maxv[u]>=ZL) r=mid;
		else gset(u,ZL),l=mid+1,u^=1;
	}
	while(u>1) u>>=1,update(u);
}

void queryr(){
	if(minv[1]>=ZR){gset(1,ZR);return;}
	int u=1,l=1,r=m,mid;
	while(l!=r){
		pushdown(u,l,r);
		mid=(l+r)>>1; u<<=1; u|=1;
		if(minv[u]<=ZR) l=mid+1;
		else gset(u,ZR),r=mid,u^=1;
	}
	while(u>1) u>>=1,update(u);
}

void dfs(int u,int l,int r){
	int lc=u<<1,lv=u<<1|1,mid=(l+r)>>1;
	if(l==r) ans[s[l].b]=maxv[u];
	else{
		pushdown(u,l,r);
		dfs(lc,l,mid),dfs(lv,mid+1,r);
	}
}

int main(){
	File("a");
	n=getint(),ZL=getint(),ZR=getint();
	for(int i=1;i<=n;i++){
		char c=getchar();
		while(c!='+' && c!='-' && c!='*' && c!='@') c=getchar();
		b[i].x=getint();
		if(c=='+') b[i].b=1; if(c=='-') b[i].b=2;
		if(c=='*') b[i].b=3; if(c=='@') b[i].b=4;
	}
	m=getint();
	for(int i=1;i<=m;i++) s[i].x=getint(),s[i].b=i;
	sort(s+1,s+m+1);
	for(int i=1;i<=m;i++) a[i]=s[i].x;
	build(1,1,m);
	dfs(1,1,m);
	for(int i=1,x,tp;i<=n;i++){
		tp=b[i].b,x=b[i].x;
		if(tp==1) ga1(1,x); if(tp==2) ga1(1,-x); if(tp==3) gch(1,x);
		if(tp==4) add2[1]+=x,minv[1]+=1ll*a[1]*x,maxv[1]+=1ll*a[m]*x;
		queryl(); queryr();
		//dfs(1,1,m);
	}
	dfs(1,1,m);
	for(int i=1;i<=m;i++) printf("%d\n",ans[i]);
	return 0;
}