FFT&NTT(草稿)

FFT

FFT(快速傅里叶变换, Fast Fourier Transformation)

在算法竞赛中的主要应用是加速多项式运算。

以多项式乘法为例:朴素算法需要 O(N2) 的时间复杂度,而经过 FFT 优化后只需要 O(Nlog2N) 的时间复杂度。

数学基础

FFT 作为一个数学算法,比起复杂的数据结构,其编程较为简单,但是它对于数学的要求比较高,要想理解此算法必须先有一定的数学基础。

多项式的表示

多项式有两种表示方法:

  • 系数表达法
  • 点值表达法

其实有些像函数的表达,一二次函数为例,可以用解析式表示,也可以用 3 个以上的点来表示。

系数表达

对于次数界为 n 的多项式 A(x)=n1j=0ajxj ,其系数表达是一个由系数组成的向量 a=(a0,a1,,an1)

点值表达

一个次数界为 n 的多项式 A(x)点值表达就是一个由 n 个点值所组成的集合:

{(x0,y0),(x1,y1),,(xn1,yn1)}

使得集合中无重复元素,且

yk=A(xk),k{kZ|0kn1}

一个多项式可以有很多不同的点值表达,以为可以采用 n 个不同的点 x0,x1,,xn1 构成的集合作为这种表示方法的基。

插值:求值计算的逆(从一份多项式的点值表达确定其系数表达的形式)

当差值得多项式的次数界等于已知的点值对的数目,插值才是明确的。

FFT计算过程

有了前面的两个概念,我们的运算流程就十分明确了:

按照朴素算法,时间复杂度: O(N2)

而按照 FFT 算法,先进行一次 DFT(求值, Discrete Fourier Transform),时间复杂度: O(Nlog2N) ,将系数表达法转化成点值表达法;之后进行点值乘法,时间复杂度: O(N) ;之后再进行一次 IDFT(插值, Inverse Discrete Fourier Transform),将点值表达法转换为系数表达法。

单位复数根

至此,大体的框架已经建成了,但在具体实现还要引入一个单位复数根的概念。

首先,介绍一下复数:

  • 我们规定 i2=1 ,即 1=i ,其中 i 就是虚数域中的单位1;
  • 复数集 C=RI ,是现在已知的最大数集;
  • xC,a,bR 使 x=a+bi ,其中 a 叫做实部,bi 叫做虚部;
  • 实数用一维的数轴表示,而复数需要二维的复平面来表示(类似平面直角坐标系),x轴便是正常的实数数轴,y轴是虚数轴. 坐标为 (a,b) 的点P表示复数 a+bi

下面进入正题:

  • n次单位复数根:满足 ωn=1 的复数 ω
  • n次单位复数根有恰好有 n 个:对于 k=0,1,,n1 ,这些根是 e2πik/n
  • 根据欧拉公式 eiu=cos(u)+isin(u) n 个单位复数根均匀分布在单位圆的圆周上;
  • 主n次单位根ωn=e2πi/n ,其他所有n次单位复数根都是 ωn 的幂次;

根据以上性质,我们可得到以下两个基本性质:

消去引理

对于任何整数 n0,k0 d>0 ωdkdn=ωkn

FFT 中需要用到的是 (ωkn)2=ωkn/2

折半引理

如果 n>0 为偶数,那么 n 个n次单位复数根的平方的集合就是 n/2 n/2 次单位复数根的集合。

即: n>0 为偶数 n次单位复数根集合 {(ωkn)2|k{kZ|0kn1}}={ωkn/2|k{kZ|0kn/21}} ,即左边集合元素重复出现两次

折半引理对于用分治策略来对多项式的系数与点值表达法是至关重要的,因为它保证了递归子问题的规模只是递归调用前的一半。

实现思路

其实在数学基础里已经把大体的实现思路有所说明了,这样写是可行的,但是问题在于当数据量很大的时候如果用递归写的话会发生爆栈,所以我们在这里先研究一下递归搜索树,然后进行数组模拟。

dfs树

我们通过研究系数出现的顺序可以的出变换的规律,于是我们考虑进行二进制 DP

  • 当要处理一个 5 位二进制数 abcde¯¯¯¯¯¯¯¯ 时,小于 abcde¯¯¯¯¯¯¯¯ 的数已经处理好二进制反转了;
  • 所以 abcde¯¯¯¯¯¯¯¯>>1=abcd¯¯¯¯¯¯ 已有二进制反转 0abcd¯¯¯¯¯¯¯¯
  • 所以只需处理 e¯ 这一位即可;
  • 那么只需 0abcd¯¯¯¯¯¯¯¯ | ( ( abcde¯¯¯¯¯¯¯¯ &1)<<(bit-1)) 即可;
  • 考虑到 DP 从 0 开始无需反转, 1>>1=0

之后至于 IDFT 的实现十分神奇,总之最后的答案一定要除以n,由于涉及到精度问题最后强制转换前加上 0.5 。

int(a[i].real()/n+0.5)

代码实现

#include<iostream>
#include<cstdio>
#include<cmath>
#include<complex>
using namespace std;

typedef complex<double> C;

const int MAXN=262145;
const double PI=acos(-1);
int pos[MAXN],bit,n,m;
C a[MAXN],b[MAXN];

void FFT(C * A,int type)
{
    int i,j,k;
    for(i=1;i<n;i++)
        if(i<pos[i])
            swap(A[i],A[pos[i]]);
    for(i=1;i<n;i<<=1)
    {
        C wn(cos(PI/i),type*sin(PI/i));
        for(j=0;j<n;j+=i<<1)
        {
            C w(1,0);
            for(k=0;k<i;k++,w*=wn)
            {
                C x=A[j+k],y=w*A[i+j+k];
                A[j+k]=x+y,A[i+j+k]=x-y;
            }
        }
    }
}
int main()
{
    scanf("%d%d",&n,&m);
    int i,x;
    for(i=0;i<=n;i++)
        scanf("%d",&x),a[i]=x;
    for(i=0;i<=m;i++)
        scanf("%d",&x),b[i]=x;
    m+=n;
    for(n=1;n<m;n<<=1) ++bit;
    for(i=1;i<n;i++)
        pos[i]=(pos[i>>1]>>1)|((i&1)<<(bit-1));
    FFT(a,1),FFT(b,1);
    for(i=0;i<=n;i++)
        a[i]*=b[i];
    FFT(a,-1);
    for(i=0;i<=m;i++)
        printf("%d ",int(a[i].real()/n+0.5));
    return 0;
}
  • 0
    点赞
  • 0
    收藏
    觉得还不错? 一键收藏
  • 0
    评论

“相关推荐”对你有帮助么?

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

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

余额充值