【题解】ARC137D - Prefix XORs

2022-03-20 10:02:45 阅读：185 来源： 互联网

标签：XORs int 题解异或当且 Prefix ans define

有意思的找规律题。我们先简单写一个程序打表，打印一个01方阵 \(u_{i,j}\) 表示经过 \(i\) 次操作后，\(a_n\) 是否要异或 \(a_j\)。

#define N 100005
int n, a[N];
int main() {
	read(n);
	a[n] = 1;
	int m = 1; while(m < n) m <<= 1;
	rp(i, m){
		rp(j, n)if(a[j])rp(k, j - 1)a[k] ^= 1;
		rp(j, n)printf("%d ", a[j]); el;
	}
	return 0;
}

当 \(n=16\) 时打的表如下。

1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1
0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1
0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1
0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 1
0 0 0 0 1 1 1 1 0 0 0 0 1 1 1 1
0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 1
0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 1
0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1
0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1
0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 1
0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 1
0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1
0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1
0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1
0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1
0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1

想必答案已经非常清楚了，\(u_{i,j} = 1\) 当且仅当 \(i\ \&\ j = i\)。所以对于每个 \(a_i\)，当且仅当 \(k\ \&\ i = k\) 时对 \(ans_k\) 产生贡献。所以这本质上是高维前缀和/子集卷积/FWT，直接做即可。

#define N 1000005
int n, m, w = 1, a[N], u[N];
void fwt(){
	for(int l = 2, k = 1; l <= w; l <<= 1, k <<= 1)
		for(int i = 0; i < w; i += l)rep(j, 0, k - 1)
			u[i + j] ^= u[i + j + k];
}
int main() {
	read(n, m); rp(i, n)read(a[i]);
	while(w < n) w <<= 1;
	rp(i, n)u[w - n + i - 1] = a[i];
	fwt();
	rp(i, m)printf("%d ", u[(i - 1) % w]);
	return 0;
}

标签：XORs,int,题解,异或,当且,Prefix,ans,define
来源： https://www.cnblogs.com/7KByte/p/16029055.html

本站声明： 1. iCode9 技术分享网（下文简称本站）提供的所有内容，仅供技术学习、探讨和分享；
2. 关于本站的所有留言、评论、转载及引用，纯属内容发起人的个人观点，与本站观点和立场无关；
3. 关于本站的所有言论和文字，纯属内容发起人的个人观点，与本站观点和立场无关；
4. 本站文章均是网友提供，不完全保证技术分享内容的完整性、准确性、时效性、风险性和版权归属；如您发现该文章侵犯了您的权益，可联系我们第一时间进行删除；
5. 本站为非盈利性的个人网站，所有内容不会用来进行牟利，也不会利用任何形式的广告来间接获益，纯粹是为了广大技术爱好者提供技术内容和技术思想的分享性交流网站。

ICode9

【题解】ARC137D - Prefix XORs