4245: [ONTAK2015]OR-XOR 贪心+按位处理+前缀异或和

这是一道好题啊。
首先题目要求的是或值最小，这个容易想到贪心，因为或运算是满足贪心的嘛，直观的想法就是从最高位判断能否为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;
}