题目

给定长为n(n<=1e4)的数组，第i个数为ai(0<=ai<2的60次方)

初始时，区间为[1,n]，也即l=1，r=n，

你可以在[l,r)中指定一个k，将区间分成左半边[l,k]、右半边[k+1,r]

1. 如果左半边异或和与异或和的异或和相等，则可以二选一，要么保留左半边，要么保留右半边

2. 否则，只能保留异或和大的那半边

当l=r时，游戏结束

对于每个i，判断是否能通过适当操作，使得游戏结束时l=r=i

实际t(t<=1e4)组样例，保证sumn不超过1e4

思路来源

力扣群 潼神

题解

这个st[0]和ed[0]实际只需要占一位，分开写的话可读性会好一点

此处由于值域限制，直接维护在了st和ed的第60位

n=1e4，说明只能是O(1)转移的区间dp

异或和的两种情况：

1. [l,r]异或和为0，那么[l,x](x<r)和[y,r](y>l)的区间都可以异或出

2. [l,r]异或和为s(s≠0)，记s的最高位为b，

那么，如果[l,x](x<r)的异或和包含b这一位，[l,x]的异或和就一定大于[x+1,r]的异或和

同理，如果[y,r](y>l)的异或和包含b这一位，[y,r]的异或和就一定大于[l,y-1]的异或和

判断

①左端点/右端点第60位打过标记，说明存在共左端点/右端点的更大的区间异或和为0

②[l,r]异或和为s，s和左端点/右端点的标记有交，说明存在共左端点/右端点的更大的区间的异或和的最高位能被s取到，也就是s比区间另一半大

设位

①如果异或和为0，在第60位打标记

②否则，在异或和最高位打标记

心得

本题是长区间向短区间下放，没怎么写过，但本身区间dp也很灵活

由于下放时一定需要固定一个端点，所以可以将信息维护在端点处供后续使用

也就只需要开一维，不像传统区间dp开两位数组那样了

__builtin_clzll(s)是获取64位数二进制前导0个数

63-__builtin_clzll(s)是获取64位数二进制最高位的1是第几位

从右往左，从第0位开始数，也就是1<<b中的b，不存在时为-1

32位数时，可以对应改成__builtin_clz(s)、31-__builtin_clz(s)

代码

#include<bits/stdc++.h>
using namespace std;
#define rep(i,a,b) for(int i=(a);i<=(b);++i)
#define per(i,a,b) for(int i=(a);i>=(b);--i)
typedef long long ll;
typedef double db;
typedef pair<ll,int> P;
#define fi first
#define se second
#define pb push_back
#define dbg(x) cerr<<(#x)<<":"<<x<<" ";
#define dbg2(x) cerr<<(#x)<<":"<<x<<endl;
#define SZ(a) (int)(a.size())
#define sci(a) scanf("%d",&(a))
#define pt(a) printf("%d",a);
#define pte(a) printf("%d\n",a)
#define ptlle(a) printf("%lld\n",a)
#define debug(...) fprintf(stderr, __VA_ARGS__)
typedef unsigned ui;
//typedef __uint128_t L;
typedef unsigned long long L;
typedef unsigned long long ull;
const int N=1e4+10,B=60;//xor=0代表的位
int t,n;
ll v,bl[N],br[N],sum[N];
char ans[N];
bool cal(int l,int r){if(l==1 && r==n)return 1;//之前的[l,R](R>r)的异或和有0//之前的[L,r](L<l)的异或和有0if(bl[l]>>B&1 || br[r]>>B&1)return 1;ll s=sum[r]^sum[l-1];return (s&bl[l]) || (s&br[r]);//[l,r]的异或和有[l,R](R>r)的异或和的最高位//[l,r]的异或和有[L,r](L<l)的异或和的最高位
}
void op(int l,int r){ll s=sum[r]^sum[l-1];int b;if(!s)b=B;	// 当前[l,r]的异或和有0 else b=63-__builtin_clzll(s); // 当前[l,r]的异或和的最高位bl[l]|=1ll<<b;br[r]|=1ll<<b;
}
int main(){sci(t);while(t--){sci(n);rep(i,1,n){scanf("%lld",&v);sum[i]=sum[i-1]^v;bl[i]=br[i]=0;ans[i]='0';}per(sz,n,1){rep(l,1,n+1-sz){int r=l+sz-1;//printf("l:%d r:%d ok:%1d s:%lld b:%d\n",l,r,cal(l,r),sum[r]^sum[l-1],63-__builtin_clzll(sum[r]^sum[l-1]));if(cal(l,r)){op(l,r);if(l==r)ans[l]='1';}}}ans[n+1]='\0';printf("%s\n",ans+1);}return 0;
}