BZOJ4245: [ONTAK2015]OR-XOR 解题报告

Description

给定一个长度为n的序列a[1],a[2],…,a[n]，请将它划分为m段连续的区间，设第i段的费用c[i]为该段内所有数字的异或和，则总费用为c[1] or c[2] or … or c[m]。请求出总费用的最小值。
Input

第一行包含两个正整数n,m(1<=m<=n<=500000)，分别表示序列的长度和需要划分的段数。
第一行包含n个整数，其中第i个数为ai。
Output

输出一个整数，即总费用的最小值。

---

---

题解

因为一段的值为异或，最后将m段的异或值或起来，$a_i≤10^{18}$所以一位一位考虑，如果有方法能使得答案第$i$位为$0$，那不管为$1$时后面的位有多小，都不如第$i$位为0时小。
如果第$i$位为$0$，那么需要在序列里找$m$段区间第$i$位异或和为0（整个区间异或和第$i$位必须为0），在之前找到的区间里找，找尽量多个区间，如果能找到至少$m$个，那么就可行，下一位在这若干个区间里找

---

---

code：

#include<set>
#include<map>
#include<deque>
#include<queue>
#include<stack>
#include<cmath>
#include<ctime>
#include<vector>
#include<string>
#include<bitset>
#include<cstdio>
#include<cstdlib>
#include<cstring>
#include<climits>
#include<complex>
#include<iostream>
#include<algorithm>
#define ll long long
using namespace std;

const int maxn = 510000;
ll a[maxn];
int pos[maxn],num;
int v[maxn];
ll ret,mx;
int n,m,t;

int main()
{
    scanf("%d%d",&n,&m);mx=0;
    for(int i=1;i<=n;i++) 
    {
        scanf("%lld",&a[i]);
        if(a[i]>mx)mx=a[i];
    }

    t=0;
    while((1ll<<t)<=mx)t++;
    t--;

    ret=0; int times=0;
    for(int i=t;i>=0;i--)
    {
        ll now=1ll<<i; ll c=0; num=0;
        for(int j=1;j<=n;j++)
        {
            c ^= a[j];
            if(!(c&now)) pos[++num]=j;
        }
        if(c&now) {ret|=now; continue;}
        int lt=0;
        for(int j=1;j<=num;j++)
            if(v[pos[j]]==times) lt++;
        if(lt>=m)
        {
            times++;
            for(int j=1;j<=num;j++) 
                if(v[pos[j]]==times-1)
                    v[pos[j]]=times;
        }
        else {ret|=now;continue;}
    }
    printf("%lld\n",ret);

    return 0;
}