【SPOJ61】Brackets（线段树）

题意：给出一个括号序列，要求维护两种操作：

1.将第x位上的括号取反

2.查询当前整个括号序列是否匹配

n<=3e4

思路：线段树维护区间内没有匹配的左右括号数量

pushup时t[p].r=t[rs].r+t[ls].r-min(t[ls].l,t[rs].r)

不知道这个式子怎么推出来的，但在四种情况下它都成立

 #include<cstdio>
 #include<cstring>
 #include<string>
 #include<cmath>
 #include<iostream>
 #include<algorithm>
 #include<map>
 #include<set>
 #include<queue>
 #include<vector>
 using namespace std;
 typedef long long ll;
 typedef unsigned int uint;
 typedef unsigned long long ull;
 typedef pair<int,int> PII;
 typedef vector<int> VI;
 #define fi first
 #define se second
 #define MP make_pair
 #define N   210000
 #define M   7010
 #define eps 1e-8
 #define pi  acos(-1)
 #define oo  1e9
 #define MOD 10007

 struct node
 {
     int l,r;
 }t[N];
 char a[N];
 int n;

 void pushup(int p)
 {
     int ls=p<<;
     int rs=ls+;
     t[p].l=t[ls].l+t[rs].l-min(t[ls].l,t[rs].r);
     t[p].r=t[rs].r+t[ls].r-min(t[ls].l,t[rs].r);
 }

 void build(int l,int r,int p)
 {
     t[p].l=t[p].r=;
     if(l==r)
     {
         if(a[l]=='(') t[p].l=;
          else t[p].r=;
         return;
     }
     int mid=(l+r)>>;
     build(l,mid,p<<);
     build(mid+,r,p<<|);
     pushup(p);
 }

 void update(int l,int r,int x,int p)
 {
     if(l==r)
     {
         t[p].l=-t[p].l;
         t[p].r=-t[p].r;
         return;
     }
     int mid=(l+r)>>;
     if(x<=mid) update(l,mid,x,p<<);
      else update(mid+,r,x,p<<|);
     pushup(p);
 }

 int main()
 {
     //freopen("spoj61.in","r",stdin);
     //freopen("spoj61.out","w",stdout);
     int cas=;
     while(scanf("%d",&n)!=EOF)
     {
         cas++;
         printf("Test %d:\n",cas);
         scanf("%s",a+);
         int m;
         scanf("%d",&m);
         build(,n,);
         for(int i=;i<=m;i++)
         {
             int x;
             scanf("%d",&x);
             if(x==)
             {
                 if(t[].l==&&t[].r==) printf("YES\n");
                  else printf("NO\n");
             }
              else update(,n,x,);
         }
     }
     return ;
 }