Iahub and Xors Codeforces - 341D

二维线段树被卡M+T。。。于是去学二维树状数组区间更新区间查询

树状数组维护数列区间xor的修改、删除（就是把原问题改成一维）：

以下p*i实际都指i个p相xor，即(i&1)*p
a表示原数列
d[i]表示a[i]^a[i-1],e[i]=d[i]*i
getd(x)和gete(x)分别表示对d/e求前x个元素的前缀xor
用树状数组维护e[i]和d[i]的前缀xor
区间更新[l,r],x：d[l]^=x,d[r+1]^=x,e[l]^=l*x,e[r+1]^=(r+1)*x
区间查询a[x]的前缀xor：((x+1)*getd(x))^gete(x)

改到二维上，就是树套树，直接套上去就行了。。。没仔细想为什么可以

 #include<cstdio>
 #include<algorithm>
 using namespace std;
 typedef long long LL;
 int n;
 #define lowbit(x) ((x)&(-x))
 struct Y
 {
     LL d[],e[];
     void _add(int p,LL x,LL d[])
     {
         for(;p<=n;p+=lowbit(p))    d[p]^=x;
     }
     LL _sum(int p,LL d[])
     {
         LL ans=;
         for(;p>;p-=lowbit(p))    ans^=d[p];
         return ans;
     }
     void add(int l,int r,LL x)
     {
         _add(l,x,d);_add(r+,x,d);
         _add(l,(l&)*x,e);_add(r+,((r+)&)*x,e);
     }
     LL sum(int l)
     {
         return (((l+)&)*_sum(l,d))^_sum(l,e);
     }
 }y;
 struct X
 {
     Y d[],e[];
     void _add(int p,int y1,int y2,LL x,Y d[])
     {
         for(;p<=n;p+=lowbit(p))    d[p].add(y1,y2,x);
     }
     LL _sum(int p,int y1,int y2,Y d[])
     {
         LL ans=;
         for(;p>;p-=lowbit(p))    ans^=(d[p].sum(y2)^d[p].sum(y1-));
         return ans;
     }
     void add(int l,int r,int y1,int y2,LL x)
     {
         _add(l,y1,y2,x,d);_add(r+,y1,y2,x,d);
         _add(l,y1,y2,(l&)*x,e);_add(r+,y1,y2,((r+)&)*x,e);
     }
     LL sum(int l,int y1,int y2)
     {
         return (((l+)&)*_sum(l,y1,y2,d))^_sum(l,y1,y2,e);
     }
 }x;
 int m;
 int main()
 {
     int i,a,b,c,d,idx;LL e;
     scanf("%d%d",&n,&m);
     for(i=;i<=m;i++)
     {
         scanf("%d",&idx);
         if(idx==)
         {
             scanf("%d%d%d%d",&a,&b,&c,&d);
             printf("%lld\n",x.sum(c,b,d)^x.sum(a-,b,d));
         }
         else
         {
             scanf("%d%d%d%d%lld",&a,&b,&c,&d,&e);
             x.add(a,c,b,d,e);
         }
     }
     return ;
 }