首页 > 其他分享 >【luogu AGC034F】RNG and XOR(FWT)

【luogu AGC034F】RNG and XOR(FWT)

时间:2022-10-21 11:33:42浏览次数:91  
标签:XOR limits int luogu sum mid AGC034F FWT

RNG and XOR

题目链接:luogu AGC034F

题目大意

给你一个长度为 2^n 的数组 A。
一开始有一个 \(0\) 数,然后每次你随机给它异或上 0~2^n-1 中的数,随机到 \(i\) 的概率跟 Ai+1 成正比。
然后对于 0~2^n-1 每个数问你第一次变成这个数的期望异或次数。

思路

考虑使用生成函数,\(f_i\) 为答案。

\(f_0=0\)
\(f_i=1+\sum\limits_{j=0}^{2^n-1}f_{i\oplus j}p_j\)
\(F+f'_0=I+F*P\)

\(I=\sum\limits_{i=0}^{2^n-1}x^i\)

求 \(f'_0\):
\(F=\sum\limits_{i=0}^{\infty}f_ix^i\)
\(S(F)=\sum\limits_{i=0}^{\infty} f_i\)
\(S(F)+f'_0=S(I)+S(F)*S(P)\)
\(S(P)=1,S(I)=2^n\)
\(f_0'=2^n\)

\(F+2^n=I+F*P\)
\(F(P-1)=2^n-I,F=\dfrac{2^n-I}{P-1}\)

但是有一个问题就是 \([x^0](P-1)\) 它 FWT 之后会是 \(0\)。
那就别管第 \(0\) 位,当他是 \(0\) 然后 IFWT。
那我们还有一个限制条件是 \(f_0=0\),那你 IFWT 之后 \(0\) 会赋值到的位置是所有,但你现在没有了,那你 \(f_0\) 现在的值是 \(-x\),那你给所有位置的值都加上 \(x\),就相当于处理了 \(0\) 位置的贡献了。

代码

#include<cstdio>
#define ll long long
#define mo 998244353

using namespace std;

const int N = 1 << 18;
int n;
ll p[N], a[N], sum, I[N], f[N], inv2;

ll ksm(ll x, ll y) {
	ll re = 1;
	while (y) {
		if (y & 1) re = re * x % mo;
		x = x * x % mo; y >>= 1;
	}
	return re;
}

void FWT(ll *f, int n, int op) {
	for (int mid = 1; mid < n; mid <<= 1)
		for (int R = (mid << 1), j = 0; j < n; j += R)
			for (int k = 0; k < mid; k++) {
				ll x = f[j | k], y = f[j | mid | k];
				if (op == 1) {
					f[j | k] = (x + y) % mo;
					f[j | mid | k] = (x - y + mo) % mo;
				}
				else {
					f[j | k] = (x + y) * inv2 % mo;
					f[j | mid | k] = (x - y + mo) * inv2 % mo;
				}
			}
}

int main() {
	inv2 = (mo + 1) / 2;
	
	scanf("%d", &n);
	for (int i = 0; i < (1 << n); i++) scanf("%lld", &a[i]), (sum += a[i]) %= mo;
	sum = ksm(sum, mo - 2); for (int i = 0; i < (1 << n); i++) p[i] = a[i] * sum % mo;
	
	p[0] = (p[0] - 1 + mo) % mo;
	I[0] = (1 << n); for (int i = 0; i < (1 << n); i++) I[i] = (I[i] - 1 + mo) % mo;
	
	FWT(p, 1 << n, 1); FWT(I, 1 << n, 1);
	for (int i = 1; i < (1 << n); i++) f[i] = I[i] * ksm(p[i], mo - 2) % mo;
	FWT(f, 1 << n, -1);
	
	ll fix = f[0];
	for (int i = 0; i < (1 << n); i++) f[i] = (f[i] - fix + mo) % mo;
	for (int i = 0; i < (1 << n); i++) printf("%lld\n", f[i]);
	
	return 0;
}

标签:XOR,limits,int,luogu,sum,mid,AGC034F,FWT
From: https://www.cnblogs.com/Sakura-TJH/p/luogu_AGC034F.html

相关文章

  • luogu P1972 SDOI2009 HH的项链
    P1972SDOI2009HH的项链-洛谷|计算机科学教育新生态(luogu.com.cn)维护一个长度同为\(n\)的数组\(b\)。一个指针\(R\)从\(1\)扫到\(n\)并做如下操作:检查......
  • 【luogu CF1163F】Indecisive Taxi Fee(图论)(分类讨论)
    IndecisiveTaxiFee题目链接:luoguCF1163F题目大意给你一个无向图,每次改一条边的权值(每次都会变回来),问你1~n的最短路长度。思路考虑分类讨论,先找到最短路的路径,然......
  • 【luogu CF1140F】Extending Set of Points(线段树分治)
    ExtendingSetofPoints题目链接:luoguCF1140F题目大意有一个点集,有一个扩展操作是加入符合条件的(x0,y0)直到不能加入位置。符合条件是原来(x0,y0)不存在而且存......
  • luogu P3685 [CERC2016]不可见的整数 Invisible Integers
    题面传送门真的吐了,写了五六个小时。首先我们不考虑两边都能走,只考虑向左走,那么的话如果两个从左到右的集合分别为\(S1,S2\),则\(S1\subsetS2\),且除去\(S1\)已经匹配掉的......
  • luogu P5339 [TJOI2019]唱、跳、rap和篮球 (容斥,指数型母函数,NTT)
    https://www.luogu.com.cn/problem/P5339要求不含1234的方案,反过来求含至少一个1234的方案。钦定存在i个位置有1234,位置的方案是Cn-3i,i.其他n-4i个位置的方案是多重集......
  • XOR-Hashing
    link一直没听说过这个玩意,做昨天牛客的时候想到异或的结论,但是就是卡在值冲突上了。收集一些例题:CF1175FCF869ECF1622FABC250E......
  • 【luogu CF645E】Intellectual Inquiry(DP)(结论)(矩阵乘法)
    IntellectualInquiry题目链接:luoguCF645E题目大意给你一个序列,值域在1~k,然后要你在后面再加上m个数,也要满足值域,然后使得本质不同的子序列个数最多,输出这个数量。......
  • 【luogu P5161】WD与数列(SA)(单调栈)
    WD与数列题目链接:luoguP5161题目大意给你一个序列,问你有多少对区间,长度相同,没有相交部分,而且一个区间里面所有数同时加上某个数可以变成另一个区间。思路首先发现它......
  • luogu P3232 [HNOI2013]游走 (期望, 高斯消元)
    https://www.luogu.com.cn/problem/P3232思路:算出每条边的期望访问次数,将期望访问次数多的赋予小的编号。一条边的期望访问次数=访问点u的期望/u的度+访问点v的期望......
  • luoguP1505旅游(处理边权的树剖)
    /*luogu1505非常简单的处理边权的树剖题。在树上将一条边定向,把这条边的权值赋给这条边的出点树剖的时候不计算lca权值即可*/#include<bits/stdc......