怎么说呢。。。这次的代码码风有点。。。

从这篇博客开始,我终于会用LATEX了!撒花

注:以下涉及多项式的n均表示多项式的次数

FFT用途

很简单,多项式相乘。

FFT原理

如果暴力乘,复杂度是$O(n^{2})$的,显然不行

所以考虑点值法。点值表示下的多项式相乘是$O(n)$的。这就是DFT(离散傅里叶变换)。

但很显然,随机带入n个值的复杂度是$O(n^{2})$的。

因此我们考虑以下推导。

设$$F(n)=a_{0}+a_{1}x+a_{2}x^{2}+...+a_{n}x^{n}$$那么我们一定可以将其拆成两个函数,即$$G(n)=a_{0}+a_{2}x+a_{4}x^{2}+a_{6}x^{3}+...$$$$H(n)=a_{1}+a_{3}x+a_{5}x^{2}+a_{7}x^{3}+...$$所以$$F(n)=G(x^{2})+xH(x^{2})$$从这个式子我们可以看出,如果我们取这么一个点值集合,使得其中一半的值为所有值的平方,比如${-1,1}$,那么我们就可以使计算规模减半(对于$G(n)$和$H(n)$,我们只需带入其中一半的值即可)。看来这是个很完美的策略。

很不幸,如果我们只在实数中这么思考,那复杂度仍为$O(n^{2})$,可以说没什么用。但这给了我们一个启发,如果每次对函数进行拆分递归并使点值集合规模减半,我们就可以在$O(nlogn)$的复杂度内求出一个多项式的点值表示。毫无疑问,问题的关键是这个点值集合。那是否存在这样一个点值集合呢?实数域当然没有,但复数域有,也就是单位根!(用复数做自变量真的让我很长时间无法接受)至于单位根么,出门右转问百度 

当然,既然用了FFT,自然要把多项式项数补成2的幂,具体做法为高次项补零。

递归式FFT的很好打,但常数大,且容易爆栈。因此我们考虑迭代。

易发现,每次拆分多项式的时候,我们总是按下标的奇偶性来拆分。这就导致了一个结果:原多项式经过递归拆分后的新多项式下标是原多项式下标的二进制反转。

  1. void unit() {
  2. lg[]=;
  3. fui(i,,mxle,)lg[i]=lg[i/]+;
  4. bz[]=;
  5. fui(i,,mxlg,)bz[i]=bz[i-]<<;
  6. n=max(n,m);
  7. n=bz[lg[n]+]-;
  8. root[].x=;
  9. root[].x=cos((*PI)/(n+));
  10. root[].y=sin((*PI)/(n+));
  11. fui(i,,n,)root[i]=root[i-]*root[]; //求单位根
  12. frot[]=root[];
  13. fui(i,,n,)frot[i]=root[n-i+]; //求逆单位根(后面用
  14. for(int i=; i<=n; i++)fz[i]=(fz[i>>]>>)|((i&)<<(lg[n+]-)) ; //二进制反转
  15. }

预处理

然后就是FFT了

  1. void pre_FFT() {
  2. fui(i,,n,)if(i<fz[i]) {
  3. swp=fft[i];
  4. fft[i]=fft[fz[i]];
  5. fft[fz[i]]=swp;
  6. }
  7. }
  8. void FFT() {
  9. pre_FFT(); //对原多项式进行二进制反转
  10. int zl=(n+)>>; //单位根增量
  11. for(int i=; i<=n; i=(i<<)|,zl>>=) { //每次处理的多项式长度
  12. for(int j=; j<n; j+=i+) { //每次处理的多项式左端点
  13. int mid=(j+j+i)>>;
  14. for(int k1=j,k2=mid+,nw=; k1<=mid; nw+=zl,k1++,k2++) { //对该多项式的点值进行迭代处理
  15. x1=fft[k2]*root[nw]+fft[k1],x2=fft[k2]*root[nw+((n+)>>)]+fft[k1];
  16. fft[k1]=x1;
  17. fft[k2]=x2;
  18. }
  19. }
  20. }
  21. }

FFT

记住,千万不要用stl里的复数,会被坑死的,强烈建议手打

IFFT(快速傅里叶逆变换)

FFT求出了点值,然后相乘,求出了结果多项式的点值表示。但这不是结果,我们还要将其“翻译”回系数表示。所以就有了IFFT,可以叫其插值。

插值么,具体做法就是对结果求一遍类似FFT的东西,只不过把单位根改成{${{\omega}^{0},{\omega}^{-1},{\omega}^{-2},{\omega}^{-3},...,{\omega}^{-n}}$},即上面预处理的时候求过的那个所谓逆单位根带入即可。证明么,我不会,反正作为一个OIer记结论就好了。具体证明参见自为风月马前卒大佬的博客。

  1. void IFFT() {
  2. pre_FFT();
  3. int zl=(n+)>>;
  4. for(int i=; i<=n; i=(i<<)|,zl>>=) {
  5. for(int j=; j<n; j+=i+) {
  6. int mid=(j+j+i)>>;
  7. for(int k1=j,k2=mid+,nw=; k1<=mid; nw+=zl,k1++,k2++) {
  8. x1=fft[k2]*frot[nw]+fft[k1],x2=fft[k2]*frot[nw+((n+)>>)]+fft[k1]; //改成逆单位根带入
  9. fft[k1]=x1;
  10. fft[k2]=x2;
  11. }
  12. }
  13. }
  14. }

IFFT

模板题

洛谷P3803 【模板】多项式乘法(FFT)

  1. #include<bits/stdc++.h>
  2. using namespace std;
  3. #define INF 0x7fffffff
  4. #define ME 0x7f
  5. #define FO(s) freopen(s".in","r",stdin);freopen(s".out","w",stdout)
  6. #define fui(i,a,b,c) for(int i=(a);i<=(b);i+=(c))
  7. #define fdi(i,a,b,c) for(int i=(a);i>=(b);i-=(c))
  8. #define fel(i,a) for(register int i=h[a];i;i=b[i].ne)
  9. #define ll long long
  10. #define ld double
  11. #define MEM(a,b) memset(a,b,sizeof(a))
  12. #define maxn 1000010
  13. #define mxlg 21
  14. #define mxle 4194310
  15. const ld PI=3.1415926535897932384626;
  16. int n,m,mn;
  17. ld a0[mxle],b0[mxle];
  18. ld ans[mxle];
  19. int lg[mxle],bz[mxlg+];
  20. int fz[mxle];
  21. struct Complex{
  22. ld x,y;
  23. Complex(){}
  24. Complex(ld __x,ld __y){x=__x;y=__y;}
  25. Complex operator *(Complex xx)const{return (Complex){x*xx.x-y*xx.y,x*xx.y+y*xx.x};}
  26. Complex operator *(ld xx)const{return (Complex){x*xx,y*xx};}
  27. Complex operator +(Complex xx)const{return (Complex){x+xx.x,y+xx.y};}
  28. }root[mxle],frot[mxle],a[mxle],b[mxle],fft[mxle],c[mxle],swp,x1,x2;
  29. template<class T>
  30. inline T read(T &n){
  31. n=;int t=;double x=;char ch;
  32. for(ch=getchar();!isdigit(ch)&&ch!='-';ch=getchar());(ch=='-')?t=-:n=ch-'';
  33. for(ch=getchar();isdigit(ch);ch=getchar()) n=n*+ch-'';
  34. if(ch=='.') for(ch=getchar();isdigit(ch);ch=getchar()) n+=(ch-'')/x,x*=;
  35. return (n*=t);
  36. }
  37. template<class T>
  38. T write(T n){
  39. if(n<) putchar('-'),n=-n;
  40. if(n>=) write(n/);putchar(n%+'');return n;
  41. }
  42. template<class T>
  43. T writeln(T n){write(n);putchar('\n');return n;}
  44. int inc(int &x){int in=(n+)>>;for(;x&in;in>>=)x^=in;x|=in;return x;}
  45. void unit(){
  46. lg[]=;fui(i,,mxle,)lg[i]=lg[i/]+;
  47. bz[]=;fui(i,,mxlg,)bz[i]=bz[i-]<<;
  48. n=max(n,m);n=bz[lg[n]+]-;
  49. root[].x=;
  50. root[].x=cos((*PI)/(n+));root[].y=sin((*PI)/(n+));
  51. fui(i,,n,)root[i]=root[i-]*root[];
  52. frot[]=root[];
  53. fui(i,,n,)frot[i]=root[n-i+];
  54. fui(i,,n,)a[i]=root[]*a0[i];
  55. fui(i,,n,)b[i]=root[]*b0[i];
  56. for(int i=;i<=n;i++)fz[i]=(fz[i>>]>>)|((i&)<<(lg[n+]-)) ;
  57. }
  58. void pre_FFT(){
  59. fui(i,,n,)if(i<fz[i]){
  60. swp=fft[i];fft[i]=fft[fz[i]];fft[fz[i]]=swp;
  61. }
  62. }
  63. void FFT(){
  64. pre_FFT();int zl=(n+)>>;
  65. for(int i=;i<=n;i=(i<<)|,zl>>=){
  66. for(int j=;j<n;j+=i+){
  67. int mid=(j+j+i)>>;
  68. for(int k1=j,k2=mid+,nw=;k1<=mid;nw+=zl,k1++,k2++){
  69. x1=fft[k2]*root[nw]+fft[k1],x2=fft[k2]*root[nw+((n+)>>)]+fft[k1];
  70. fft[k1]=x1;fft[k2]=x2;
  71. }
  72. }
  73. }
  74. // pre_FFT();
  75. }
  76. void IFFT(){
  77. pre_FFT();int zl=(n+)>>;
  78. for(int i=;i<=n;i=(i<<)|,zl>>=){
  79. for(int j=;j<n;j+=i+){
  80. int mid=(j+j+i)>>;
  81. for(int k1=j,k2=mid+,nw=;k1<=mid;nw+=zl,k1++,k2++){
  82. x1=fft[k2]*frot[nw]+fft[k1],x2=fft[k2]*frot[nw+((n+)>>)]+fft[k1];
  83. fft[k1]=x1;fft[k2]=x2;
  84. }
  85. }
  86. }
  87. }
  88. int main(){
  89. read(n);read(m);mn=m+n;
  90. fui(i,,n,)read(a0[i]);fui(i,,m,)read(b0[i]);unit();
  91. fui(i,,n,)fft[i]=a[i];FFT();fui(i,,n,)a[i]=fft[i];
  92. fui(i,,n,)fft[i]=b[i];FFT();fui(i,,n,)b[i]=fft[i];
  93. fui(i,,n,)c[i]=a[i]*b[i];
  94. fui(i,,n,)fft[i]=c[i];IFFT();fui(i,,n,)c[i]=fft[i];
  95. fui(i,,mn,)ans[i]=(c[i].x+0.5)/((n+));
  96. fui(i,,mn,)printf("%.0f ",ans[i]);
  97. return ;
  98. }

AC代码

常数太大,导致最后两个点2s多。。。

FFT(快速傅里叶变换)摘要的更多相关文章

  1. FFT 快速傅里叶变换 学习笔记

    FFT 快速傅里叶变换 前言 lmc,ikka,attack等众多大佬都没教会的我终于要自己填坑了. 又是机房里最后一个学fft的人 早背过圆周率50位填坑了 用处 多项式乘法 卷积 \(g(x)=a ...

  2. CQOI2018 九连环 打表找规律 fft快速傅里叶变换

    题面: CQOI2018九连环 分析: 个人认为这道题没有什么价值,纯粹是为了考算法而考算法. 对于小数据我们可以直接爆搜打表,打表出来我们可以观察规律. f[1~10]: 1 2 5 10 21 4 ...

  3. 「学习笔记」FFT 快速傅里叶变换

    目录 「学习笔记」FFT 快速傅里叶变换 啥是 FFT 呀?它可以干什么? 必备芝士 点值表示 复数 傅立叶正变换 傅里叶逆变换 FFT 的代码实现 还会有的 NTT 和三模数 NTT... 「学习笔 ...

  4. FFT —— 快速傅里叶变换

    问题: 已知A[], B[], 求C[],使: 定义C是A,B的卷积,例如多项式乘法等. 朴素做法是按照定义枚举i和j,但这样时间复杂度是O(n2). 能不能使时间复杂度降下来呢? 点值表示法: 我们 ...

  5. [C++] 频谱图中 FFT快速傅里叶变换C++实现

    在项目中,需要画波形频谱图,因此进行查找,不是很懂相关知识,下列代码主要是针对这篇文章. http://blog.csdn.net/xcgspring/article/details/4749075 ...

  6. matlab中fft快速傅里叶变换

    视频来源:https://www.bilibili.com/video/av51932171?t=628. 博文来源:https://ww2.mathworks.cn/help/matlab/ref/ ...

  7. FFT快速傅里叶变换算法

    1.FFT算法概要: FFT(Fast Fourier Transformation)是离散傅氏变换(DFT)的快速算法.即为快速傅氏变换.它是根据离散傅氏变换的奇.偶.虚.实等特性,对离散傅立叶变换 ...

  8. FFT快速傅里叶变换

    FFT太玄幻了,不过我要先膜拜HQM,实在太强了 1.多项式 1)多项式的定义 在数学中,由若干个单项式相加组成的代数式叫做多项式.多项式中的每个单项式叫做多项式的项,这些单项式中的最高项次数,就是这 ...

  9. [学习笔记]FFT——快速傅里叶变换

    大力推荐博客: 傅里叶变换(FFT)学习笔记 一.多项式乘法: 我们要明白的是: FFT利用分治,处理多项式乘法,达到O(nlogn)的复杂度.(虽然常数大) FFT=DFT+IDFT DFT: 本质 ...

  10. FFT(快速傅里叶变换)

    学习了FFT用来求多项式的乘法,看了算导上的介绍,上面讲的非常明白,概括一下FFT的原理就是,我们在计算多项式的乘法时,如果暴力模拟的话是n^2 复杂度的,就像小学学的竖式乘法一样,比如一个n位数乘上 ...

随机推荐

  1. 从零开始学Kotlin-控制语句(4)

    从零开始学Kotlin基础篇系列文章 条件控制-if var a=10 var b=20 if(a>b) print(a) if(a>b){ print(a) }else{ print(b ...

  2. 免费SSL证书申请 2018年至简教程

    Let’s Encrypt是国外一个公共的免费SSL项目,由 Linux 基金会托管,它的来头不小,由Mozilla.思科.Akamai.IdenTrust和EFF等组织发起,目的就是向网站自动签发和 ...

  3. Vue入门---属性、style和class绑定方法

    一 .用对象的方法绑定class <!DOCTYPE html> <html> <head> <meta charset="UTF-8"& ...

  4. TCP协议 连接三次握手

    TCP(Transmission Control Protocol) 传输控制协议 TCP是主机对主机层的传输控制协议,提供可靠的连接服务,采用三次握手确认建立一个连接: 位码即tcp标志位,有6种标 ...

  5. ST算法详解

    ST算法详解 Coded by Jelly_Goat. All rights reserved. 这个主要是说ST表的. 首先了解一下ST表是什么. 先来一个老套的情景带入. (假设所有的题目都是1s ...

  6. 服务器启动报mybatis配置错误

    启动服务器时后台报了一大堆的错误,仔细检查发现都是冲着mybatis的配置文件去的,事实上配置文件的东西很少,经过反复启动服务器,发现了只要写了where条件就报错,不写就可以正常启动,经过百度发现m ...

  7. 【转】#pragma的用法

    在所有的预处理指令中,#Pragma 指令可能是最复杂的了,它的作用是设定编译器的状态或者是指示编译器完成一些特定的动作.#pragma指令对每个编译器给出了一个方法,在保持与C和C++语言完全兼容的 ...

  8. bzoj2456 mode (思路)

    不能把数存下来. 于是来打擂台,如果新数和他不相等,cnt--,否则cnt++.如果cnt<=0了,那个新数就来把它顶掉,然后把cnt重置成1 最后在台上的就是那个次数大于N/2的众数 (连&l ...

  9. 如何把你的eclipse编辑器修改成黑色的主题

  10. Python中的列表解析和生成器表达式

    Python中的列表解析和生成器表达式 作者:尹正杰 版权声明:原创作品,谢绝转载!否则将追究法律责任. 一.列表解析案例 #!/usr/bin/env python #_*_coding:utf-8 ...