卷积理论 & 高维FWT学习笔记
之前做了那么多生成函数和多项式卷积的题目,结果今天才理解了优化卷积算法的实质。
首先我们以二进制FWT or作为最简单的例子入手。
我们发现正的FWT or变换就是求$\hat{a}_j=\sum_{i\in j}a_i$,即子集和,那这个是怎么来的呢?
我们假设$a$到$\hat{a}$的转移矩阵为$X$,则
$$(\sum_{j}X_{i,j}a_j)*(\sum_{j}X_{i,j}b_j)=\sum_jX_{i,j}(\sum_{s|t=j}a_sb_t)$$
所以考虑$a_sb_t$的贡献。
$$X_{i,s}*X_{i,t}=X_{i,s|t}$$
所以对于$X$的每一行都有$X_s*X_t=X_{s|t}$
而且由于最后还要进行逆变换,也就是乘上$X^{-1}$,我们知道矩阵可以求逆当且仅当$X$的行列式不为0,所以$X$的任意两行都不相同。
根据这个,我们先假设$X$中只有0和1(因为这样是最简单的),然后$X_{s|t}=1$与$X_s=X_t=1$等价,所以就可以推出来了。
先看$n=8$的情形。
$$X=\begin{pmatrix}1 & 0 & 0 & 0 & 0 & 0 & 0 & 0 \\1 & 1 & 0 & 0 & 0 & 0 & 0 & 0 \\1 & 0 & 1 & 0 & 0 & 0 & 0 & 0 \\1 & 1 & 1 & 1 & 0 & 0 & 0 & 0 \\1 & 0 & 0 & 0 & 1 & 0 & 0 & 0 \\1 & 1 & 0 & 0 & 1 & 1 & 0 & 0 \\1 & 0 & 1 & 0 & 1 & 0 & 1 & 0 \\1 & 1 & 1 & 1 & 1 & 1 & 1 & 1\end{pmatrix}$$
打表找规律可得
$$X_{i,j}=\prod_{k=0}^{n-1}C_{i[2^k],j[2^k]}$$
其中$i[2^k]$表示$i$在二进制下的第$k$位。
$$C=\begin{pmatrix}1 & 0 \\ 1 & 1\end{pmatrix}$$
然后我们就知道如何进行分治计算这个向量乘矩阵了。(对,就是那个三重循环)
我们也可以把FFT的矩阵也这样写出来。
$$A=\begin{pmatrix}\omega_n^0 & \omega_n^0 & \ldots & \omega_n^0 & \omega_n^0 \\\omega_n^0 & \omega_n^1 & \ldots & \omega_n^{n-2} & \omega_n^{n-1} \\\vdots & \vdots & \ddots & \ddots & \ddots \\\omega_n^0 & \omega_n^{n-1} & \ldots & \omega_n^{(n-2)(n-1)} & \omega_n^{(n-1)(n-1)}\end{pmatrix}$$
即$A_{i,j}=\omega_n^{ij}$,所以
$$A^{-1}=\frac{1}{n}\begin{pmatrix}\omega_n^{-0} & \omega_n^{-0} & \ldots & \omega_n^{-0} & \omega_n^{-0} \\\omega_n^{-0} & \omega_n^{-1} & \ldots & \omega_n^{-(n-2)} & \omega_n^{-(n-1)} \\\vdots & \vdots & \ddots & \ddots & \ddots \\\omega_n^{-0} & \omega_n^{-(n-1)} & \ldots & \omega_n^{-(n-2)(n-1)} & \omega_n^{-(n-1)(n-1)}\end{pmatrix}$$
即$A^{-1}_{i,j}=\frac{\omega_n^{-ij}}{m}$
UOJ272 【清华集训2016】石家庄的工人阶级队伍比较坚强
我们设$B_{i,j}$表示$f_{i-1}$到$f_i$的转移矩阵。
定义$a\oplus b$表示三进制不进位加法,$a\ominus b$表示三进制不退位减法。易得这两个运算互为逆运算。
则$\forall k,B_{i\oplus k,j\oplus k}=B_{i,j}$,由数学归纳法得$\forall k,B_{i\oplus k,j\oplus k}^n=B_{i,j}^n$即$B_{i,j}^n=B_{0,j\ominus i}^n$
$$f_{n,i}=\sum_{j}f_{0,j}*B_{j,i}^n=\sum_{j}f_{0,j}*B_{0,i\ominus j}^n=\sum_{x\oplus y=i}f_x*B_{0,y}^n$$
所以我们只需要求出$B$矩阵的第一行并与$f_0$做三进制下的异或卷积就可以了。
我们先考虑二进制下的。
$$C=\begin{pmatrix}1 & 1 \\1 & -1\end{pmatrix}$$
($C$矩阵的意义见上)
所以感性理解一下(或者可以自己推一推),三进制的异或卷积的矩阵就是:
$$C=\begin{pmatrix}1 & 1 & 1 \\1 & \omega & \omega^2 \\1 & \omega^2 & \omega\end{pmatrix}$$
$$C^{-1}=\frac{1}{3}\begin{pmatrix}1 & 1 & 1 \\1 & \omega^2 & \omega \\1 & \omega & \omega^2\end{pmatrix}$$
其中$\omega=\frac{-1+\sqrt{3}i}{2}$
但是$\sqrt{3}$运算非常麻烦,还会有精度问题,所以我们取$1,\omega$作为基底而不是$1,i$,即把复数表示成$a+b\omega$的形式。
乘法与$a+bi$的乘法不一样,需要推一推。
$$(a+b\omega)(c+d\omega)=ac+(bc+ad)\omega+bd(-\omega-1)=(ac-bd)+(bc+ad-bd)\omega$$
然后就应该是做完了。
#include<cstdio>
#define Rint register int
using namespace std;
typedef long long LL;
const int N = ;
int n, m, t, p, po[], cntx[N], cnty[N];
inline void exgcd(int a, int b, int &x, int &y){
if(!b){x = ; y = ; return;}
exgcd(b, a % b, y, x); y -= (LL) a / b * x;
}
struct complex {
int x, y;
inline complex(int x = , int y = ): x(x), y(y){}
inline complex operator + (const complex &o) const {return complex((x + o.x) % p, (y + o.y) % p);}
inline complex operator - (const complex &o) const {return complex((x - o.x + p) % p, (y - o.y + p) % p);}
inline complex operator * (const complex &o) const {
return complex(((LL) x * o.x % p - (LL) y * o.y % p + p) % p, ((LL) y * o.x % p + (LL) x * o.y % p - (LL) y * o.y % p + p) % p);
}
} A[N], B[N];
inline complex kasumi(complex a, int b){
complex res = complex(, );
while(b){
if(b & ) res = res * a;
a = a * a;
b >>= ;
}
return res;
}
inline complex calc1(const complex &a){return complex((p - a.y) % p, (a.x - a.y + p) % p);}
inline complex calc2(const complex &a){return complex((a.y - a.x + p) % p, (p - a.x) % p);}
inline void dft(complex *A){
for(Rint mid = ;mid < n;mid *= )
for(Rint j = ;j < n;j += mid * )
for(Rint k = ;k < mid;k ++){
complex x = A[j + k], y = A[j + k + mid], z = A[j + k + mid * ];
A[j + k] = x + y + z;
A[j + k + mid] = x + calc1(y) + calc2(z);
A[j + k + mid * ] = x + calc1(z) + calc2(y);
}
}
inline void idft(complex *A){
for(Rint mid = ;mid < n;mid *= )
for(Rint j = ;j < n;j += mid * )
for(Rint k = ;k < mid;k ++){
complex x = A[j + k], y = A[j + k + mid], z = A[j + k + mid * ];
A[j + k] = x + y + z;
A[j + k + mid] = x + calc1(z) + calc2(y);
A[j + k + mid * ] = x + calc1(y) + calc2(z);
}
}
int trans[][];
int main(){
scanf("%d%d%d", &m, &t, &p);
po[] = ;
for(Rint i = ;i <= m;i ++) po[i] = (LL) po[i - ] * ;
n = po[m];
for(Rint i = ;i <= m;i ++) po[i] %= p;
if(p == ){
for(Rint i = ;i < n;i ++) puts("");
return ;
}
for(Rint i = ;i < n;i ++) scanf("%d", &A[i].x);
for(Rint i = ;i <= m;i ++)
for(Rint j = ;i + j <= m;j ++) scanf("%d", trans[i] + j);
for(Rint i = ;i < n;i ++){
cntx[i] = cntx[i / ] + (i % == );
cnty[i] = cnty[i / ] + (i % == );
B[i].x = trans[cntx[i]][cnty[i]];
//printf("%d ", B[i].x);
}
//putchar('\n');
dft(A); dft(B);
//for(Rint i = 0;i < n;i ++) printf("(%d, %d)\n", A[i].x, A[i].y);
//for(Rint i = 0;i < n;i ++) printf("(%d, %d)\n", B[i].x, B[i].y);
for(Rint i = ;i < n;i ++) A[i] = A[i] * kasumi(B[i], t);
idft(A);
int inv, tmp;
exgcd(n, p, inv, tmp);
inv = (inv + p) % p;
for(Rint i = ;i < n;i ++)
printf("%d\n", (LL) A[i].x * inv % p);
}
UOJ272
卷积理论 & 高维FWT学习笔记的更多相关文章
- 一个数学不好的菜鸡的快速沃尔什变换(FWT)学习笔记
一个数学不好的菜鸡的快速沃尔什变换(FWT)学习笔记 曾经某个下午我以为我会了FWT,结果现在一丁点也想不起来了--看来"学"完新东西不经常做题不写博客,就白学了 = = 我没啥智 ...
- FWT学习笔记
FWT学习笔记 引入 一般的多项式乘法是这样子的: \(c_i=\sum_{i,j}a_j*b_k*[j+k==i]\) 但是如果我们将这个乘法式子里面的+号变换一下变成其他的运算符号呢? \(c_i ...
- FMT/FWT学习笔记
目录 FMT/FWT学习笔记 FMT 快速莫比乌斯变换 OR卷积 AND卷积 快速沃尔什变换(FWT/XOR卷积) FMT/FWT学习笔记 FMT/FWT是算法竞赛中求or/and/xor卷积的算法, ...
- $\text {FWT}$学习笔记
\(\text {FWT}\) 学习笔记 正常项的\(\text {FWT}\) 在\(\text {OI}\)中,我们经常会碰到这种问题: 给出一个长度为\(n\)的序列\(a_{1,2,...,n ...
- FWT 学习笔记
FWT学习笔记 好久以前写的,先粘上来 定义数组 \(n=2^k\) \(A=[a_0,a_1,a_2,a_3,...,a_{n-1}]\) 令\(A_0=[a_0,a_1,a_2,...,a_{\f ...
- 快速沃尔什变换 (FWT)学习笔记
证明均来自xht37 的洛谷博客 作用 在 \(OI\) 中,\(FWT\) 是用于解决对下标进行位运算卷积问题的方法. \(c_{i}=\sum_{i=j \oplus k} a_{j} b_{k} ...
- 快速沃尔什变换 FWT 学习笔记【多项式】
〇.前言 之前看到异或就担心是 FWT,然后才开始想别的. 这次学了 FWT 以后,以后判断应该就很快了吧? 参考资料 FWT 详解 知识点 by neither_nor 集训队论文 2015 集合幂 ...
- 快速沃尔什变换(FWT)学习笔记 + 洛谷P4717 [模板]
FWT求解的是一类问题:\( a[i] = \sum\limits_{j\bigoplus k=i}^{} b[j]*c[k] \) 其中,\( \bigoplus \) 可以是 or,and,xor ...
- FWT快速沃尔什变换学习笔记
FWT快速沃尔什变换学习笔记 1.FWT用来干啥啊 回忆一下多项式的卷积\(C_k=\sum_{i+j=k}A_i*B_j\) 我们可以用\(FFT\)来做. 甚至在一些特殊情况下,我们\(C_k=\ ...
随机推荐
- java.lang.ClassCastException: com.sun.proxy.$Proxy4 cannot be cast
解决方案 在配置文件中配置proxy-target-class="true" <aop:aspectj-autoproxy proxy-target-class=" ...
- Git 常用命令 MD
| Markdown版本笔记 | 我的GitHub首页 | 我的博客 | 我的微信 | 我的邮箱 || :------------: | :------------: | :------------: ...
- ABP的UnitOfWork内部SaveChanges无效
应用层一个AppService默认是一个工作单元,默认是开启的,默认是事务的.因为应用服务方法应该是原子的且一般都会使用数据库. 但是有些情况需要关闭工作单元 1.AppService有多个操作需要操 ...
- CSS一些常用样式
限制行数溢出省略号 display: -webkit-box; -webkit-box-orient: vertical; -webkit-line-clamp: ; overflow: hidden ...
- 关于__new__和__init__
关于__new__和__init__ 例如一个类 class Foo(object): def __init__(self): print(1) def __new__(self): print(2) ...
- Linux 命令集锦
linux 一切从根开始,一切皆文件~ 让我们从一些命令开始了解吧 基本命令 man command:manual:查看命令帮助手册 ls:list:查看当前文件夹下的内容 -a 查看所有内容,包含 ...
- MySQL5.6.11安装步骤(Windows7 64位)
1. 下载MySQL Community Server 5.6.21,注意选择系统类型(32位/64位) 2. 解压MySQL压缩包 将以下载的MySQL压缩包解压到自定义目录下. 3. 添加环境变量 ...
- 推荐排序---Learning to Rank:从 pointwise 和 pairwise 到 listwise,经典模型与优缺点
转载:https://blog.csdn.net/lipengcn/article/details/80373744 Ranking 是信息检索领域的基本问题,也是搜索引擎背后的重要组成模块. 本文将 ...
- Hadoop添加LZO压缩支持
启用lzo的压缩方式对于小规模集群是很有用处,压缩比率大概能降到原始日志大小的1/3.同时解压缩的速度也比较快. 安装 准备jar包 1)先下载lzo的jar项目https://github.com/ ...
- Java多维数组定义以及常见异常
import java.lang.*; import java.util.*; public class Demo1 { public static void main(String args[]){ ...