推荐前往这里获得最佳体验
简介
快速傅里叶变换(Fast Fourier Transform),简称FFT
OI中主要要来加速多项式乘法
声明
预备知识:实数,虚数
定义n=第一个多项式最高次+1,m=第二个多项式最高次+1
以
转化
对于x的多项式可以转化为对于x的函数f(x)
函数f(x)有两种表达方式:系数表达法和点值表达法
系数表达法
最常见的表达方式
点值表达法
原理:假设f(x)的最高次数为n−1,那么我们只要知道了n个不相同的x及f(x)值,就能确定出f(x)的多项式。
例如确定一个二次函数需要三个不同的点,因为有三个变量
那么要得到多项式乘积对应的函数,需要
函数的加法运算
对于系数表达法,各项系数对应相加
对于点值表达法,x相同的点y值相加
例如:
两者势均力敌
嗯这个并不会用到,毕竟我们要解决的是多项式乘法
函数的乘法运算
对于系数表达法,将前面的每个项依次与后面的每个项乘机之和,时间复杂度
对于点值表达法,x相同的点y值相乘,时间复杂度
例如:
可以发现A(x)和B(x)一定要取足够多(即n+m-1个)点
这就是快速傅里叶变换的精髓:利用点值表达法比系数表达法在乘法中更快
思路
引入新定义:
求值:通过多项式的系数表示法求其点值表示法。
插值:通过多项式的点值表示法求其系数表示法。
显然上面两个定义是互逆的关系。
方法:引用别人的一幅图,非常清晰
FFT
FFT就是用来解决求值的过程的,可以在
分析一下如何得到最终的多项式吧。
1.求A的n+m-1个单位根的点值,求B的n+m-1个单位根的点值。
2.点值相乘,得到C的点值。
3.计算C的多项式。
步骤2可以直接
单位根
中途插叙这个数学上的概念,有点难,要挺过去。
复数,就是实数+虚数,两者只能和同类型的运算,符号
n次单位复数根,就是满足
在实数范围下,满足所有n的有1,对于偶数n还有-1,然而在复数范围下
下文的n和这道题的n暂时无关。
单位根性质-简单
- n次单位复数根恰好有n个,标号k从0到n-1
- 预备知识
et=cos(t)+sin(t)i ,注意cos是实数sin是虚数 -
ωkn=ekn2πi ,是值的定义,用于推性质 -
ωkn=cos(kn2π)+sin(kn2π)i ,是值的具体体现,用于代码实现 - 递推式:
ωkn=ωk−1n×ω1n
单位根性质-复杂
消去引理:
这是利用定义得出的(因为指数是个分数,所以一样)
推论:
折半引理:
至于其他定理和性质,因为本文不需要就不讲了,有兴趣的自行百度就好。
离散傅里叶变换DFT
离散傅里叶变换(Discrete Fourier Transform),简称DFT。
为了方便,暂时将n设为需要带入的点数,不同于声明中的的n
我们的目的就是从系数得到点值表示法,已知需要带入n个点
DFT的实质就是对一个多项式在n次单位根上求值,利用单位根的性质加速。
求出x在
(即n个n次单位复数根)的y值,时间复杂度
回到FFT-求值
经典的分治又来了,也终于到正文了……
它的神奇之处在于利用了n 次单位根的一些玄学性质,
然后利用分治大大加速计算。
首先假设n是偶数,然后将偶数奇数下标分离
易得
所以,
求
求
当然这样只是相当于展开,是时候利用单位根的性质了。
根据折半引理
边界:
回到FFT-插值
从x、y得到系数也就是插值又要怎么搞呢?
丢个结论(额证明我也不会):
用
最后再将答案除以n,得到的便是逆DFT的结果。
再理理思路
如果n是2的幂,一路分治下去,时间复杂度
如果n不是2的幂怎么办?很简单,强制取更多的点(并且是2的幂个),多项式前面的系数补0。
综上所述,找到比n+m-1更大或相等的2的幂作为n
讲一个重要的细节:
讲一道模版题
FFT基本上就讲完了,但都是理论做法,下面结合例题来看。
Caioj1449多项式乘法
其实本文一直在解决这个问题。
递归版代码
因为是递归,分治时n一直在变
首先确定:
当op=1也就是求值时
进入函数时f[i]表示将被带入的多项式的系数(n个)
结束函数时f[i]表示代入n次单位负数根第i个得到的值(n个)
当op=-1则相反
#include<cstdio>
#include<cstring>
#include<algorithm>
#include<cmath>
using namespace std;
const int MAXN=410000;
const double PI=acos(-1.0);
struct cmplex
{
double real,imag;
cmplex() {real=imag=0;}
cmplex(double r,double i) {real=r;imag=i;}
cmplex operator + (const cmplex &b)
{
return cmplex(real+b.real,imag+b.imag);
}
cmplex operator - (const cmplex &b)
{
return cmplex(real-b.real,imag-b.imag);
}
cmplex operator * (const cmplex &b)
{
return cmplex(real*b.real-imag*b.imag,real*b.imag+imag*b.real);
//(a+bi)(c+di)=ac+adi+bci+bdi^2=(ac-bd)+(ad+bc)i
}
//baike.baidu.com/item/复数运算法则/2568041
};
void FFT(cmplex *a,int op,int n)
{
if(n==1) return;
cmplex q[n/2],w[n/2];
for(int i=0;i<=n/2-1;i++)
{
q[i]=a[i*2];//偶数
w[i]=a[i*2+1];//奇数
}
FFT(q,op,n/2);FFT(w,op,n/2);//分治
cmplex wk(1,0),w1( cos(2*PI*op/n) ,sin(2*PI*op/n) );
for(int k=0;k<=n/2-1;k++,wk=wk*w1)//递推式求单位根wk
{
a[k]=q[k]+wk*w[k];
a[k+n/2]=q[k]-wk*w[k];
}
}
cmplex a[MAXN],b[MAXN],c[MAXN];
int main()
{
int n,m;scanf("%d%d",&n,&m);
for(int i=0;i<=n;i++) scanf("%lf",&a[i].real);
for(int i=0;i<=m;i++) scanf("%lf",&b[i].real);
m=n+m;n=1;while(n<m+1) n*=2;
FFT(a,1,n);FFT(b,1,n);//求值,n个
for(int i=0;i<=n-1;i++) c[i]=a[i]*b[i];//点值表达法的乘法运算
FFT(c,-1,n);//插值,n个
for(int i=0;i<=m;i++)
printf("%d ",int(c[i].real/n+0.5));
//输出系数(四舍五入后的实数部分)
}
优化
递归实现FFT的做法容易爆栈,而且时间较长。
给出两种解决方案:递归但不在函数里开数组、非递归
递归版代码2(个人独创版)
#include<cstdio>
#include<cstring>
#include<algorithm>
#include<cmath>
using namespace std;
const int MAXN=410000;
const double PI=acos(-1.0);
struct cmplex
{
double real,imag;
cmplex() {real=imag=0;}
cmplex(double r,double i) {real=r;imag=i;}
cmplex operator + (const cmplex &b)
{
return cmplex(real+b.real,imag+b.imag);
}
cmplex operator - (const cmplex &b)
{
return cmplex(real-b.real,imag-b.imag);
}
cmplex operator * (const cmplex &b)
{
return cmplex(real*b.real-imag*b.imag,real*b.imag+imag*b.real);
//(a+bi)(c+di)=ac+adi+bci+bdi^2=(ac-bd)+(ad+bc)i
}
//baike.baidu.com/item/复数运算法则/2568041
};
cmplex t[MAXN];
void FFT(cmplex *a,int op,int l,int r)
{
int n=(r-l+1);
if(n==1) return;//debug
int lmid=n/2;
int mid=l+lmid-1;
for(int i=l;i<=r;i++) t[i]=a[i];
for(int i=0;i<=lmid-1;i++)
{
a[l+i]=t[l+i*2];//偶数
a[l+lmid+i]=t[l+i*2+1];//奇数
}
//不复制好像也行?但代码复杂度较高
FFT(a,op,l,mid);FFT(a,op,mid+1,r);//n/2等价于平方
//for(int i=l;i<=r;i++) t[i]=a[i];
cmplex wk(1,0),w1( cos(2*PI*op/n),sin(2*PI*op/n) );
for(int k=0;k<=n/2-1;k++,wk=wk*w1)//递推式求单位根wk
{
/*cmplex tt=wk*t[l+n/2+k];
a[l+k]=t[l+k]+tt;发现不用复制
a[l+n/2+k]=t[l+k]-tt;*/
cmplex tt=wk*a[l+n/2+k];//蝴蝶操作
a[l+n/2+k]=a[l+k]-tt;//先做这个
a[l+k]=a[l+k]+tt;
}
}
cmplex a[MAXN],b[MAXN],c[MAXN];
int main()
{
int n,m;scanf("%d%d",&n,&m);
for(int i=0;i<=n;i++) scanf("%lf",&a[i].real);
for(int i=0;i<=m;i++) scanf("%lf",&b[i].real);
m=n+m;n=1;while(n<m+1) n*=2;
FFT(a,1,0,n-1);FFT(b,1,0,n-1);//求值,n个
for(int i=0;i<=n-1;i++) c[i]=a[i]*b[i];//点值表达法的乘法运算
FFT(c,-1,0,n-1);//插值,n个
for(int i=0;i<=m;i++)
printf("%d ",int(c[i].real/n+0.5));
//输出系数(四舍五入后的实数部分)
}
想要非递归?
递归实现FFT的做法容易爆栈,而且时间较长。
提示:找偶数奇数分治后的结果编号规律
原本0(000) 1(001) 2(010) 3(011) 4(100) 5(101) 6(110) 7(111)
最终0(000) 4(100) 2(010) 6(110) 1(001) 5(101) 3(011) 7(111)
可以发现 不断偶数奇数分离后 每个数和他二进制相反的位置互换!!
通俗点讲就是对于位置i,应当存放原位置是二进制翻转后的i的数值。
(也有的博客称其为其数值来自的位置的翻转是递增的)
接下来就是预处理出i对应的翻转值了,有这样一个优美的方法:
for(int i=0;i<=n-1;i++) R[i]= (R[i>>1]>>1) | ( (i&1)<<(l-1) );
//位运算DP求翻转,l=logn
FFT中:
for(int i=0;i<=n-1;i++) if(i<R[i]) swap(a[i],a[R[i]]);
//注意判断大小不然又换回来了
其实归根结底就是把递归中调用自己的部分的前面部分即偶数奇数分离预处理出,而后再层层合并上去。
非递归版代码
#include<cstdio>
#include<cstring>
#include<algorithm>
#include<cmath>
using namespace std;
const int MAXN=410000;
const double PI=acos(-1.0);
struct cmplex
{
double real,imag;
cmplex() {real=imag=0;}
cmplex(double r,double i) {real=r;imag=i;}
cmplex operator + (const cmplex &b)
{
return cmplex(real+b.real,imag+b.imag);
}
cmplex operator - (const cmplex &b)
{
return cmplex(real-b.real,imag-b.imag);
}
cmplex operator * (const cmplex &b)
{
return cmplex(real*b.real-imag*b.imag,real*b.imag+imag*b.real);
//(a+bi)(c+di)=ac+adi+bci+bdi^2=(ac-bd)+(ad+bc)i
}
//baike.baidu.com/item/复数运算法则
};
int R[MAXN];
void FFT(cmplex *a,int op,int n)
{
for(int i=0;i<=n-1;i++) if(i<R[i]) swap(a[i],a[R[i]]);
//注意判断大小不然又换回来了
for(int L=1;L<n;L=L*2)//合并前的长度
{
cmplex w1( cos(2*PI*op/(L*2)),sin(2*PI*op/(L*2)) );
for(int j=0;j<=n-1;j=j+L*2)//开头,长度=L*2
{
cmplex wk(1,0);
for(int k=0;k<=L-1;k++,wk=wk*w1)
{
cmplex q=a[j+k];
cmplex w=wk*a[j+k+L];
a[j+k]=q+w;
a[j+k+L]=q-w;
//蝴蝶操作
}
}
}
}
cmplex a[MAXN],b[MAXN],c[MAXN];
int main()
{
int n,m;scanf("%d%d",&n,&m);
for(int i=0;i<=n;i++) scanf("%lf",&a[i].real);
for(int i=0;i<=m;i++) scanf("%lf",&b[i].real);
m=n+m;n=1;int l=0;while(n<m+1) n*=2,l++;
for(int i=0;i<=n-1;i++) R[i]= (R[i>>1]>>1) | ( (i&1)<<(l-1) );
//位运算DP求翻转,l=logn
FFT(a,1,n);FFT(b,1,n);//求值,n个
for(int i=0;i<=n-1;i++) c[i]=a[i]*b[i];//点值表达法的乘法运算
FFT(c,-1,n);//插值,n个
for(int i=0;i<=m;i++)
printf("%d ",int(c[i].real/n+0.5));
//输出系数(四舍五入后的实数部分)
}
参考
精品:
位于CSDN-心若为城
位于CSDN-iamzky
位于百度云-Rose
位于百度文库-Voiphon
一般:
位于博客园-Neroysq
1-位于CSDN-ACdreamers
2-位于CSDN-ACdreamers