Iahub and Xors Codeforces

二维线段树被卡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[1010],e[1010];
    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=0;
        for(;p>0;p-=lowbit(p))    ans^=d[p];
        return ans;
    }
    void add(int l,int r,LL x)
    {
        _add(l,x,d);_add(r+1,x,d);
        _add(l,(l&1)*x,e);_add(r+1,((r+1)&1)*x,e);
    }
    LL sum(int l)
    {
        return (((l+1)&1)*_sum(l,d))^_sum(l,e);
    }
}y;
struct X
{
    Y d[1010],e[1010];
    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=0;
        for(;p>0;p-=lowbit(p))    ans^=(d[p].sum(y2)^d[p].sum(y1-1));
        return ans;
    }
    void add(int l,int r,int y1,int y2,LL x)
    {
        _add(l,y1,y2,x,d);_add(r+1,y1,y2,x,d);
        _add(l,y1,y2,(l&1)*x,e);_add(r+1,y1,y2,((r+1)&1)*x,e);
    }
    LL sum(int l,int y1,int y2)
    {
        return (((l+1)&1)*_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=1;i<=m;i++)
    {
        scanf("%d",&idx);
        if(idx==1)
        {
            scanf("%d%d%d%d",&a,&b,&c,&d);
            printf("%lld
",x.sum(c,b,d)^x.sum(a-1,b,d));
        }
        else
        {
            scanf("%d%d%d%d%lld",&a,&b,&c,&d,&e);
            x.add(a,c,b,d,e);
        }
    }
    return 0;
}