hdu 4867 Xor(线段树)

题意：给n个数ai，选择个数bi，要求0<=bi<=ai，使得选出来的bi的异或和等于x，求方案个数。还有一个操作是修改某一个数。

思路：感觉题解说的比较简略，傻傻看不懂，死皮赖脸的问了Nero爷才大概弄明白。。。其实就是用线段树把两个子树所能出现的状态合并。这里的状态是个二元组(前缀，长度),假设010***这个数，前缀就是010，***的个数就是长度，代表后面3位任意选。其实这两个可以合为一个状态，只需要将前缀的第四位借给长度用就行了，因为这个长度不会超过10，这样就可以用一个数来表示状态了，另外，由于还要计数，所以还是搞了个二元组(状态，数量)，其实新开个数组也行……首先把每个数转化为前缀的状态集合，最关键的还是合并的问题，对于两个要合并的集合，枚举集合中的元素，两两匹配，然后计算生成的下一个状态和该状态的数量，生成状态比较简单。计算数量的时候要注意，比如010***和00****合并的时候，会变成01****，但是由于第一个数左数第3位是确定的，因此，合并后的数量会少一半，这个自己算一下就会发现。。。剩下就简单了，直接线段树搞就行了。

代码：

#include<iostream>
#include<cstdio>
#include<cstring>
#include<string>
#include<algorithm>
#include<map>
#include<queue>
#include<stack>
#include<set>
#include<cmath>
#include<vector>
#define inf 0x3f3f3f3f
#define Inf 0x3FFFFFFFFFFFFFFFLL
#define eps 1e-9
#define pi acos(-1.0)
using namespace std;
typedef long long ll;
const int maxn=20000;
const int mod=1000000007;
vector<pair<int,int> >tree[maxn<<2];
map<int,int>mp;
int mlen,a[maxn];
vector<pair<int,int> > getpre(int n)  //获得n的前缀形式
{
    vector<pair<int,int> >res;
    for(int i=9;i>=0;--i)
        if(n&(1<<i))
        {
            res.push_back(make_pair(((n>>i)^1)<<4|i,1));
        }
    res.push_back(make_pair(n<<4,1));
    return res;
}
int cal(int x,int y)  //计算两个前缀的合并结果
{
    int xlen=x&0xf,ylen=y&0xf;
    if(xlen>ylen) {swap(x,y);swap(xlen,ylen);}
    x>>=4;y>>=4;
    int m=(ylen-xlen);
    x>>=m;
    mlen=xlen;
    return (x^y)<<4|ylen;
}
void PushUp(int rt)
{
    tree[rt].clear();
    mp.clear();
    int ls=rt<<1,rs=rt<<1|1,v,num,pos,tot=0;
    ll A,B;
    for(int i=0;i<(int)tree[ls].size();++i)
        for(int j=0;j<(int)tree[rs].size();++j)
        {
            v=cal(tree[ls][i].first,tree[rs][j].first);
            A=tree[ls][i].second;B=tree[rs][j].second;
            num=A*(1<<mlen)%mod*B%mod;
            if(mp.find(v)==mp.end())
            {
                mp[v]=tot++;
                tree[rt].push_back(make_pair(v,num));
            }
            else
            {
                pos=mp[v];
                tree[rt][pos].second+=num;
                if(tree[rt][pos].second>=mod) tree[rt][pos].second-=mod;
            }
        }
}
void build(int l,int r,int rt)
{
    if(l==r)
    {
        tree[rt]=getpre(a[l]);
        return ;
    }
    int m=(l+r)>>1;
    build(l,m,rt<<1);
    build(m+1,r,rt<<1|1);
    PushUp(rt);
}
void Update(int p,int l,int r,int rt,int v)
{
    if(l==r)
    {
        tree[rt]=getpre(v);
        return ;
    }
    int m=(l+r)>>1;
    if(m>=p) Update(p,l,m,rt<<1,v);
    else Update(p,m+1,r,rt<<1|1,v);
    PushUp(rt);
}
int Query(int val)
{
    int ans=0,len;
    pair<int,int>pii;
    for(int i=0;i<(int)tree[1].size();++i)
    {
        pii=tree[1][i];
        len=pii.first&0xf;
        if((pii.first>>4)==(val>>len))
        {
            ans+=pii.second;
            if(ans>=mod) ans-=mod;
        }
    }
    return ans;
}
int main()
{
    //freopen("in.txt","r",stdin);
    //freopen("out.txt","w",stdout);
    char str[10];
    int t,n,m;
    scanf("%d",&t);
    while(t--)
    {
        scanf("%d%d",&n,&m);
        for(int i=1;i<=n;++i)
            scanf("%d",&a[i]);
        build(1,n,1);
        int x,y;
        while(m--)
        {
            scanf("%s%d",str,&x);
            if(str[0]=='Q')
                printf("%d\n",Query(x));
            else
            {
                scanf("%d",&y);
                Update(x+1,1,n,1,y);
            }
        }
    }
    return 0;
}