7.16
大意就是两个x可以合成一个x+1，问给定一堆数，然后每一次操作 x d 令a[x]=d,然后求出当前数所能造出来的最大数。
方法就是维护一个很长的二进制数的每一位，a[x]=1表示x处可以被合成。然后模拟二进制上的加减法。
重点是线段树上的函数，一开始写了两个log，就是二分再查，然后T了。因此又强化了一下自己线段树上二分的函数写法：
我们可以发现首先要判断端点，然后如果要查最左边，就让左边先搜，否则就让右边先搜。
int ask1(int u,int x){
if(tr[u].r<x||tr[u].sum==0) return -1;
if(tr[u].l==tr[u].r) return tr[u].l;
push_down(u);
int t=ask1(u<<1,x);
if(~t) return t;
return ask1(u<<1|1,x);
}
int ask0(int u,int x){
if(tr[u].r<x||tr[u].r-tr[u].l+1-tr[u].sum==0)
return -1;
if(tr[u].l==tr[u].r) return tr[u].l;
push_down(u);
int t=ask0(u<<1,x);
if(~t) return t;
return ask0(u<<1|1,x);
}
Code:
struct Segment_Tree{
struct Node{
int l,r;
int sum,rev;
}tr[N<<2];
void push_up(int u){
tr[u].sum=tr[u<<1].sum+tr[u<<1|1].sum;
}
void rev(Node &u){
u.sum=u.r-u.l+1-(u.sum);
u.rev^=1;
}
void push_down(int u){
if(tr[u].rev){
rev(tr[u<<1]);
rev(tr[u<<1|1]);
}
tr[u].rev=0;
}
void build(int u,int l,int r){
tr[u]={
l,r,0,0};
if(l==r) return ;
int mid=l+r>>1;
build(u<<1,l,mid); build(u<<1|1,mid+1,r);
push_up(u);
}
void modify(int u,int l,int r){
if(tr[u].l>=l&&tr[u].r<=r){
rev(tr[u]);
return ;
}
push_down(u);
int mid=tr[u].l+tr[u].r>>1;
if(l<=mid) modify(u<<1,l,r);
if(r>mid) modify(u<<1|1,l,r);
push_up(u);
}
int query(int u,int pos){
if(tr[u].l==tr[u].r) return tr[u].sum;
push_down(u);
int mid=tr[u].l+tr[u].r>>1;
if(pos<=mid) return query(u<<1,pos);
else return query(u<<1|1,pos);
}
int ask1(int u,int x){
if(tr[u].r<x||tr[u].sum==0) return -1;
if(tr[u].l==tr[u].r) return tr[u].l;
push_down(u);
int t=ask1(u<<1,x);
if(~t) return t;
return ask1(u<<1|1,x);
}
int ask0(int u,int x){
if(tr[u].r<x||tr[u].r-tr[u].l+1-tr[u].sum==0)
return -1;
if(tr[u].l==tr[u].r) return tr[u].l;
push_down(u);
int t=ask0(u<<1,x);
if(~t) return t;
return ask0(u<<1|1,x);
}
int ans(int u){
if(tr[u].l==tr[u].r) return tr[u].l;
push_down(u);
int mid=tr[u].l+tr[u].r>>1;
if(tr[u<<1|1].sum) return ans(u<<1|1);
return ans(u<<1);
}
void add(int x){
int l=ask0(1,x);
modify(1,l,l);
if(l-1>=x) modify(1,x,l-1);
}
void minus(int x){
int r=ask1(1,x);
modify(1,r,r);
if(r-1>=x) modify(1,x,r-1);
}
}T;