SPOJ 8217 XMAX - XOR Maximization 题解

题意：对于集合 S = {   a 1 , a 2 , … , a n   } S = \set{a_1, a_2, \dots, a_n} S={a1​,a2​,…,an​} ，设 $X(S)=a_1\oplus a_2\oplus \cdots \oplus a_n$（ $\oplus$ 表示异或）。给定 S = {   a 1 , a 2 , … , a n   } S = \set{a_1, a_2, \dots, a_n} S={a1​,a2​,…,an​} ，求 ${\max }_{T\subseteq S}X(T)$ 。

因为 $a_i<2^{60}$ ，所以设 $a_i$ 的二进制形式为 $\overline{b_{i,59}{b}_{i,58}\dots b_{i,1}{b}_{i,0}}$ ，设 $c_k$ 表示满足 $b_{i,k}=1$ 的 $i$ 的个数。如果 $c_k$ 是奇数，则 $X(S)$ 一定包含 $2^k$ 位。

因为一个数异或自身等于零，所以我们可以允许每个数使用多次，进而可知，用 $a_i\oplus a_j$ 替换 $a_j$（ $a_i$ 不变）对结果也没有影响，也不会影响 $b$ 中 $1$ 的个数的奇偶性，我们称这种替换为“合法替换”。而且，对 $S$ 的任意子集 $T$ ，都可以对 $S$ 进行若干次“合法操作”得到 $S^{\prime }$ ，使得 $X(S^{\prime })=X(T)$ 。

设命题 $p_k$ 为真当且仅当 $\exists i,b_{i,k}=1\wedge \forall l>k,b_{i,l}=0$ 。我们可以借助类似高斯消元的方法对 $S$ 中的元素进行若干次“合法替换”，使得 $S$（严谨表示应该用 $S^{\prime }$ ，但为了方便仍使用 $S$ ）满足：

• $\forall k,p_k\to c_k=1$
• 如果 $p_k$ 为假，则无法通过若干次“合法替换”使 $p_k$ 为真。
• 如果 $c_k$ 为偶数，那么如果经过若干次“合法替换”使 $c_k$ 为奇数，则必然存在 $l>k$ 使得 $c_l$ 从奇数变为偶数。

此时，$X(S)$ 就是所求的最大值，因为如果继续“合法替换”，即使将 $c_k$ 从偶数变为奇数，也一定会牺牲更高位，得不偿失。

代码：

#define NDEBUG
#include <bits/stdc++.h>
using ll = long long;
using namespace std;

int main()
{
    ios_base::sync_with_stdio(false);
    cin.tie(nullptr);
    int n;
    cin >> n;
    vector<ll> a(n);
    for (ll &i : a)
        cin >> i;
    for (int row{}, col{59}, pivot; col >= 0; --col)
    {
        for (pivot = row; pivot < n && ~a[pivot] >> col & 1; ++pivot)
            ;
        if (pivot < n)
        {
            swap(a[row], a[pivot]);
            for (int i{}; i < n; ++i)
                if (i != row && a[i] >> col & 1)
                    a[i] ^= a[row];
            ++row;
        }
    }
    ll ans{};
    for (ll &i : a)
        ans ^= i;
    cout << ans;
    return 0;
}