[ DP ] [ POI2006 ] BZOJ1442

从高到低枚举每一个二进制位考虑。
如果有某个 $a_i$ 这一位等于 $1$ ，而 $x_i$ 这一位等于 $0$ ，那么对于剩下的二进制位，其他 $x_j$ 都可以随便取， 然后通过 $x_i$ 调整为 0 0 <script type="math/tex" id="MathJax-Element-287">0</script> 。
枚举哪一位出现了这种情况，然后DP就可以了。

#include<bits/stdc++.h>
using namespace std;
typedef unsigned long long ll;
const int N=60;
const int M=32;
int k,n,m;
ll f[N][2][2],p[M],t;
ll a[N],Ans;
int main(){
    scanf("%d",&n);
    for(int i=1;i<=n;i++)scanf("%ull",&a[i]),t^=a[i];
    Ans=(!t);
    p[0]=1;
    for(int i=1;i<M;i++)p[i]=p[i-1]<<1;
    for(int i=M-1;i>=0;i--){
        memset(f,0,sizeof(f));
        f[0][0][0]=1;
        bool t=0;ll s=1;
        for(int j=1;j<=n;s*=((a[j++]&(p[i]-1))+1))
        if(a[j]&p[i]){
            for(int k=0;k<2;k++){
                f[j][k][0]+=f[j-1][k^1][0];
                f[j][k][1]+=f[j-1][k^1][1]*((a[j]&(p[i]-1))+1);
                f[j][k][1]+=f[j-1][k][0]*s;
                f[j][k][1]+=f[j-1][k][1]*p[i];
            }
            t^=1;
        }else{
            for(int k=0;k<2;k++){
                f[j][k][0]+=f[j-1][k][0];
                f[j][k][1]+=f[j-1][k][1]*((a[j]&(p[i]-1))+1);
            }
        }
        Ans+=f[n][0][1];
        if(t&1)break;
    }
    cout<<Ans-1<<endl;
    return 0;
}