(中等) UESTC 94 Bracket Sequence，线段树+括号。

　　There is a sequence of brackets, which supports two kinds of operations.

1. we can choose a interval [l,r], and set all the elements range in this interval to left bracket or right bracket.
2. we can reverse a interval, which means that for all the elements range in [l,r], if it's left bracket at that time, we change it into right bracket, vice versa.

　　Fish is fond of Regular Bracket Sequence, so he want to know whether a interval [l,r] of the sequence is regular or not after doing some operations.

　　Let us define a regular brackets sequence in the following way:

1. Empty sequence is a regular sequence.
2. If S is a regular sequence, then (S) is also a regular sequences.
3. If A and B are regular sequences, then AB is a regular sequence.

　　

　　题目大意就是说给你一个括号序列，对他进行操作和询问，包括反转和覆盖两个操作。

　　维护一个总和，还有一个最小前缀和（还要维护最大前缀和，在反转的时候计算最小的。）。当总和和最小前缀和都为0，则成立。

　　这个题又被坑了好久，没办法，水平太差了，错了十几次，电子科大的提交记录都被我刷屏了。。。错误百出。。。

代码如下：

#include<iostream>
#include<cstdio>
#include<cstring>
 
#define lson L,M,po*2
#define rson M+1,R,po*2+1
#define max(a,b) (a>b?a:b)
#define min(a,b) (a<b?a:b)
 
using namespace std;
 
int BIT[*];
int QS[*];
int MS[*];
int XOR[*];
int COL[*];
char ss[];
 
void pushUP(int po)
{
    BIT[po]=BIT[po*]+BIT[po*+];
    QS[po]=max(QS[po*],BIT[po*]+QS[po*+]);            //这里要注意。
    MS[po]=min(MS[po*],BIT[po*]+MS[po*+]);
}
 
void pushDown(int po,int len)
{
    if(COL[po])
    {
        COL[po*]=COL[po];
        COL[po*+]=COL[po];
        XOR[po*]=XOR[po*+]=;                //这里不能忘记。
        BIT[po*]=(len-(len/))*COL[po];
        BIT[po*+]=(len/)*COL[po];
 
        QS[po*]=max(-,BIT[po*]);
        QS[po*+]=max(-,BIT[po*+]);
        MS[po*]=min(,BIT[po*]);
        MS[po*+]=min(,BIT[po*+]);
 
        COL[po]=;
    }
 
    if(XOR[po])
    {
        int temp;
 
        XOR[po*]=!XOR[po*];
        XOR[po*+]=!XOR[po*+];
 
        BIT[po*]=-BIT[po*];
        BIT[po*+]=-BIT[po*+];
 
        temp=QS[po*];
        QS[po*]=-MS[po*];
        MS[po*]=-temp;
 
        temp=QS[po*+];
        QS[po*+]=-MS[po*+];
        MS[po*+]=-temp;
 
        XOR[po]=;
    }
}
 
void build_tree(int L,int R,int po)
{
    XOR[po]=;
    COL[po]=;
 
    if(L==R)
    {
        if(ss[L]=='(')
        {
            BIT[po]=;
            QS[po]=;
            MS[po]=;
        }
        else
        {
             BIT[po]=-;
            QS[po]=-;
            MS[po]=-;
        }
 
        return;
    }
 
    int M=(L+R)/;
 
    build_tree(lson);
    build_tree(rson);
 
    pushUP(po);
}
 
void update_col(int ul,int ur,int ut,int L,int R,int po)
{
    if(ul<=L&&ur>=R)
    {
        XOR[po]=;
        COL[po]=ut;
        BIT[po]=ut*(R-L+);
 
        QS[po]=max(-,BIT[po]);
        MS[po]=min(,BIT[po]);
 
        return;
    }
 
    pushDown(po,R-L+);
 
    int M=(L+R)/;
 
    if(ul<=M)
        update_col(ul,ur,ut,lson);
    if(ur>M)
        update_col(ul,ur,ut,rson);
 
    pushUP(po);
}
 
void update_xor(int ul,int ur,int L,int R,int po)
{
    if(ul<=L&&ur>=R)
    {
        XOR[po]=!XOR[po];
        BIT[po]=-BIT[po];
 
        int temp=QS[po];
        QS[po]=-MS[po];
        MS[po]=-temp;
 
        return;
    }
 
    pushDown(po,R-L+);
 
    int M=(L+R)/;
 
    if(ul<=M)
        update_xor(ul,ur,lson);
    if(ur>M)
        update_xor(ul,ur,rson);
 
    pushUP(po);
}
 
int query(int &qs,int ql,int qr,int L,int R,int po)            //不能忘记写 ＆ ！！！
{
    if(ql<=L&&qr>=R)
    {
        qs=MS[po];
        return BIT[po];
    }
 
    pushDown(po,R-L+);
 
    int M=(L+R)/;
    int ans=;
 
    if(qr<=M)
        return query(qs,ql,qr,lson);
    if(ql>M)
        return query(qs,ql,qr,rson);
 
    int temp1,temp2,a1;
 
    a1=query(temp1,ql,qr,lson);
    ans=a1+query(temp2,ql,qr,rson);
 
    qs=min(temp1,temp2+a1);
 
    return ans;
}
 
bool getans(int ql,int qr,int N)
{
    int t1;
    int ans;
 
    if((qr-ql)%==)
        return ;
 
    ans=query(t1,ql,qr,,N,);
 
    if(ans==&&t1==)
        return ;
    else
        return ;
}
 
int main()
{
    int T;
    int N,Q;
    char t1[],t2[];
    int a,b;
    cin>>T;
 
    for(int cas=;cas<=T;++cas)
    {
        printf("Case %d:\n",cas);
 
        scanf("%d",&N);
        scanf("%s",ss);
 
        build_tree(,N-,);                    //这里应该是N-1。
 
        scanf("%d",&Q);
 
        for(int i=;i<Q;++i)
        {
            scanf("%s %d %d",t1,&a,&b);
 
            if(t1[]=='s')
            {
                scanf("%s",t2);
                update_col(a,b,t2[]=='('?:-,,N-,);
            }
            else if(t1[]=='r')
                update_xor(a,b,,N-,);
            else
                if(getans(a,b,N-))
                    printf("YES\n");
                else
                    printf("NO\n");
        }
 
        printf("\n");
    }
 
    return ;
}