BZOJ 2741 详解（分块 可持久化Trie树）

2741: 【FOTILE模拟赛】L

Time Limit: 15 Sec Memory Limit: 162 MB
Description

FOTILE得到了一个长为N的序列A，为了拯救地球，他希望知道某些区间内的最大的连续XOR和。
即对于一个询问，你需要求出max(Ai xor Ai+1 xor Ai+2 … xor Aj)，其中l<=i<=j<=r。
为了体现在线操作，对于一个询问(x,y)：
l = min ( ((x+lastans) mod N)+1 , ((y+lastans) mod N)+1 ).
r = max ( ((x+lastans) mod N)+1 , ((y+lastans) mod N)+1 ).
其中lastans是上次询问的答案，一开始为0。

Input

第一行两个整数N和M。
第二行有N个正整数，其中第i个数为Ai，有多余空格。
后M行每行两个数x,y表示一对询问。

Output

共M行，第i行一个正整数表示第i个询问的结果。

Sample Input

3 3

1 4 3

0 1

0 1

4 3

Sample Output

5

7

7

HINT

N=12000，M=6000，x,y,Ai在signed longint范围内。

思路：
我们先考虑问题的简化版：在区间内找一个数，使它与另一个已知数的异或值最大。这个问题可以用可持久化Trie树解决，只需要在Trie树上走相异的节点。
而连续异或和，考虑预处理出异或的前缀和sum[i]，然后将区间[l,r]的异或和转化为sum[l-1]^sum[r]。于是每个询问就转化为在sum[l-1]到sum[r]之间找两个数，使其异或值最大。
但我们必须要已知一个数，而枚举肯定就超时了，考虑分块。
分块预处理出f[i][j]，表示从第i块的起始点到第j个点之间两个数异或的最大值。
然后对于每个询问，找到区间内第一个完整块的起始点x，答案赋值为f[pos[x]][r]，然后对于左边剩余的点暴力计算并和答案取max。

#include <iostream>
#include <algorithm>
#include <cstdio>
#include <cstring>
#include <cmath>
#define LL long long 
using namespace std;

struct TRIE{
    int son[