学习笔记第五十三节：单位根反演

最新推荐文章于 2022-11-02 10:57:53 发布

Deep_Kevin

最新推荐文章于 2022-11-02 10:57:53 发布

阅读量198

点赞数

分类专栏：学习笔记

版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。

本文链接：https://blog.csdn.net/Deep_Kevin/article/details/102586561

版权

学习笔记专栏收录该内容

61 篇文章 3 订阅

订阅专栏

正题

学过FFT的都知道单位根有一个这样的性质： $[n|t]=\frac{\sum_{i=0}^{n-1}\omega_{n}^{it}}{n}$

那么我们就可以解决这样的东西： $\sum_{i=0}^nC_{n}^ip^ia_{i\mod k}$

怎么解决呢？我们枚举一个j： $\sum_{j=0}^{k-1}a_j\sum_{i=0}^nC_n^ip^i[k|i-j]$

我们构造一个多项式 $f(x)=\sum_{i=0}^nC_n^ip^ix^i$

你会发现一个奇妙的事情：

$\sum_{i=0}^{k-1}f(\omega_k^i) \\=\sum_{i=0}^{k-1}\sum_{j=0}^nC_n^jp^j\omega_k^{ij} \\=\sum_{j=0}^nC_n^jp^j\sum_{i=0}^{k-1}\omega_k^{ij} \\=\sum_{j=0}^nC_n^jp^j[k|j]$

如果我们要求 $\sum_{j=0}^nC_n^jp^j[k|j-q]$ ，把它往上推发现第一条式子变成了 $\sum_{i=0}^{k-1}f(\omega_k^i)\omega_k^{-iq}$

那么原来的式子就变成了 $\sum_{j=0}^{k-1}a_j\sum_{i=0}^{k-1}f(\omega_k^i)\omega_k^{-ij}$ 。

好的这个式子就是k^2的，因为f可以快速算。

当然你也可以把它看成自变量为 $\omega_k^{-j}$ ，然后直接快速插值。

我们来想想一个式子： $C_{i+j}^2-C_i^2-C_j^2=ij$ ，展开即可证明

然后就变成了 $\sum_{j=0}^{k-1}a_j\sum_{i=0}^{k-1}f(\omega_k^i)\omega_k^{-C_{i+j}^2+C_i^2+C_j^2}$

把后面那一项拆开就可以一遍NTT了！

关注

0
点赞
踩
1

收藏

觉得还不错? 一键收藏
0
评论
学习笔记第五十三节：单位根反演

正题学过FFT的都知道单位根有一个这样的性质：那么我们就可以解决这样的东西：怎么解决呢？我们枚举一个j：我们构造一个多项式你会发现一个奇妙的事情：如果我们要求，把它往上推发现第一条式子变成了那么原来的式子就变成了。好的这个式子就是k^2的，因为f可以快速算...
复制链接

扫一扫

专栏目录

评论

被折叠的条评论为什么被折叠?

到【灌水乐园】发言

查看更多评论

添加红包

成就一亿技术人!

hope_wisdom

发出的红包

实付元

使用余额支付

点击重新获取

扫码支付

钱包余额 0

抵扣说明：

1.余额是钱包充值的虚拟货币，按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载，可以购买VIP、付费专栏及课程。