题目
给出一个长度为2^M的排列，元素分别是0， 1， 2， ... , 2^M -1。 选择其中某个非空连续子序列，然后允许交换这个排列中某两个不同的数，然后使得这个连续子序列的所有数的按位异或(bitwise XOR)的结果恰好等于2^M-1 求：有多少个连续子序列满足上述条件。
Hint
(mleq20)
简化题意 设a[i]表示0~i的(b_i)异或和.求有多少个l,r满足a[l-1]^a[r]maxx/a[l-1]^a[r]^b[A]^b[B]maxx 其中maxx=2^M-1;
当然A和B一个在l~r之中一个不在 都在或都不在可以转换为上述情况。
左边很好求出 直接上Trie树即可，关键是右边。先考虑暴力的想法 设C=a[l-1]^a[r] C^maxx=b[A]^b[B].
C^maxx此时为定值 对于l~r之中每一个(b_i,iin (l,r)) 都必然存在且只存在一个位置K满足(b_i)^(b_K)=C^maxx;
所以我们只需要找到一个位置i 使得位置K在(l,r)的外 即可判定l 和 r是合法的。
这个东西我们发现可以(n^3)的暴力了 发现我们优化不了这个东西。不妨补集转换。
求出 有多少l r是不合法的 即求出除了不满足第一种情况外也不满足第二种情况。
对于第二种情况 对于每一个位置i 其位置K都在集合之内。
由于每个i都仅对应一个K 所以当区间为奇数的时候是必然满足条件的。
讨论 区间为偶数的时候 匹配后奇数对一定不存在 如 2 6 他们如果可以成功配对 且配对数字为w C^maxx=w 且C=w maxx=0 故这种情况不存在。
考虑区间为4的倍数且两两配对的情况 可以发现此时w为定值maxx 所以对于每一个i来说我们都已经知道其配对位置在哪了。
问题也就转换成如何快速求出一个序列 每个数字都出现了两次 要求复杂度O(1) 本着异或的思想我们可以取异或前缀和判断 但是这样会误判
所以有一个非常经典的做法 给每个值都随便赋值 然后 再异或可以大大减小这种碰撞概率(双模双hash 这样稳一点。
关于这道题的线段树做法 我不会怎么扫描线能把这个东西扫出来 还是使用hash吧 舒服一点。。
const int MAXN=1100000;
int n,m;
int a[MAXN],pos[MAXN];
int w[MAXN][2];
map<pair<int,int>,int>H[4];
int main()
{
freopen("1.in","r",stdin);
srand(time(0));
get(m);n=(1<<m)-1;
if(m==1){puts("2");return 0;}
for(int i=1;i<=n+1;++i)get(a[i]),pos[a[i]]=i;
for(int i=0;i<=n/2;++i)
{
w[pos[i^n]][0]=w[pos[i]][0]=rand()<<15|rand();
w[pos[i^n]][1]=w[pos[i]][1]=rand()<<15|rand();
}
ll ans=(ll)(n+1)*(n+2)/2;
H[0][mk(0,0)]=1;
for(int i=1;i<=n+1;++i)
{
w[i][0]^=w[i-1][0];
w[i][1]^=w[i-1][1];
ans-=H[i%4][mk(w[i][0],w[i][1])];
++H[i%4][mk(w[i][0],w[i][1])];
}
printf("%lld
",ans);
return 0;
}