uestc 1546 Bracket Sequence （成段更新）

题意：有T（T<10）组测试数据，然后有一个数字N（N<100000），接下来的一行里有N个字符，每个字符是'('或')'，有三种操作（1）"set l r c",表示将区间[l,r]里的所有元素改变为c，c是'('或')'的其中一种。（2）"reverse l r"，表示将区间[l,r]里的'('与')'对调。（3）"query l r"，表示查询区间[l,r]是否为一个合法的括号序列。

        如果我们视‘（’为-1，而‘）’为1，注意到如果在区间[l,r]里从l出发不断向后扫直到r，同时求和，在这个过程中，如果和的最大值是小于等于0的，并且最后的和是等于0的，那么这个序列是合法的，即输出“YES”。

        那么这就要求在线段树的结点中要保存一个sum域和mx域（即最大值），对于操作“set"和操作“reverse"分别有两个延迟操作与之对应，即flag_set和flag_rev。因为操作”reverse“，要求对换1和-1，则为了维护mx域，在线段树的结点中多增加一个域，mi（表示最小值），这样在进行操作”reverse"时，就可以通过一些操作，得到这个区间的mx。

        要向下传递延迟操作的时候，要先传递"set"操作的标记，即flag_set，后传递flag_rev。因为对一个区间进行“set"操作的时候，会将之前的”reverse"操作的标记置0（因为之前的“reverse"操作是失效的），如果一个区间同时有flag_set和flag_rev，那么一个是"set"操作先到达这个区间，然后”reverse"操作再到达这个区间。

        区间合并的时候，当前区间的mi域是从，左儿子的mi域和左儿子的sum加上右儿子的mi中取最小值，mx域的更新也类似。

#include <iostream>
#include <cstdio>
#include <cstring>
using namespace std;

#define LL(x) (x<<1)
#define RR(x) (x<<1|1)
#define MID(a,b) (a+((b-a)>>1))
const int N=100005;

struct node
{
	int lft,rht;
	int mi,mx,sum;
	int flag_set,flag_rev;
	int mid(){return MID(lft,rht);}
	int len(){return rht-lft+1;}
	void init(){ flag_set=flag_rev=mi=mx=sum=0; }
	void fun(int valu)
	{
		if(valu)
		{
			mi=min(valu,valu*len());
			mx=max(valu,valu*len());
			sum=valu*len();
			flag_set=valu; flag_rev=0;
		}
		else
		{
			sum=-sum; 
			swap(mi,mx); mi=-mi; mx=-mx;
			flag_rev^=1;
		}
	}
};

int y[N],n,m;

struct Segtree
{
	node tree[N*4];
	void down(int ind)
	{
		if(tree[ind].flag_set)
		{
			tree[LL(ind)].fun(tree[ind].flag_set);
			tree[RR(ind)].fun(tree[ind].flag_set);
			tree[ind].flag_set=0;
		}
		if(tree[ind].flag_rev)
		{
			tree[LL(ind)].fun(0);
			tree[RR(ind)].fun(0);
			tree[ind].flag_rev=0;
		}
	}
	void up(int ind)
	{
		tree[ind].sum=tree[LL(ind)].sum+tree[RR(ind)].sum;
		tree[ind].mx=max(tree[LL(ind)].mx,tree[LL(ind)].sum+tree[RR(ind)].mx);
		tree[ind].mi=min(tree[LL(ind)].mi,tree[LL(ind)].sum+tree[RR(ind)].mi);
	}
	void build(int lft,int rht,int ind)
	{
		tree[ind].lft=lft;	tree[ind].rht=rht;
		tree[ind].init();
		if(lft==rht) tree[ind].mi=tree[ind].mx=tree[ind].sum=y[lft];
		else 
		{
			int mid=tree[ind].mid();
			build(lft,mid,LL(ind));
			build(mid+1,rht,RR(ind));
			up(ind);
		}
	}
	void updata(int st,int ed,int ind,int valu)
	{
		int lft=tree[ind].lft,rht=tree[ind].rht;
		if(st<=lft&&rht<=ed) tree[ind].fun(valu);
		else 
		{
			down(ind);
			int mid=tree[ind].mid();
			if(st<=mid) updata(st,ed,LL(ind),valu);
			if(ed> mid) updata(st,ed,RR(ind),valu);
			up(ind);
		}
	}
	void query(int st,int ed,int ind,int &mx,int &sum)
	{
		int lft=tree[ind].lft,rht=tree[ind].rht;
		if(st<=lft&&rht<=ed)
		{
			mx=tree[ind].mx;
			sum=tree[ind].sum;
		}
		else 
		{
			down(ind);
			int mid=tree[ind].mid();
			if(ed<=mid) query(st,ed,LL(ind),mx,sum);
			else if(st>mid) query(st,ed,RR(ind),mx,sum);
			else 
			{
				int mx1,mx2,sum1,sum2;
				query(st,ed,LL(ind),mx1,sum1);
				query(st,ed,RR(ind),mx2,sum2);
				mx=max(mx1,sum1+mx2); sum=sum1+sum2;
			}
			up(ind);
		}
	}
}seg;
int main()
{
	int t,t_cnt=0;
	scanf("%d",&t);
	while(t--)
	{
		char str[N];
		scanf("%d%s",&n,str);
		for(int i=0;i<n;i++)
		{
			if(str[i]=='(') y[i]=-1;
			else y[i]=1;
		}
		seg.build(0,n-1,1);

		scanf("%d",&m);

		printf("Case %d:\n",++t_cnt);
		while(m--)
		{
			int a,b;
			char cmd[10],chr[10];
			scanf("%s",cmd);
			if(cmd[0]=='s')
			{
				scanf("%d%d%s",&a,&b,chr);
				seg.updata(a,b,1,(chr[0]=='('?-1:1));
			}
			else if(cmd[0]=='r')
			{
				scanf("%d%d",&a,&b);
				seg.updata(a,b,1,0);
			}
			else
			{
				int mx,sum;
				scanf("%d%d",&a,&b);
				seg.query(a,b,1,mx,sum);
				if(mx<=0&&sum==0) puts("YES");
				else puts("NO");
			}
		}
		puts("");
	}
	return 0;
}