P5283 [十二省联考2019]异或粽子

参考了一些别人的一些题解
有道bzoj的类似的题叫做 异或之
求的是k对异或和最小
我们这题虽然求k个区间但是可以通过前缀和变成k对
仔细读题 这个材料是可以重复的 所以这些区间可以重合

#include <bits/stdc++.h>
#include <cstdio>
#include <cstring>
#include <iostream>
#include <vector>
#include <queue>
#include <algorithm>
#include <cmath>
#define mem(a,b) memset(a,b,sizeof(a))
#define ll long long
#define ull unsigned long long
#define PI acos(-1)
#define pb(x)   push_back(x)
#define il inline
#define re register
#define IO; ios::sync_with_stdio(0);cin.tie(0);
#define ls (o<<1)
#define rs (o<<1|1)
#define pii pair<long long,long long>
using namespace std;
const int maxn = 5e5+5;
const int maxm = 2e5+5;
const int INF = 0x3f3f3f3f;
const ll LINF = 3e17+1;
const int mod = 1e9+7;
int n, m;
inline ll read(){
    register ll x=0,f=1;char ch=getchar();
    while(!isdigit(ch)){if(ch=='-')f=-1;ch=getchar();}
    while(isdigit(ch)){x=(x<<3)+(x<<1)+ch-'0';ch=getchar();}
    return (f==1)?x:-x;
}
const int N=20000000+10;
ll a[N];
struct node
{
    int a,id;
    ll ans;
    bool operator < (const node& rhs) const
    {
        return ans < rhs.ans;
    }
    // 这里小的在前是贪心的思想 我们让最小的先变成最大的（个人理解）
};
priority_queue<node>q;
int tr[N][2], idx, siz[N];
void ins(ll x)
{
    int now = 0;
    siz[now]++;
    for (int i = 31; i >= 0; i--)
    {
        int d = (x>>i)&1;
        if (!tr[now][d])    tr[now][d] = ++idx;
        now = tr[now][d];
        siz[now]++;
    }
}
ll qry(ll x, int k)
{
    int now = 0;
    ll res = 0;
    for (int i = 31; i >= 0; i--)
    {
        int d = (x>>i)&1;
        if (!tr[now][d^1])  now = tr[now][d];
        else if (siz[tr[now][d^1]] >= k)
        {
            now = tr[now][d^1];
            res |= 1ll<<i;
        }
        else
            k -= siz[tr[now][d^1]], now = tr[now][d];
    }
    return res;
}
int main()
{
    int k;
    n = read(), k = read()<<1;
    //	2*k 之后说
    ins(0);
	// 记得插入0 因为前缀和 r l-1 差不多这个意思
    for (int i = 1; i <= n; i++)
        a[i] = read(), a[i]^= a[i-1], ins(a[i]);
    q.push((node){0,1,qry(a[0],1)});
    // 首先求第一大的放入堆中
    for (int i = 1; i <= n; i++)
    {
        node tmp;
        tmp.ans = qry(a[i],1);
        tmp.a = i;tmp.id = 1;
        q.push(tmp);
    }
    ll ans = 0;
    // 因为 x^y y^x的情况都会被算进去所以两个相同的值会在桶里
    // 所以桶中的最小贡献我们都重复加了一次
    // 所以最后答案除以2
    for (int i = 1; i <= k; i++)
    {
        node tmp = q.top(); q.pop();
        ans += tmp.ans;
        if (tmp.id < n) q.push((node){tmp.a,tmp.id+1,qry(a[tmp.a],tmp.id+1)});
    }
    printf("%lld\n", ans/2);

    return 0;
}