[bzoj 4942][noi 2017]整数【線分樹】
3896 ワード
【テーマの説明】
http://www.lydsy.com/JudgeOnline/upload/Noi2017D1.pdf
【題解】
各操作は進退せずに暴力的に修正します.そうでないと線分樹で次の退位できるところを見つけて、中間部分を反転します.(0は1、1は0になります.)
30のバイナリビットをまとめて保存します.このように修正すると最大2回まで後退します.複雑度O(n logn)
http://www.lydsy.com/JudgeOnline/upload/Noi2017D1.pdf
【題解】
各操作は進退せずに暴力的に修正します.そうでないと線分樹で次の退位できるところを見つけて、中間部分を反転します.(0は1、1は0になります.)
30のバイナリビットをまとめて保存します.このように修正すると最大2回まで後退します.複雑度O(n logn)
/* --------------
user Vanisher
problem bzoj-4942
----------------*/
# include
# define ll long long
# define N 1000100
# define inf (1<<30)
using namespace std;
int read(){
int tmp=0, fh=1; char ch=getchar();
while (ch'9'){if (ch=='-') fh=-1; ch=getchar();}
while (ch>='0'&&ch<='9'){tmp=tmp*10+ch-'0'; ch=getchar();}
return tmp*fh;
}
struct Tree{
int pl,pr,l,r,tag,num0,num1;
}T[N*3];
int now[N],n,place,rt;
int build(int l, int r){
int p=++place;
T[p].l=l; T[p].r=r;
T[p].num0=0; T[p].num1=r-l+1;
if (l!=r){
int mid=(l+r)/2;
T[p].pl=build(l,mid);
T[p].pr=build(mid+1,r);
}
return p;
}
void pushtag(int p){
if (T[p].tag%2!=0){
swap(T[p].num0,T[p].num1);
if (T[p].l!=T[p].r) T[T[p].pl].tag++, T[T[p].pr].tag++;
else now[T[p].l]=inf-1-now[T[p].l];
}
T[p].tag=0;
}
void reser(int p, int l, int r){
pushtag(p);
if (T[p].l==l&&T[p].r==r){
T[p].tag++; return;
}
int mid=(T[p].l+T[p].r)/2;
if (mid>=r) reser(T[p].pl,l,r);
else if (mid=x) join1(T[p].pl,x); else join1(T[p].pr,x);
}
}
void join0(int p, int x){
pushtag(p); T[p].num0--;
if (T[p].l!=T[p].r){
int mid=(T[p].l+T[p].r)/2;
if (mid>=x) join0(T[p].pl,x); else join0(T[p].pr,x);
}
}
void del1(int p, int x){
pushtag(p); T[p].num1++;
if (T[p].l!=T[p].r){
int mid=(T[p].l+T[p].r)/2;
if (mid>=x) del1(T[p].pl,x); else del1(T[p].pr,x);
}
}
void del0(int p, int x){
pushtag(p); T[p].num0++;
if (T[p].l!=T[p].r){
int mid=(T[p].l+T[p].r)/2;
if (mid>=x) del0(T[p].pl,x); else del0(T[p].pr,x);
}
}
void getdown(int p, int x){
pushtag(p);
if (T[p].l==T[p].r) return;
int mid=(T[p].l+T[p].r)/2;
if (x<=mid) getdown(T[p].pl,x);
else getdown(T[p].pr,x);
}
int findnex0(int p, int l){
pushtag(p);
if (T[p].num0==0) return -1;
if (T[p].l==T[p].r&&T[p].num0==1) return T[p].l;
int mid=(T[p].l+T[p].r)/2,k;
if (T[p].l<=l){
if (l<=mid){
k=findnex0(T[p].pl,l);
if (k!=-1) return k;
return findnex0(T[p].pr,l);
}
else return findnex0(T[p].pr,l);
}
else {
pushtag(T[p].pl); pushtag(T[p].pr);
if (T[T[p].pl].num0!=0)
return findnex0(T[p].pl,l);
else return findnex0(T[p].pr,l);
}
}
int findnex1(int p, int l){
pushtag(p);
if (T[p].num1==0) return -1;
if (T[p].l==T[p].r&&T[p].num1==1) return T[p].l;
int mid=(T[p].l+T[p].r)/2,k;
if (T[p].l<=l){
if (l<=mid){
k=findnex1(T[p].pl,l);
if (k!=-1) return k;
return findnex1(T[p].pr,l);
}
else return findnex1(T[p].pr,l);
}
else {
pushtag(T[p].pl); pushtag(T[p].pr);
if (T[T[p].pl].num1!=0)
return findnex1(T[p].pl,l);
else return findnex1(T[p].pr,l);
}
}
void modify(int p, int num){
if (num==0) return;
getdown(rt,p);
if (now[p]==inf-1) del1(rt,p);
if (now[p]==0) del0(rt,p);
now[p]=now[p]+num;
if (now[p]>=inf) {
now[p]=now[p]-inf;
int nex=findnex1(rt,p+1);
if (p+1<=nex-1) reser(rt,p+1,nex-1);
modify(nex,1);
}
if (now[p]<0) {
now[p]=now[p]+inf;
int nex=findnex0(rt,p+1);
if (p+1<=nex-1) reser(rt,p+1,nex-1);
modify(nex,-1);
}
if (now[p]==inf-1) join1(rt,p);
if (now[p]==0) join0(rt,p);
}
int main(){
n=read();
int t1=read(), t2=read(), t3=read(),tmp1,tmp2,a,b,opt,fh;
rt=build(0,n);
for (int i=1; i<=n; i++){
opt=read();
if (opt==1){
a=read(), b=read();
if (a<0) fh=-1,a=-a; else fh=1;
tmp1=(a%(1<>(30-b%30);
modify(b/30,tmp1*fh); modify(b/30+1,tmp2*fh);
}
else {
a=read();
getdown(rt,a/30);
if ((now[a/30]&(1<