「Nowcoder Contest 295 H」Playing games

H. Playing games

题意

你有 $n$ 堆石子，数量分别是 $a_1,..,a_n$

问最多能选出几堆使得玩 Nim游戏 满足后手必胜

$n,a_i\le 5*10^5$

---

做法

首先题意可以转化为选出尽量多的数使得异或和为 $0$

这等价于选出尽量少的数的异或和等于 $a_1,..,a_n$ 的异或和

令 $s$ 表示 $a_1,..,a_n$ 的异或和

可以发现至多选出 $\lceil \log_2 max{a_i}\rceil$ 个数可以满足要求

这非常小

于是我们枚举一个答案 $ans$

用一个数列记录每个值出现的次数，异或卷积 $ans$ 次幂的第 $s$ 位如果不为空，那么 $ans$ 是可行的

用FWT加速这个过程，总复杂度 $\mathcal O(n\log^2n)$

---

考虑增加一个元素 $0$ 使得答案具有可二分性

复杂度 $\mathcal O(n\log n\log\log n)$

---

事实上我们并不需要每次IFWT

令集合幂级数 $f$ 表示集合幂级数 $\hat f$ 的沃尔什逆变换（Inverse Walsh Transform）

有

$$f_S=\frac{1}{2^n}\sum_{T\subseteq 2^U}\hat f_T(-1)^{|S\cap T|}$$

这可以在 $\mathcal O(n)$ 的时间内求出IFWT后一位的值

这样只需要在一开始做一次FWT

总复杂度 $\mathcal O(n\log n)$

---

代码

#include<cstdio>
#include<algorithm>
#include<ctype.h>
#include<string.h>
#include<math.h>

using namespace std;
#define ll long long

inline char read() {
	static const int IN_LEN = 1000000;
	static char buf[IN_LEN], *s, *t;
	return (s==t?t=(s=buf)+fread(buf,1,IN_LEN,stdin),(s==t?-1:*s++):*s++);
}
template<class T>
inline void read(T &x) {
	static bool iosig;
	static char c;
	for (iosig=false, c=read(); !isdigit(c); c=read()) {
		if (c == '-') iosig=true;
		if (c == -1) return;
	}
	for (x=0; isdigit(c); c=read()) x=((x+(x<<2))<<1)+(c^'0');
	if (iosig) x=-x;
}

const int N = 1<<19, P = 998244353;
int n, sum, cnt[N], f[N], g[N];
inline void FWT(int *f){
	for(int i=1; i<N; i<<=1) for(int j=0; j<N; j+=i<<1) for(int k=j; k<i+j; ++k){
		int x=f[k], y=f[k+i];
		f[k]=(x+y)%P, f[k+i]=(x-y)%P;
	}
}
int main() {
	read(n);
	for(int i=1, x; i<=n; ++i) read(x), f[x]=1, sum^=x;
	f[0]=1;
	FWT(f);
	for(int i=1; i<N; ++i) cnt[i]=cnt[i^(i&-i)]+1;
	for(int i=0; i<N; ++i) g[i]=1;
	for(int i=0; i<=19; ++i){
		ll ans=0;
		for(int j=0; j<N; ++j) ans+=(cnt[j&sum]&1?-g[j]:g[j]);
		if(ans%P) return printf("%d", n-i), 0;
		for(int j=0; j<N; ++j) g[j]=(ll)g[j]*f[j]%P;
	}
	return 0;
}