P3812 线性基

题目链接

线性基知识讲解

题意：

给我们$n$个整数，让我们从中选任意个整数，使得他们的异或和最大。

题解：

这道题目$n$的数据范围给的不是很大，不能很好的感受到线性基在减少处理空间上的重要作用，其实这道题目$n$的范围可以加到$1e5$。

直接想枚举所有的数的组合显然不行。看到了异或和，我们可以想到进制。根据线性基的做法，我们可以将所有的整数看作一个向量组，每个向量的维度也就是他们的进制位数，这道题是50。接下来，我们要求出这个向量组的极大线性无关组，使用高斯消元。

将每个数转换成二进制，从高位到低位每次找到所有数中一个在该位不为0的数，将其上移到对应的行。然后，将除它之外所有该位不为0的数全部转换成0。这样，最后消元得到的无关组应该是一个上三角的形式。

由于这个线性无关组的每个向量的最高位一定为1，而其他向量该位置一定是0，因此为了保证异或和最大，我们必须选择该线性无关组的所有向量。

实现细节见代码：

#include <bits/stdc++.h>
using namespace std;
#define int long long
int a[110];
signed main() {
	ios::sync_with_stdio(false);
	cin.tie(0), cout.tie(0);
	int n;
	cin >> n;
	for (int i = 0; i < n; i++) {
		cin >> a[i];
	}
	int now = 0;
	for (int i = 50; i >= 0; i--) {
		for (int j = now; j < n; j++) {
			if (a[j] >> i & 1) { // 找到对应位置不为0的数，将其上移到相应位置
				swap(a[j], a[now]);
				break;
			}
		}
		if ((a[now] >> i & 1) == 0) continue; // 如果该位置所有数都为0，查看下一位
		for (int j = 0; j < n; j++) {
			if (j != now && (a[j] >> i & 1)) { // 将除自己以外的所有数该位置都变成0
				a[j] ^= a[now];
			}
		}
		now++;
		if (now == n) break;
	}
	int ans = 0;
	for (int i = 0; i < now; i++) { // 由于向量的最高位都为1，其他向量对应位置都为0，因此都要选
		ans ^= a[i];
	}
	cout << ans << endl;
	return 0;
}