4245: [ONTAK2015]OR-XOR

https://www.lydsy.com/JudgeOnline/problem.php?id=4245

 /*

 要求分成m份，总价值为a1|a2|a3...，总价值最小，ai为第i份的异或和。

 首先预处理异或和。

 根据贪心的思想，高位最好是0。

 于是从高位往低位枚举，看一下每一位是否可以为0。

 如果当前这一位可以为0，每一份的(异或和)(或)起来都是0，所以每一份异或和的这一位不能有1

 那么一个点可以成为分割点当且仅当这个点的sum值的这一位为0，然后统计有多少个点的sum为0

 如果个数>=m且这一位上的所有1为偶数个(sum[n]&(1LL<<i)==0)，那么这一位可以为0，然后对于那些不能成为分割点的点，标记不能再成为分割点。

 不然会使这一位不为0了。

 如果不能0，那就为1了，ans更新。

 */

 #include<bits/stdc++.h>

 using namespace std;

 typedef long long LL;

 inline LL read() {

     LL x=,f=;char ch=getchar();for(;!isdigit(ch);ch=getchar())if(ch=='-')f=-;

     for (;isdigit(ch);ch=getchar())x=x*+ch-'';return x*f;

 }

 const int N = ;

 LL a[N],sum[N],flag[N];

 int main() {

     int n,m;cin >> n >> m;

     for (int i=; i<=n; ++i)

         a[i] = read(),sum[i] = sum[i-] ^ a[i];

     LL ans = ;

     for (int i=; i>=; --i) { // 看第i位能否为0

         int cnt = ;

         for (int j=; j<=n; ++j) { // 统计有多少个右端点满足条件

             if (!flag[j] && (sum[j]&(1LL<<i))==) cnt++;

         }

         if (cnt >= m && (sum[n]&(1LL<<i))==) { // 如果这一位可以放0。----   少加了对花括号。。。

             for (int j=; j<=n; ++j)  // 对所有不可以成为右端点的点打标记

                 if ((sum[j]&(1LL<<i)) != ) flag[j] = ;

         }

         else ans |= (1LL << i);

     }

     cout << ans;

     return ;

 }