hdu 3949 XOR

题目链接

线性基知识讲解

题意：

给我们$n$个整数，让我们从中至少选取一个进行异或运算，问我们第$k$小的结果是多少？

题解：

发现$n$的数量较大，因此暴力肯定不行。为了将处理的数据范围减小，我们可以使用线性基处理。我们发现，每个数的二进制位也就63位，因此采用线性基处理之后，得到的无关组的向量个数最多$63$个，相比之前的$1e4$，数量已经大幅减少。

由于题目要求至少取一个进行异或运算，因此，我们需要对原来的向量组能否取到$0$进行特判。方法就是，比较当前的无关组的向量个数$d$与之前向量组向量个数$n$，如果$d<n$，表明之前的向量组是线性相关的，因此一定可以表示出0。如果$d=n$，那么说明之前的向量组是线性无关的，一定表示不出0。

为什么要对能否表示0进行特判？

对于每个询问$k$，我们想找到第$k$小的数，如果0可以被表示出来，那么我们要找的第$k$小的数，就是将$k-1$在当前线性基的最高位为1的向量异或起来的值。

为什么就是这个值？

假设现在求出的线性基是：

将所有的向量根据为1的最高位表示在数轴上：

假设当前$k=3$且0可以被原向量组表示出来，那么$k-1$在数轴对应位置上的值就是$010$，将1对应的向量异或起来即是答案。因为此时，比当前数小的只有0和，在当前数轴上值为001对应的数，那么当前数就是第$k$小的数。可以自己对其他例子进行验证。

如果0不能被表示，则答案是，$k$在当前线性基的最高位为1的向量异或起来的值。

实现细节见代码：

#include <bits/stdc++.h>
using namespace std;
#define int long long
int a[10010];
signed main() {
	ios::sync_with_stdio(false);
	cin.tie(0), cout.tie(0);
	int t, kase = 0;
	cin >> t;
	while (t--) {
		int n;
		cin >> n;
		for (int i = 0; i < n; i++) {
			cin >> a[i];
		}
		int now = 0;
		// 求最大线性无关组
		for (int i = 62; i >= 0; i--) {
			for (int j = now; j < n; j++) {
				if (a[j] >> i & 1) {
					swap(a[j], a[now]);
					break;
				}
			}
			if ((a[now] >> i & 1) == 0) continue;
			for (int j = 0; j < n; j++) {
				if (j != now && (a[j] >> i & 1)) {
					a[j] ^= a[now];
				}
			}
			now++;
			if (now == n) break;
		}
		int q;
		cin >> q;
		cout << "Case #" << ++kase << ":" << endl;
		while (q--) {
			int k;
			cin >> k;
			if (now < n) k--; // 判断0是否可以被表示出来
			if (k >= (1ll << now)) { // 如果大于当前线性基所能表示的最大范围，直接输出-1
				cout << -1 << endl;
			}
			else {
				int ans = 0;
				for (int i = now - 1; i >= 0; i--) {
					if ((k >> i & 1)) { // 将线性基中向量对应位置为1的向量异或
						ans ^= a[now - 1 - i];
					}
				}
				cout << ans << endl;
			}
		}
	}
	return 0;
}