[快速傅立叶变换&快速傅里叶变换]【旧 手写笔记】
$FFT$好美啊
参考资料:
简单说一下,具体在下面的图片
实现:
可以用$complex$也可以手写 和计算几何差不多 注意$complex*complex$
$omega[k]=w(n,k)$ $omegaInv[k]=w(n,-k)$是共轭复数 先预处理 递推可能有精度问题
$transform$
- 先把位置弄好了,方法是直接求二进制逆序,单向交换
- 然后枚举$l$为当前合并后的长度,$m=l>>1$就是当前要合并的两段的长度,$p$枚举位置,蝴蝶变化,指针就是喵啊
- $[p,p+m)$保存了$A_0$,$[p+m,p+l)$保存了$A_1$,然后就是利用了$A(x)=A_0(x^2)+x*A_1(x^2)$
$FFT$要先加倍次数界
const double PI=acos(-);
struct Vector{
double x,y;
Vector(double a=,double b=):x(a),y(b){}
};
typedef Vector CD;
Vector operator +(Vector a,Vector b){return Vector(a.x+b.x,a.y+b.y);}
Vector operator -(Vector a,Vector b){return Vector(a.x-b.x,a.y-b.y);}
Vector operator *(Vector a,Vector b){return Vector(a.x*b.x-a.y*b.y,a.x*b.y+a.y*b.x);}
Vector conj(Vector a){return Vector(a.x,-a.y);} struct FastFourierTransform{
int n,rev[N];
CD omega[N],omegaInv[N];
void ini(int m){
n=;
while(n<m) n<<=;
for(int k=;k<n;k++)
omega[k]=CD(cos(*PI/n*k),sin(*PI/n*k)),
omegaInv[k]=conj(omega[k]); int k=;
while((<<k)<n) k++;
for(int i=;i<n;i++){
int t=;
for(int j=;j<k;j++) if(i&(<<j)) t|=(<<(k-j-));
rev[i]=t;
}
}
void transform(CD *a,CD *omega){
for(int i=;i<n;i++) if(i<rev[i]) swap(a[i],a[rev[i]]);
for(int l=;l<=n;l<<=){
int m=l>>;
for(CD *p=a;p!=a+n;p+=l)
for(int k=;k<m;k++){
CD t=omega[n/l*k]*p[k+m];
p[k+m]=p[k]-t;
p[k]=p[k]+t;
}
}
}
void DFT(CD *a,int flag){
if(flag==) transform(a,omega);
else{
transform(a,omegaInv);
for(int i=;i<n;i++) a[i].x/=(double)n;
}
}
}fft;
FFT模板
每次递推$w$会更快
长度枚举到$l$时 $w_n=e^{\frac{2\pi}{i}}$
const double PI=acos(-);
struct Vector{
double x,y;
Vector(double a=,double b=):x(a),y(b){}
};
typedef Vector CD;
Vector operator +(Vector a,Vector b){return Vector(a.x+b.x,a.y+b.y);}
Vector operator -(Vector a,Vector b){return Vector(a.x-b.x,a.y-b.y);}
Vector operator *(Vector a,Vector b){return Vector(a.x*b.x-a.y*b.y,a.x*b.y+a.y*b.x);} struct FastFourierTransform{
int n,rev[N];
void ini(int m){
n=;
while(n<m) n<<=; int k=;
while((<<k)<n) k++;
for(int i=;i<n;i++){
int t=;
for(int j=;j<k;j++) if(i&(<<j)) t|=(<<(k-j-));
rev[i]=t;
}
}
void DFT(CD *a,int flag){
for(int i=;i<n;i++) if(i<rev[i]) swap(a[i],a[rev[i]]);
for(int l=;l<=n;l<<=){
int m=l>>;
CD wn(cos(*PI/l),flag*sin(*PI/l));
for(CD *p=a;p!=a+n;p+=l){
CD w(,);
for(int k=;k<m;k++){
CD t=w*p[k+m];
p[k+m]=p[k]-t;
p[k]=p[k]+t;
w=w*wn;
}
}
}
if(flag==-) for(int i=;i<n;i++) a[i].x/=n;
}
}fft;
FFT模板2
卷积 $(f \times g)(n)=\sum\limits_{i=0}^{n}{f(i)*g(n-i)}$
多项式乘法就是一个系数向量的卷积
可以用$FFT$快速计算卷积
遇到和不是定值的情况可以反转一个向量




本来是另一篇博客,搬到这里来了
参考资料
http://blog.miskcoo.com/2015/04/polynomial-multiplication-and-fast-fourier-transform#i-13
https://oi.men.ci/fft-to-ntt/
http://blog.csdn.net/acdreamers/article/details/8883285
目的:
1.只有整数参与时防止浮点误差(我做题少,还没遇到误差......)
2.题目要求模意义下
阶:设,
,使得
成立的最小的
,称为
对模
的阶,记为
。
原根:设是正整数,
是整数,若
模
的阶等于
,则称
为模
的一个原根。
假设一个数对于模
(p is prime)来说是原根,那么
,
结果互不相同,那么
是模
的一个原根;
因为当且仅当指数为
的时候成立,所以不可能相同啊。
模有原根的充要条件:
,其中
是奇素数。
求模素数原根的方法:
枚举g,对素因子分解,即
是
的标准分解式,若恒有
成立,则
就是
的原根。(对于合数求原根,只需把
换成
即可)
实现:
PrimitiveRoot
当然了,在NNT中为了简单起见不要筛素数了,直接枚举p-1的所有约数就行了
ll powMod(ll a,ll b,ll MOD){
ll ans=1;
for(;b;b>>=1,a=a*a%MOD)
if(b&1) ans=ans*a%MOD;
return ans;
}
int PrimitiveRoot(int p){
if(p==2) return 1;
for(int g=2;g<p;g++){
int flag=1,m=sqrt(p);
for(int i=2;i<=m;i++) if((p-1)%i==0)
if(powMod(g,(p-1)/i,p)==1) {flag=0;break;}
if(flag) return g;
}
return 0;
}
NNT ---Fast Number-Theoretic Transform
质数p=q*n+1 (n=2m) 原根g 则gqn Ξ 1 (mod p)
将看成是
的等价
令gn Ξ gq (mod p) 即wn的等价
- gn0,1,...,n-1 (mod p) 互不相同
- gn^n Ξ 1 (mod p) 则 gn^n/2 Ξ -1 (mod p) ,因为互不相同所以不能是1
- 其他wn的性质也满足
所以可以用原根代替单位根
这里的n(用N表示吧)可以比原来那个的n(乘法结果的长度扩展到2的幂次后的n)大,只要把q*N/n看做q就行了
枚举到l长度时wn就是g(p-1)/l
通常P和g是固定的,提前处理出来就行了 一个很好的选择是 1004535809=479⋅221+1
ll P=1004535809,MOD=P;
ll Pow(ll a,ll b,ll MOD){
ll ans=1;
for(;b;b>>=1,a=a*a%MOD)
if(b&1) ans=ans*a%MOD;
return ans;
}
struct NumberTheoreticTransform{
int n,rev[N];
ll g;
void ini(int m){
n=1;
while(n<m) n<<=1; int k=0;
while((1<<k)<n) k++;
for(int i=0;i<n;i++){
int t=0;
for(int j=0;j<k;j++) if(i&(1<<j)) t|=(1<<(k-j-1));
rev[i]=t;
} g=3;
}
void DFT(ll *a,int flag){
for(int i=0;i<n;i++) if(i<rev[i]) swap(a[i],a[rev[i]]);
for(int l=2;l<=n;l<<=1){
int m=l>>1;
ll wn=Pow(g,flag==1?(P-1)/l:P-1-(P-1)/l,P);
for(ll *p=a;p!=a+n;p+=l){
ll w=1;
for(int k=0;k<m;k++){
ll t=w*p[k+m]%P;
p[k+m]=(p[k]-t+P)%P;
p[k]=(p[k]+t)%P;
w=w*wn%P;
}
}
}
if(flag==-1){
ll inv=Pow(n,P-2,P);;
for(int i=0;i<n;i++) a[i]=a[i]*inv%P;
}
}
void MUL(ll *A,ll *B){
DFT(A,1);DFT(B,1);
for(int i=0;i<n;i++) A[i]=A[i]*B[i]%MOD;
DFT(A,-1);
}
}fft;
[快速傅立叶变换&快速傅里叶变换]【旧 手写笔记】的更多相关文章
- 为什么要进行傅立叶变换?傅立叶变换究竟有何意义?如何用Matlab实现快速傅立叶变换
写在最前面:本文是我阅读了多篇相关文章后对它们进行分析重组整合而得,绝大部分内容非我所原创.在此向多位原创作者致敬!!!一.傅立叶变换的由来关于傅立叶变换,无论是书本还是在网上可以很容易找到关于傅立叶 ...
- 离散傅立叶变换与快速傅立叶变换(DFT与FFT)
自从去年下半年接触三维重构以来,听得最多的词就是傅立叶变换,后来了解到这个变换在图像处理里面也是重点中的重点. 本身自己基于高数知识的理解是傅立叶变换是将一个函数变为一堆正余弦函数的和的变换.而图像处 ...
- $\mathcal{FFT}$·$\mathcal{Fast \ \ Fourier \ \ Transformation}$快速傅立叶变换
\(2019.2.18upd:\) \(LINK\) 之前写的比较适合未接触FFT的人阅读--但是有几个地方出了错,大家可以找一下233 啊-本来觉得这是个比较良心的算法没想到这么抽搐这个算法真是将一 ...
- 快速傅立叶变换(FFT)算法
已知多项式f(x)=a0+a1x+a2x2+...+am-1xm-1, g(x)=b0+b1x+b2x2+...+bn-1xn-1.利用卷积的蛮力算法,得到h(x)=f(x)g(x),这一过程的时间复 ...
- BZOJ 2194 快速傅立叶变换之二 | FFT
BZOJ 2194 快速傅立叶变换之二 题意 给出两个长为\(n\)的数组\(a\)和\(b\),\(c_k = \sum_{i = k}^{n - 1} a[i] * b[i - k]\). 题解 ...
- 快速傅立叶变换(FFT)
多项式 系数表示法 设\(f(x)\)为一个\(n-1\)次多项式,则 \(f(x)=\sum\limits_{i=0}^{n-1}a_i*x_i\) 其中\(a_i\)为\(f(x)\)的系数,用这 ...
- NVIDIA GPU的快速傅立叶变换
NVIDIA GPU的快速傅立叶变换 cuFFT库提供GPU加速的FFT实现,其执行速度比仅CPU的替代方案快10倍.cuFFT用于构建跨学科的商业和研究应用程序,例如深度学习,计算机视觉,计算物理, ...
- 手写笔记变PDF-几行代码变命令行程序为图形化界面
前言 最近发现了一个非常不错的Python类库----Gooey, https://github.com/chriskiehl/Gooey 在它的帮助下我们可以非常方便的将一个命令行程序升级成一个图形 ...
- 傅立叶变换系列(五)快速傅立叶变换(FFT)
说明: 傅里叶级数.傅里叶变换.离散傅里叶变换.短时傅里叶变换...这些理解和应用都非常难,网上的文章有两个极端:“Esay” Or “Boring”!如果单独看一两篇文章就弄懂傅里叶,那说明你真 ...
随机推荐
- SSL数字证书Nginx配置部署
由于小程序和Ios端的需要,公司的项目需要从原来的http协议扩展到https协议,因为项目本来就有采用nginx做了负载均衡,但是之前配置nginx的时候并没有配置关于https的内容,所以需要做这 ...
- [转载]织梦CMS首页调用分类信息栏目及列表方法
原文地址:织梦CMS首页调用分类信息栏目及列表方法作者:小武哥 不懂代码,搜索学习一晚上,都是说调用特定栏目分类信息列表的,用这个代码 {dede:arclistsg row='10' titlele ...
- dedecms织梦网站图片集上传图片出现302错误图片提示怎么解决 已测
时间:2016-01-20 来源:未知 作者:模板之家 阅读:次 小编今天上传织梦网站模板的时候,在图片集里面选择上传图片的时候,弹出302错误提示,当是真的是郁闷了,试了好几次,开始还以为是图片过大 ...
- two Pass方法连通域检测
原理: Two-Pass方法检测连通域的原理可参见这篇博客:http://blog.csdn.net/lichengyu/article/details/13986521. 参考下面动图,一目了然. ...
- java中的nextLine
package scanner; import java.util.Scanner; public class NextLine { public static void main(String[] ...
- [知了堂学习笔记]_css3特效第二篇--行走的线条&&置顶导航栏
一.行走的线条. 效果图(加载可能会慢一点儿,请稍等...): html代码: <div class="movingLines"> <img src=" ...
- Lucene.net(4.8.0) 学习问题记录四: IndexWriter 索引的优化以及思考
前言:目前自己在做使用Lucene.net和PanGu分词实现全文检索的工作,不过自己是把别人做好的项目进行迁移.因为项目整体要迁移到ASP.NET Core 2.0版本,而Lucene使用的版本是3 ...
- 数据结构 哈希表(Hash Table)_哈希概述
哈希表支持一种最有效的检索方法:散列. 从根来上说,一个哈希表包含一个数组,通过特殊的索引值(键)来访问数组中的元素. 哈希表的主要思想是通过一个哈希函数,在所有可能的键与槽位之间建立一张映射表.哈希 ...
- 修改Weblogic jdk版本
找到 F:\Oracle\Middleware\Oracle_Home\user_projects\domains\base_domain\bin setDomainEnv.cmd
- Spring的RestTemplata使用
spring-web的RestTemplata是对java底层http的封装,使用RestTemplata用户可以不再关注底层的连接建立,并且RestTemplata不仅支持Rest规范,还可以定义返 ...