HDU 5715 & 2016"百度之星" 复赛（Astar Round3）1004 XOR游戏(Trie)

题意：众所周知，度度熊喜欢XOR运算（XOR百科）。
今天，它发明了一种XOR新游戏，最开始，它有一个长度为N的数组，度度熊可以任意添加分割线，将数组划分为M段，且每段长度小于等于L。
当然这是个和XOR有关的游戏，度度熊希望所有分组内异或和的最小值最大。
比如，长度为4的数组{1,2,3,4}，L为3，可以划分为{1|2,3,4} 或 {1,2|3,4} 或 {1,2,3|4}，最小的异或值分别为1,3,0，所以选第二种分割方法。
思路：这道题类似于CodeForces 665E Beautiful Subarrays（Trie）
首先可以先二分答案，将求解问题转化为验证问题，假设当前的二分值为t，
用$dp[i][j]$表示将前i个数据分为j组后最小值是否大于等于t
然后就可以用Trie树优化dp了，假设当前正在计算$dp[i][j]$，将所有之前合法的$dp[k][j-1]$的异或值插入到Trie树里，Trie的结点存的是这个前缀下有几哥最小值大于等于t的位置
然后在trie查找时，假设当前位置的异或前缀和为s，查找时记录当前和为sum，遍历到第i位时，若$sum+(1<<i)$小于t，那么一定是与s这一位相反的结点走，否则最后的和一定也小于t，若大于等于，就判断一下这个前缀下有多少满足条件的位置。

#include <cstdio>
#include <cstring>
#include <cmath>
#include <cstdlib>
#include <iostream>
#include <algorithm>
#include <vector>
#include <map>
#include <queue>
#include <stack>
#include <string>
#include <map>
#include <set>
#include <ctime>
#define eps 1e-6
#define LL long long
#define pii pair<int, int>
//#pragma comment(linker, "/STACK:1024000000,1024000000")
using namespace std;
const int mod = 1e9+9;
const int maxnode = 500000;
const int N = 30;

int n, m, len;
int a[10010], s[10010];
bool dp[10010][12];
struct Trie {
    int ch[maxnode][2];
    int val[maxnode];
    int sz;
    void clear() {
        ch[0][0] = ch[0][1] = 0;
        sz = 1;
    }
    void add(int num, int v) {
        int u = 0;
        for (int i = N; i >= 0; i--) {
            int c = (num>>i)&1;
            if (!ch[u][c]) {
                ch[sz][0] = ch[sz][1] = 0;
                val[sz] = 0;
                ch[u][c] = sz++; 
            }
            u = ch[u][c];
            val[u] += v;
        }
    }
    bool find(int num, int b) {
        int sum = 0, u = 0;
        for (int i = N; i >= 0; i--) {
            int c = (num>>i)&1;
            if (sum+(1<<i) >= b) {
                if (ch[u][c^1] && val[ch[u][c^1]] > 0)
                    return true;
                u = ch[u][c];
                if (!u) return false;
            }
            else {
                sum += 1<<i;
                u = ch[u][c^1];
                if (!u) return false;
            }
        }
        return (sum >= b && val[u] > 0);
    }
} t[12];
bool check(int b) {
    for (int i = 1; i < m; i++)
        t[i].clear();
    for (int i = 1; i <= n; i++)  
        dp[i][1] = (s[i]>=b) && (i<=len);
    for (int i = 1; i <= n; i++) {
        if (i > 1 && dp[i-1][1]) 
            t[1].add(s[i-1], 1);
        for (int j = 2; j <= m && j <= i; j++) {
            if (i > len+1 && dp[i-len-1][j-1])
                t[j-1].add(s[i-len-1], -1);
            dp[i][j] = t[j-1].find(s[i], b);
            //cout << i << " " << j << " " << dp[i][j] << endl;
            if (dp[i][j])
                t[j].add(s[i], 1);
        }
    }
    return dp[n][m];
}
int main()
{
    //freopen("input.txt", "r", stdin);
    int T;
    cin >> T;
    int kase = 0;
    s[0] = 0;
    while (T--) {
        scanf("%d%d%d", &n, &m, &len);
        for (int i = 1; i <= n; i++)
            scanf("%d", &a[i]);
        for (int i = 1; i <= n; i++)
            s[i] = s[i-1] ^ a[i];
        int l = 0, r = 1e9;
        check(7);
        while (l <= r) {
            int mid = (l+r) >> 1;
            if (check(mid)) l = mid + 1;
            else r = mid - 1;
        }
        printf("Case #%d:\n%d\n", ++kase, r);
    }
    return 0;