BZOJ4245 ONTAK2015 OR-XOR（贪心）

　　贪心的按位考虑。如果所有数在某一位上有奇数个为1，显然无论如何划分这一位最终都会为1；否则将每一部分都划分为偶数个1就能保证最终该位为0，可以标记上哪些位置可以作为划分点（当然也要满足之前可为0的位上是0），如果剩余划分点个数>=m-1则说明该位可为0。

#include<iostream>
#include<cstdio>
#include<cmath>
#include<cstdlib>
#include<cstring>
#include<algorithm>
using namespace std;
#define N 500010
#define ll long long
ll read()
{
    ll x=,f=;char c=getchar();
    while (c<''||c>'') {if (c=='-') f=-;c=getchar();}
    while (c>=''&&c<='') x=(x<<)+(x<<)+(c^),c=getchar();
    return x*f;
}
int n,m,cnt;
ll a[N],ans;
bool flag[N];
int main()
{
#ifndef ONLINE_JUDGE
    freopen("bzoj4245.in","r",stdin);
    freopen("bzoj4245.out","w",stdout);
    const char LL[]="%I64d\n";
#else
    const char LL[]="%lld\n";
#endif
    cnt=n=read(),m=read();
    for (int i=;i<=n;i++) a[i]=read();
    for (int k=;~k;k--)
    {
        int t=;
        for (int i=;i<=n;i++) t+=(a[i]&(1ll<<k))>;
        if (t&) ans+=1ll<<k;
        else
        {
            t=;
            for (int i=;i<n;i++)
            {
                t+=(a[i]&(1ll<<k))>;
                if (t&) cnt-=-flag[i],flag[i]=;
            }
            if (cnt<m) ans+=1ll<<k;
        }
    }
    cout<<ans;
    return ;
}