E. Mark and Professor Koro

7.16

E. Mark and Professor Koro

大意就是两个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;