SRM709 div1 Xscoregame（状压dp）

题目大意：

给定一个序列a，包含n个数（n<=15)，每个数的大小小于等于50

初始时x = 0，让你每次选a中的一个数y，使得x = x + x^y

问如何安排选择的次序，使得最终结果最大。

考虑状态压缩，dp[S]表示选了S状态的数的最大结果

我们发现这样做是错误的，因为目前的最大并不意味最后的最大

但是我们会发现，y最大只有50，所以x的大于63的部分不会发生变化，只有小于64的部分会受到y异或的结果

所以我们用dp[S][t]表示：选了S状态的数，小于64部分为t是否可行

然后用dp[S][64]代表大于64部分的大小

选第i个数加入的转移就是，先求出小于64部分与A[i]异或的最大值Max

然后大于64部分的大小就是2*dp[S][64] + (Max>>6)

找到所有小于64部分的异或>>6大于1的值，然后更新那些可行的状态即可

最后输出就是大于64的部分<<6再加上小于64部分最大的可行解

#include <cstdio>
#include <cmath>
#include <cstring>
#include <ctime>
#include <iostream>
#include <algorithm>
#include <set>
#include <vector>
#include <sstream>
#include <typeinfo>
#include <fstream>
#include <queue>
using namespace std;
void print(int x){
    cout<<"*";
    while(x){
        if(x&) cout<<;
        else cout<<;
        x>>=;
    }
    cout<<endl;
}
long long dp[(<<) + ][];
queue<int> Q;
int vis[(<<) + ];

void Find(int S){
    for(int i = ; i < ; i++) if(dp[S][i]) cout<<i<<" "; cout<<dp[S][];
    cout<<endl;
}

class Xscoregame {
    public:
    int getscore(vector<int> A) {
        int n = A.size();
        Q.push();
        dp[][] = ;
        while(!Q.empty()){
            int S = Q.front(); Q.pop();
            //print(S);
            //Find(S);
            for(int i = ; i < n; i++){
                if(S&(<<i)) continue;
                int Max = ;
                for(int j = ; j < ; j++){
                    if(!dp[S][j]) continue;
                    Max = max(Max, j + (j^A[i]));
                }
                if(Max == ) continue;
                if(dp[S|(<<i)][] > *dp[S][] + (Max>>)) continue;
                if(dp[S|(<<i)][] != *dp[S][] + (Max>>))
                    for(int j = ; j < ; j++) dp[S|(<<i)][j] = ;
                if(!vis[S|(<<i)]) Q.push(S|(<<i)); vis[S|(<<i)] = ;
                dp[S|(<<i)][] = *dp[S][] + (Max>>);
                for(int j = ; j < ; j++){
                    if(!dp[S][j]) continue;
                    int temp = j + (j^A[i]);
                    if((temp>>) == (Max>>)) dp[S|(<<i)][temp&] = ;
                }
            }
        }
        long long ans = , temp = ;
        for(int i = ; i >= ; i--) if(dp[(<<n)-][i]) { temp = i; break; }
        ans += (dp[(<<n)-][]<<) + temp;
        return ans;
    }
};