LibreOJ #6060.「2017 山东一轮集训 Day1 / SDWC2018 Day1」Set 线性基

题意

给出n个非负整数，将数划分成两个集合，记为一号集合和二号集合。x1为一号集合中所有数的异或和，x2为二号集合中所有数的异或和。在最大化x1+x2的前提下，最小化x1。
$n\le10^5,a_i\le10^{18}$

分析

设 s s <script type="math/tex" id="MathJax-Element-136">s</script>表示所有数的异或和，那么我们就是要找一个最小的x1满足x1+x1 xor s最大。
考虑对于每一位分别贪心，如果s的这一位是1，那么无论x1这一位是0还是1对答案的贡献都相同，反之则x1的这一位取1会更优。
因为现在要以x1+x1 xor s作为第一关键字，x1作为第二关键字，那么对于所有的位，若其对答案有影响，那就是重要的，否则就是不重要的。
在线性基中，我们把所有位按照是否重要为第一关键字，权值为第二关键字按顺序插入，然后再按这个顺序来贪心即可。

代码

#include<iostream>
#include<cstdio>
#include<cstdlib>
#include<cstring>
#include<algorithm>

typedef long long LL;

const int N=100005;

int n;
LL bin[65],s,a[N],bas[65];

void ins(LL x)
{
    for (int i=60;i>=0;i--)
        if (!(s&bin[i])&&(x&bin[i]))
        {
            if (!bas[i]) {bas[i]=x;return;}
            x^=bas[i];
        }
    for (int i=60;i>=0;i--)
        if ((s&bin[i])&&(x&bin[i]))
        {
            if (!bas[i]) {bas[i]=x;return;}
            x^=bas[i];
        }
}

int main()
{
    bin[0]=1;
    for (int i=1;i<=61;i++) bin[i]=bin[i-1]*2;
    scanf("%d",&n);
    for (int i=1;i<=n;i++) scanf("%lld",&a[i]),s^=a[i];
    for (int i=1;i<=n;i++) ins(a[i]);
    LL ans=0,t=s^(bin[61]-1);
    for (int i=60;i>=0;i--)
        if (!(s&bin[i])&&((ans^bas[i])&t)>(ans&t)) ans^=bas[i];
    for (int i=60;i>=0;i--)
        if ((s&bin[i])&&(ans^bas[i])<ans) ans^=bas[i];
    printf("%lld",ans);
    return 0;
}