Light Switching（SPOJ LITE）—— 线段树成段更新异或值

　　题目连接：http://www.spoj.com/problems/LITE/en/。

　　题意：有若干个灯泡，每次对一段操作，这一段原先是亮的，就关了；原先是关着的，就打开。询问某一段的打开的灯泡的个数。

　　分析：很显然的成段更新，但是一开始想着用某段是不是相同的来维护，敲了很长时间都没有实现。后来经过大力学长知道，对有懒惰标记的节点的亮着的灯泡的和这么更新即可：c[o]=r-l+1-c[o]; 简直奥义！

　　另外，从这题可以看出，我对于成段更新的懒惰标记理解不够深刻。应该理解如下：对某点进行pushdown操作时，这点的sum值不更新，更新子节点的sum和add值即可。

　　具体见代码：

 #include <stdio.h>
 #include <string.h>
 #include <algorithm>
 #include <set>
 #include <iostream>
 #define t_mid (l+r>>1)
 #define ls (o<<1)
 #define rs (o<<1 | 1)
 #define lson ls,l,t_mid
 #define rson rs,t_mid+1,r
 using namespace std;
 const int N =  + ;

 int n,m,c[N<<];
 bool add[N<<];
 void build(int o,int l,int r)
 {
     c[o]=,add[o]=;
     if(l==r) return;
     build(lson);
     build(rson);
 }
 void pushdown(int o,int len)
 {
     if(add[o])
     {
         c[ls]=(len-(len>>))-c[ls];
         c[rs]=(len>>)-c[rs];
         add[ls]^=;
         add[rs]^=;
         add[o]=;
     }
 }
 void pushup(int o)
 {
     c[o] = c[ls] + c[rs];
 }
 void update(int o,int l,int r,int ql,int qr)
 {
     if(ql<=l && qr>=r)
     {
         add[o]^=;
         c[o] = r-l+-c[o];
         return;
     }
     pushdown(o,r-l+);
     if(ql<=t_mid) update(lson,ql,qr);
     if(qr>t_mid) update(rson,ql,qr);

     pushup(o);
 }
 int query(int o,int l,int r,int ql,int qr)
 {
     if(ql<=l && qr>=r) return c[o];
     pushdown(o,r-l+);
     int res = ;
     if(ql<=t_mid) res += query(lson,ql,qr);
     if(qr>t_mid) res += query(rson,ql,qr);
     return res;
 }

 int main()
 {
     while(scanf("%d%d",&n,&m)==)
     {
         build(,,n);

         while(m--)
         {
             int op,x,y;
             scanf("%d%d%d",&op,&x,&y);
             if(!op) update(,,n,x,y);
             else printf("%d\n",query(,,n,x,y));
         }
     }
     return ;
 }