FWT小结

news/2024/6/3 21:09:52 标签: FWT, 分治, 卷积

核心思想:把 a , b a,b a,b 化成 f w t ( a ) , f w t ( b ) fwt(a),fwt(b) fwt(a),fwt(b),相乘后再化为 a a a

化的过程用的是分治

所以和FFT其实一模一样

OR / AND 卷积

不需要什么技巧,暴力分治转移即可

每次分治下去,相当于位数减一

注意合并过程中我们是计算对应位的贡献

因为其它位的贡献我们在分治下去时已经计算了

后面区间其他数贡献到前面某个位置已经统计到后面的那个位置了
在这里插入图片描述

OR

在这里插入图片描述
在这里插入图片描述
考虑如何还原

对上面式子进行换元即可

在这里插入图片描述

void OR(int *f, int x) {
	for(k=1, o=2; o<=n; o<<=1, k<<=1)
		for(i=0; i<n; i+=o)
			for(j=0; j<k; ++j) 
				f[i+j+k]=(f[i+j+k]+f[i+j]*x)%mo; 
}

AND

反过来好像就行了

在这里插入图片描述

void AND(int *f, int x) {
	for(k=1, o=2; o<=n; o<<=1, k<<=1)
		for(i=0; i<n; i+=o)
			for(j=0; j<k; ++j) 
				f[i+j]=(f[i+j]+f[i+j+k]*x)%mo; 
}

XOR卷积

这个需要点技巧

首先考虑若有转移系数,必须满足以下条件:

在这里插入图片描述

我们可以用以下方法构造:

在这里插入图片描述

构造的原理:

异或前后 1 的个数的奇偶性不变

因此得证:

在这里插入图片描述

在这里插入图片描述

所以有:

在这里插入图片描述

我们把它写成这个形式:

在这里插入图片描述

然后考虑如何FWT和IFWT

思考分治过程中popcount的变化

在这里插入图片描述

因此合并的过程可以表示为:

在这里插入图片描述

换元一下可以得到其逆变换:

在这里插入图片描述

void XOR(int *f, int x) {
	for(k=1, o=2; o<=n; o<<=1, k<<=1) 
		for(i=0; i<n; i+=o) 
			for(j=0; j<k; ++j) {
				f[i+j]+=f[i+j+k]; 
				f[i+j+k]=f[i+j]-2*f[i+j+k]; 
				f[i+j]=f[i+j]*x%mo; f[i+j+k]=f[i+j+k]*x%mo; 
			}
}

板子

#include<bits/stdc++.h>
using namespace std;
#define int long long
inline int read(){int x=0,f=1;char ch=getchar();
while(ch<'0'||ch>'9'){if(ch=='-')f=-1;
ch=getchar();}while(ch>='0'&&ch<='9'){x=(x<<1)+
(x<<3)+(ch^48);ch=getchar();}return x*f;}
#define Z(x) (x)*(x)
#define pb push_back
//#define M
#define mo 998244353
#define N 200010
int pw(int a, int b) {
	int ans=1; 
	while(b) {
		if(b&1) ans*=a; 
		a*=a; b>>=1; 
		ans%=mo; a%=mo; 
	}
	return ans; 
}
const int inv2=pw(2, mo-2); 
int n, m, i, j, k, T;
int a[N], b[N], A[N], B[N], o; 

void cp() {
	for(i=0; i<n; ++i) a[i]=A[i], b[i]=B[i]; 
}

void pr() {
	for(i=0; i<n; ++i) printf("%lld ", (a[i]%mo+mo)%mo); 
	printf("\n"); 
}

void mul() {
	for(i=0; i<n; ++i) a[i]=a[i]*b[i]%mo; 
}

void OR(int *f, int x) {
	for(k=1, o=2; o<=n; o<<=1, k<<=1)
		for(i=0; i<n; i+=o)
			for(j=0; j<k; ++j) 
				f[i+j+k]=(f[i+j+k]+f[i+j]*x)%mo; 
}

void AND(int *f, int x) {
	for(k=1, o=2; o<=n; o<<=1, k<<=1)
		for(i=0; i<n; i+=o)
			for(j=0; j<k; ++j) 
				f[i+j]=(f[i+j]+f[i+j+k]*x)%mo; 
}

void XOR(int *f, int x) {
	for(k=1, o=2; o<=n; o<<=1, k<<=1) 
		for(i=0; i<n; i+=o) 
			for(j=0; j<k; ++j) {
				f[i+j]+=f[i+j+k]; 
				f[i+j+k]=f[i+j]-2*f[i+j+k]; 
				f[i+j]=f[i+j]*x%mo; f[i+j+k]=f[i+j+k]*x%mo; 
			}
}

signed main()
{
//	freopen("in.txt", "r", stdin);
//	freopen("out.txt", "w", stdout);
//	srand(time(NULL));
//	T=read();
//	while(T--) {
//
//	}
	n=read(); n=(1<<n); 
	for(i=0; i<n; ++i) A[i]=read(); 
	for(i=0; i<n; ++i) B[i]=read(); 
	cp(); OR(a, 1); OR(b, 1); mul(); OR(a, -1); pr(); 
	cp(); AND(a, 1); AND(b, 1); mul(); AND(a, -1); pr(); 
	cp(); XOR(a, 1); XOR(b, 1); mul(); XOR(a, inv2); pr(); 
	return 0;
}


http://www.niftyadmin.cn/n/5029512.html

相关文章

代码随想录算法训练营第五十五天| LeetCode647. 回文子串、516.最长回文子序列

647. 回文子串 题目描述: 647. 回文子串. 解法 二维dp class Solution(object):def countSubstrings(self, s):dp [[False] * len(s) for _ in range(len(s))]count 0for i in range(len(s)-1,-1,-1):for j in range(i,len(s)):if s[i] s[j]:if i j or j-1 i:dp[i][j]…

lintcode 576 · 分割数组 【中等 模拟】

题目 https://www.lintcode.com/problem/576 给你一个长度为N的整型数组arr&#xff0c;使用下标从0到N-1&#xff0c; 请你选出两个数 p q 要求 0<p<q<N−1 并且 q−p>1&#xff0c;求出arr[p]arr[q]的最小值5≤N≤10^5 1≤arr[i]≤10 ^9样例 输入:[5,2,4,6,3,7…

深度学习训练过程可视化工具

1.深度学习网络结构画图工具 地址&#xff1a;https://cbovar.github.io/ConvNetDraw/ 2.caffe可视化工具 输入&#xff1a;caffe配置文件 输出&#xff1a;网络结构 地址&#xff1a;http://ethereon.github.io/netscope/#/editor 3.深度学习可视化工具Visual DL Visual D…

swift 约束布局

添加约束布局 背景图瀑全屏 如何三等分 外面view容器没有约束

PYTHON-模拟练习题目集合

&#x1f308;write in front&#x1f308; &#x1f9f8;大家好&#xff0c;我是Aileen&#x1f9f8;.希望你看完之后&#xff0c;能对你有所帮助&#xff0c;不足请指正&#xff01;共同学习交流. &#x1f194;本文由Aileen_0v0&#x1f9f8; 原创 CSDN首发&#x1f412; 如…

dp记录。

0.dp dp的本质上是在一个有向无环图上做拓扑&#xff0c;当前状态不会受后续结果的影响&#xff0c;因此设计状态是这很重要的一点 考虑转移方程 &#xff0c;可以从当前这个点&#xff0c;可以从哪些点走过来&#xff0c;或者说当前这个点可以走到哪些点。 1.线性dp 一维状态 …

算法|Day52 单调栈3

LeetCode 84.柱状图中最大的矩形 题目链接&#xff1a;力扣&#xff08;LeetCode&#xff09;官网 - 全球极客挚爱的技术成长平台 题目描述&#xff1a;给定 n 个非负整数&#xff0c;用来表示柱状图中各个柱子的高度。每个柱子彼此相邻&#xff0c;且宽度为 1 。 求在该柱状…

高阶数据结构(2)-----红黑树(未完成)

一)红黑树的基本概念和基本性质: 1)红黑树就是一种高度平衡的二叉搜索树&#xff0c;但是在每一个节点上面都增加了一个存储位来表示结点的颜色&#xff0c;可以是红色或者是黑色&#xff0c;通过对任何一条从根节点到叶子节点上面的路径各个节点着色方式的限制&#xff0c;红黑…