题目大意:有 n 个数,每个数的权值在 [ 0 , 2 18 − 1 ] [0,2^{18} -1] [0,218−1] 以内,问选 [1,2,3,…,n] 个数得到的异或和的最大值分别为多少。
拿到这题不由自主的往线性基的方向去想,由于权值只有 2 18 2^{18} 218,只有18位,这个序列最多可以构造一个秩为18的线性基,当要选出的个数大于19时,有 a n s [ i ] = a n s [ i − 2 ] ans[i] = ans[i - 2] ans[i]=ans[i−2]。
证明如下:若 i > 19 时, a n s [ i ] > a n s [ i − 2 ] ans[i] > ans[i - 2] ans[i]>ans[i−2],则说明线性基的秩至少为 i − 1 i - 1 i−1,而题目条件限制了秩最大为18,这与题目条件冲突。
由于最大秩为18,当 i = 19 时这个结论不一定成立,因此对 19 次以内的答案通过跑 18次 FWT 暴力求。
(不能通过取前 i 个基向量异或,在求线性基的时候,第 i 个加入的基向量是前 i - 1 个基向量的线性表示,将前 i 个基向量异或得到的是选出不多于 i 个数时异或得到的最大值)。
复杂度为 : O ( n + w log 2 w ) O(n + w\log^2w) O(n+wlog2w)
代码:
#include<bits/stdc++.h>
using namespace std;
typedef long long ll;
const int maxn = (1 << 18) + 100;
int a[maxn] ,n , ans[maxn] , tmp[maxn], vis[maxn];
void fwt(int a[],int len) {
for(int s = 2; s <= len; s <<= 1) {
for(int j = 0; j < len; j += s) {
for(int k = 0; k < s / 2; k++) {
int x = a[j + k];
int y = a[j + k + s / 2];
//对不同的卷积不同的变换
//xor:
a[j+k] = x+y, a[j+k+s/2] = x-y;
//and:a[j+k] = x+y, a[j+k+s/2] = y;
//or:a[j+k] = x, a[j+k+s/2] = x+y;
}
}
}
}
void ufwt(int a[],int len) {
for(int s = 2; s <= len; s <<= 1) {
for(int i = 0; i < len; i += s) {
for(int j = 0; j < s / 2; j++) {
int x = a[i + j],y = a[i + j + s / 2];
//xor:
a[i+j] = (x + y) / 2, a[i+j+s/2] = (x - y) / 2;
//and: a[i+j] = x - y, a[i+j+s/2] = y;
//or: a[i+j] = x, a[i+j+s/2] = y - x;
}
}
}
}
int main() {
scanf("%d",&n);
for (int i = 1; i <= n; i++)
scanf("%d",&a[i]), vis[a[i]] = 1;
int len = 1 << 18;
for (int j = 0; j < len; j++)
tmp[j] = vis[j];
fwt(vis,len);
for (int k = 1; k <= 19; k++) {
for (int i = 0; i < len; i++)
if (tmp[i]) tmp[i] = 1, ans[k] = i;
fwt(tmp,len);
for (int i = 0; i < len; i++)
tmp[i] *= vis[i];
ufwt(tmp,len);
}
for (int i = 20; i <= n; i++)
ans[i] = ans[i - 2];
for (int i = 1; i <= n; i++) {
printf("%d%s",ans[i],i == n ? "\n" : " ");
}
return 0;
}