显然我们可以贪心从高到低分析,如果高位能不取就不取,这样得到的一定是最优解。
令s[i]=s[i-1]^a[i],那么对于某一段(x,y)的Xor值结尾s[x-1]^s[y]。考虑第k位能不能取,显然需要s[n]的第k位=0,另外需要有不少于m个“可取”的s[]的值为0,这样可以在这些s[]的位置处划分使得第k位为0。那么如果第k位可以为0,就要把所有s[]中第k位为1的那些都标记为“不可取”。
AC代码如下:
#include<iostream>
#include<cstdio>
#include<cstring>
#define ll long long
using namespace std;
int n,m; bool ok[500005]; ll a[500005];
ll read(){
ll x=0; char ch=getchar();
while (ch<'0' || ch>'9') ch=getchar();
while (ch>='0' && ch<='9'){ x=x*10+ch-'0'; ch=getchar(); }
return x;
}
int main(){
scanf("%d%d",&n,&m); int i; ll k=1;
for (i=1; i<=n; i++){
a[i]=a[i-1]^read(); ok[i]=1;
while (k<a[i]) k<<=1;
}
ll ans=0; int tmp;
for (; k; k>>=1){
tmp=0;
for (i=1; i<=n; i++)
if (ok[i] && !(a[i]&k)) tmp++;
if (tmp<m || (a[n]&k)) ans|=k; else
for (i=1; i<=n; i++) if (a[i]&k) ok[i]=0;
}
printf("%lld\n",ans);
return 0;
}
by lych
2016.3.18