JZOJ5952. 【NOIP2018模拟11.5A组】凯旋而归

题意：

数据范围：

对于$50$%的数据，$N\le 6666$
对于$100$%的数据， $N\le 456789,0\le a_i\le 10^6$

Analysis：

比较有意思的一道题，我们发现答案可以表示成如下形式：
设前缀异或和为$s_i$。
那么答案就是：$\max${$s_i$^$s_j+s_j$}。
我们贪心地取，若当前$s_i$位为$1$，发现无论$s_j$这一位是什么，贡献都一样。
我们只用关心二进制位下$s_i$为$0$的位。
怎么判断是否$s_j$这一位能填$1$呢，发现还要满足前面二进制位的要求，我们不妨预处理李离线。
我们设$f_x$为满足$x$为$s_i$子集的最小的$i$。这个可以先赋值，然后倒着扫一下传递一下。
那我们只要确定下之前$s_j$填的二进制位是啥，然后判断对应的$f_x$是否小于等于当前$i$即可。
复杂度$O(n\log (\max a_i))$。

Code：

# include<cstdio>
# include<cstring>
# include<algorithm>
using namespace std;
const int N = 5e5 + 5;
const int M = 1 << 20;
int f[M * 2 + 5],a[N],s[N];
int n;
int main()
{
	freopen("ak.in","r",stdin);
	freopen("ak.out","w",stdout);
	memset(f,0x3f,sizeof(f));
	scanf("%d",&n);
	for (int i = 1 ; i <= n ; ++i) scanf("%d",&a[i]),s[i] = s[i - 1] ^ a[i],f[s[i]] = min(f[s[i]],i);
	for (int i = M - 1 ; ~i ; --i)
	{
		for (int j = 0 ; j < 20 ; ++j)
		if (!(i & (1 << j))) f[i] = min(f[i],f[i | (1 << j)]);
	}
	for (int i = 1 ; i <= n ; ++i)
	{
		int ans = 0,now = 0;
		for (int j = 19 ; ~j ; --j)
		{
			if (s[i] & (1 << j)) { ans += 1 << j; continue; }
			if (f[now ^ (1 << j)] <= i) now += 1 << j,ans += 1 << j + 1;
		}
		printf("%d\n",ans);
	}
	return 0;
}