这是一道好题啊。
首先题目要求的是或值最小,这个容易想到贪心,因为或运算是满足贪心的嘛,直观的想法就是从最高位判断能否为0。
然后题目要求分成m段该怎么做呢?我们可以维护一个前缀异或和,异或满足什么性质呢?比如s[r]^s[l-1]得到的就是a[l]..a[r]的异或和。那么如果对于某一位,这个序列存在>=m个前缀异或和为0的点且s[n]这一位也为0,这就意味着我们可以把这个序列分成>=m段,使得每一段内的序列异或和此位都为0。这就能够判断出某位是否为0了。不要忘记标记一下,否则不同位满足的条件可能会有冲突。
#include<bits/stdc++.h>
#define ll long long
using namespace std;
int n,m;
bool v[500005];
ll a[500005];
ll ans;
inline ll read()
{
ll a=0,f=1; char c=getchar();
while (c<'0'||c>'9') {if (c=='-') f=-1; c=getchar();}
while (c>='0'&&c<='9') {a=a*10+c-'0'; c=getchar();}
return a*f;
}
int main()
{
n=read(); m=read();
for (int i=1;i<=n;i++) a[i]=a[i-1]^read();
for (ll i=(1ll<<62);i;i>>=1)
{
int cnt=0;
for (int j=1;j<=n;j++)
if (!v[j]&&!(a[j]&i)) cnt++;
if (cnt>=m&&!(a[n]&i))
{
for (int j=1;j<=n;j++)
if (a[j]&i) v[j]=1;
}
else ans|=i;
}
cout << ans << endl;
return 0;
}