SRM 557

想了好久终于想清楚其中的正确性了

思路是把这n个数看成n个k维向量，然后这是个向量基，答案也是个向量基，这两个基等价，就是可以互相表示，就满足。

那么

1、把向量基化成极小的向量，贪心方法，先把每个向量的最高位的位数变成不同的（类似解行列式），然后通过最高位比较低的向量，把最高位高的向量弄成极小。

2、把第一个向量弄成极大的

3、剩下所有向量都与第一个向量异或，最后得到答案。

正确性：第一个向量肯定是能达到的最大值。

取第i个向量和第一个异或，假设得到的如果还能更大，肯定是一个小向量和这个向量异或，假设小向量最高位是k，那么前面得到的向量第k位为0，因为第一个向量是最大的，所以第k位肯定是1（第2步），那么i这个向量第k为是1，这和第1步的第二小步（“然后通过最高位比较低的向量，把最高位高的向量弄成极小。”）矛盾。

所以得到的解肯定是最大的。

#include <vector>
#include <list>
#include <map>
#include <set>
#include <deque>
#include <stack>
#include <bitset>
#include <algorithm>
#include <functional>
#include <numeric>
#include <utility>
#include <sstream>
#include <iostream>
#include <iomanip>
#include <cstdio>
#include <cmath>
#include <cstdlib>
#include <ctime>
#include <cstring>

using namespace std;

class XorAndSum {
public:
	long long maxSum(vector<long long> );
};

long long XorAndSum::maxSum(vector<long long> a) {
	int i, j;
	int n = a.size();
	for (i = 0; i < n; ++i) {
		for (j = i + 1; j < n; ++j) {
			a[i] = max(a[i], a[i] ^ a[j]);
		}
		for (j = i + 1; j < n; ++j) {
			a[j] = min(a[j], a[i] ^ a[j]);
		}
	}
	for (i = n - 1; i >= 0; --i) {
		for (j = i + 1; j < n; ++j)
			a[i] = min(a[i], a[i] ^ a[j]);
	}
	for (j = 1; j < n; ++j)
		a[0] = max(a[0], a[0] ^ a[j]);
	long long ret = a[0];
	for (j = 1; j < n; ++j) {
		ret += a[j] ^ a[0];
	}
	return ret;
}