FFT · 快速傅立叶变换

青春的回忆啊…

Preface

这篇文章初写于 7/1/2018 ,是在陪同好友 yjkwx 以及学长 rqy 一起去参加省队集训时写的。今天突然来了兴致,打算重新复习一遍 FFT 并且写 MTT ,于是便有了这篇文章。

其实一开始我是不情愿把这篇文章搬到这儿来的——这好像是一个时代的缩影,那个时代的orchidany特别喜欢扮演老师,每天仿佛来到奥赛室只是为了“为人师”的:心性浮躁,学习功利。但现在我则是想沉下心来,认真做学问。

但无论如何,我希望这篇原本冗杂繁长的文章可以更短、更新颖、从更高的角度审视一些问题。

Convolution

卷积 (Convolution) ,准确来说是一种通过两个函数 fg 生成第三个函数的一种数学算子.

而广义上其定义为:

h(x)=g(τ)f(xτ)dτ

我们称 h(x)g(x)f(x)卷积

而此处我们讨论的是整次多项式域,那么就把其定义划归进多项式,得到

A(x)B(x)=i=0nj=0iajbij

其中 A(x)B(x) 均为 n1 次多项式
比较显然的是,在我们合并同类项的情况下,最终卷出来的结果应该有 2n+1 项。

Dot Method

我们知道,原本的多项式是系数表示法,现在我们将其转化为**点值表示法 (dot method) **。即我们可以把多项式 F(x) 转化为多项式函数 f(x) ,那么这个 n 阶函数就可以由 n+1 个点唯一确定。即给定

f(x)(x0,y0),(x1,y1),(x2,y2)....(xn,yn)k,yk=f(xk)

这是很显然的,并且这 n+1 个点是随意选取的——只要求它们相异即可。

Advanced Trick Point 1 Multiplication

假设我们有两个关于 xn+1 次多项式 A(x)B(x) ,我们要对它的点值表达式进行乘法操作。由于结果有 2n+1 项,我们考虑补上一堆项,并对

A(x)=(x0,y0),(x1,y1)....(x2n,y2n)B(x)=(x0,y0),(x1,y1)....(x2n,y2n)

做乘法可得

A(x)B(x)=(x0,y0y0),(x1,y1y1)(x2n,y2ny2n)

我们观察点乘法,它的时间复杂度达到了 Θ(n) ,完全可以接受。那么不妨先看一下算法的大体思路:

对于每个因子多项式,选取 n+1 个点,得出点值表达式(复杂度 Θ(n2))

点乘法(时间复杂度 Θ(n) )

将得出来的 C(x) 的点值表达式再转换成系数表达式(复杂度 Θ(n2) )。

这就是 FFT ​ 的大体流程。转化之后怎么没多快常数还大了

虽然其余部分的时间复杂度还是很麻烦的 O(n2) ,但是都是可以优化成 O(nlogn) 的。

本质上的 FFT 包含 DFT (离散傅立叶变换) IDFT (逆离散傅立叶变换)实际上, DFT 对应着的就是把系数表达式映射到点值表达式的过程, IDFT 对应着的就是我们把点值表达式映射到系数表达式的过程。

Base of Optimization

因为实际上,我们的第一步——求值(系数转点值)和我们的第三步(点值转系数)都是可以做到 nlogn 的,那么总的时间复杂度,渐进意义下就是 O(nlogn) 的。

下面就让我们来看看如何优化:

Advanced Trick Point 2 Unit Complex Root

n 次单位复根是满足 ωn=1 的复数 ω ,其中我们可以由复数的运算法则(辐角相加,模相乘)很简单地得出 n 次单位根有 n 这个结论——亦或者是用代数基本定理证,都可以。

而又因为复数 ωn 在复数平面上的模都是一,所以相乘之后还会是一,那么所有的 ωi,1in 就会均匀分布在单位圆上,类似当 n=8 时它是这样的:

我们考虑欧拉公式:

eix=cosx+isinx

我们取 x=2π ,可以得到如下关系式:

e2πi=1=ωnω=e2πin

们把此时的单位根称之为主次单位根,记作 ωn=e2πin

那么对于其他的单位根,记作 $$ \omega_nk=e{n}},0 \leq k < n $$ 都是主次单位根的整次幂,也就是上图中的一圈。

以下是单位根的性质:

Elimination Lemma

对任何整数 n0,k0,d>0 ,有

ωdndk=ωnk

Proof.

这个好像很好证的样子……代入定义可以获得

ωdndk=ω2πdkdn=e2πikn=ωnk

Binary Lemma

引理:对于任何大于 0 的偶数 n ,都有 nn 次单位复根的平方的集合,等于 n2n2 次单位复根的集合。

Proof.

我们可以由消去引理得到

(ωnk)2=ωn2k=ωn2k

那么

(ωnk+n2)2=ωn2k+nωn2kωnnωn2k=(ωnk)2

那么接下来,如果对所有的 n 次单位跟平方一下,我们会发现 n2 次单位根每个都恰好出现了两次。也就是说,在 nn 次单位复数根平方的集合里,只有 n2 个元素。我们参考上面那张图,它的意义就在于方向相对的两只向量,其平方相等。

那么把所有 n 单位根的平方画到一个数列上就是这样。

这个引理直接保证了我们求值的复杂度为 Θ(nlogn)

而我们在代码实现中,不能直接得到 e 或者虚数 i ,所以这个时候求单位根的任务就交给了我们上文中提到过的欧拉公式

Sum Lemma

引理:对于任意 n>0k 不能整除 n ,我们都有

j=0n1(ωnk)j=0

由几何级数的求和公式(等比数列求和公式)

j=0nxj=xj+11x1

可得

j=0n1(ωnk)j=(ωnk)n1ωnk1(ωnn)k1ωnk1=(1)k1ωnk1

由于保证了 k 不可整除 n 所以分母一定不为 0.

DFT FFT

那么我们在了解完单位复数根之后,便可以正式地对 DFT 给出定义与操作方案了。

DFT

对于我们已知的一个多项式

A(x)=i=0n1aixi

ωn0,ωn1,ωn2ωnn1

处的取值,我们可以假定 n2 的幂,因为即使它本身不是 2 的幂,我们也可以通过向高次幂补值为 0 的项来解决这个问题。

那我们现在会有一个向量组 a=a1,a2,a3an1 。对于 k=0,1,2,n1 ,定义 yk 如下:

yk=A(ωnk)=j=0n1ajωnkj

那么向量

y=y0,y1,y2yn1

就称作系数向量 a=a1,a2,a3an1 的离散型傅立叶变换(DFT)。

嗯,这个离散型我们可以由点乘法联想意会一下:本来 A(x) 是一个优美的多项式,转变成函数之后是一条优美的曲线,结果你突然把它拆成了一堆离散的点,把它用点值法表示,故称之曰:“离散型” 。

FFT 优化 DFT

在上文中我们分析过,将系数表达式转化为点值表达式需要的时间复杂度为 O(n2) ,这是朴素算法。而我们只需要用一种被称作快速傅立叶变换( Fast  Fourier  Transformation的方式,就可以将其时间复杂度压缩成 O(nlogn) 。而在这里我们就用到了刚才证明的引理——折半引理

我们考虑将原来的多项式

A(x)=a0+a1x+a2x2+an1xn1

重定义成两个次数为 n2 的小多项式 A[0](x)A[1](x)

A[0](x)=a0+a2x+a4x2+an2xn21A[1](x)=a1+a3x+a5x2+an1xn21

那么也就是说, A[0](x) 存储的是所有偶数位(二进制位最后一位是 0 ),而 A[1](x) 存储的是所有的奇数位(二进制位最后一位是 1 ),那么有下式

A(x)=A[0](x2)+xA[1](x2)

那我们求 A(x)

ωn0,ωn1,ωn2,ωnn1

处的值,就变成了先求出 $ A{[0]}(x2) A{[1]}(x2) $ 的值,然后根据上式进行合并即可。

而显然的是,根据折半引理,我们根本不需要 O(n) 求,而是通过数据规模不断减小使之成为 O(logn) 。于是,我们成功通过 FFT​ 优化了求值的复杂度。

那么同时对于另一边,我们可以根据

A(ωnk+n2)=A[0](ωn2k+n)+ωnk+n2A[1](ωn2k+n)A[0](ωn2kωnn)ωnkA[1](ωn2kωnn)

得到

A(ωnk+n2)=A[0](ωn2k)ωnkA[1](ωn2k)

从而有伪代码:

int Lim = 1, N, M ;
function FFT(int lenth, complex *A, int flag){
    IF (Lim == 1) return ;
    complex A0[lenth >> 1], A1[lenth >> 1] ;//分成两部分
    for(int j : 0 to lenth by_grow 2) A0[j >> 1] = A[j], A1[j >> 1] = A[j + 1] ;
    FFT(lenth >> 1, A0, flag) ;
    FFT(lenth >> 1, A1, flag) ;
    complex Wn = unit(,) , w = (1, 0) ;
  //Wn是单位根,w用来枚举幂,即我们令主次单位根不变,由于其余单位根都是其整次幂,所以可以用一个w来记录到第几次幂
  /*此处求单位根的时候会用到我们的参数flag……嗯没错就用这一次,并且flag的值域为(-1, 1)……是的,只会有两个值*/
    for(int j : 0 to (lenth >> 1) by_grow 1 with w = w * Wn){
        A[i] = A0[i] + A1[i] * w ;//应用公式,下同 
        A[i + (lenth >> 1)] = A0[i] - A1[i] * w ; //顺便求出另一半,由折半引理可显然。 
    } 
} 
function Main{
    input(N), input(M) ;
    for(i : 0 to N by_grow 1) => input(A) ;
    for(i : 0 to M by_grow 1) => input(B) ; 
    while(Lim < N + M) Lim <<= 1 ;//Lim为结果多项式的长度(暂时),化为2的幂的便于分治(二分)
    FFT(Lim, A, 1) ;//两遍FFT表示从系数化为点值 
    FFT(Lim, B, 1) ;
    for(i : 0 to Lim by_grow 2) => A[i] *= B[i] ;//点乘法,此处需要重定义乘号,因为每一项现在表示的是一个点,有x和y两个属性qwq 
}

以上是基于 pks 标准下的伪代码你可以试试在c++标准下运行,其中 for 循环部分,grow 表示当前循环变量的单次增量,之后带有 with 表示每次循环结束都会进行的运算(下同

嗯,这就是求值的方法,好像很 nice 地达到了 O(nlogn)

FFT 优化 IDFT

上文中我们曾经提及过的范德蒙德矩阵可以放到这儿用:

|11111ωnωn2wnn11ωn2ωn4ωn2(n1)1ωnn1ωn2(n1)ωn(n1)(n1)||a0a1a2an1|=|y0y1y2yn1|

那为了求出我们的 a=a0,a1,an1 我们应该让刚刚求值算出的 y 乘上 V 1 即可。于是有

推论:对于 j,k=0,1,2n1,Vn1(j,k) 处的值为 ωnkjn

我们考虑验证这个断言的正确性,已知 Vn 是一个 (j,k) 处值为 ωnkj/n 的、与 V 形态相同的矩阵,那我们只需要证明 VV=In 即可,其中 Inn 阶单位矩阵,即主对角线都是 1 ,其余位置上是 0 的矩阵。

那么我们考察 VV 中的元素 (i,j) ,有如下的式子

VV=k=0n1(ωnkin)ωnkj=1nk=0n1ωnk(ji)

求和引理当且仅当 i=j 时其值为一,其余的时刻均为零,所以有 VV=In

那么我们把我们刚刚求出来的逆矩阵 V1 美化一下,提出每一项所除的 n :

IDFTn(y)=1nk=0n1ykωnkj,j[0,n1]

诶,这个好像…跟我们求值时的公式差不多?没错,除了带个负号,其余的都差不多。所以我们可以考虑打个标记:当 flag=1 时,他是正向 DFT ;当它等于 1 时,它是逆向的 IDFT 。这可以让我们通过这一个函数解决两个过程。我们只需要用 y 替换 a ,用 ωn1 替换 ωn ,其余的没什么差别,于是复杂度还是 O(nlogn) 的。

void FFT(int Lim,complex *A,int flag){
    if(Lim == 1) return ;
    complex A0[Lim >> 1], A1[Lim >> 1] ;
    for(int i = 0; i <= Lim ; i += 2)
        A0[i >> 1] = A[i], A1[i >> 1] = A[i+1] ;
    FFT(Lim >> 1, A0, flag) ;
    FFT(Lim >> 1, A1, flag) ;
    complex unit = (complex){cos(2.0 * Pi / Lim) , flag * sin(2.0 * Pi / Lim)}, w = complex(1, 0) ;//欧拉公式 
    for(int i = 0;i < (Lim >> 1) ; i ++, w = w * unit) {
        A[i] = A0[i] + w * A1[i] ;
        A[i + (Lim>>1)] = A0[i] - w*A1[i];
    }
}

int main(){
......................
FFT(A, 1), FFT(B, 1) ;
for(i = 0; i <= Lim; i ++) A[i] = A[i] * B[i] ;
FFT(A, -1) ;
......................
}

好的,现在嘛……可以考虑撒花花啦!因为我们的 FFT 实际上已经结束了! But ,这个递归版本的 FFT 由于牵扯到 sin/cos 的运算、 double 、递归时的入栈出栈(底层),所以常数特别的大 emmmmm ,那么——

Iterative Optimization

我们现在要引出的就是迭代版的 FFT 。

Advanced Trick Point 3 The Butterfly Operation

emmm 先上一个不是特别卡常数的优化。我们观察之前的代码中,有这么一步:

   for(int i = 0;i < (Lim >> 1) ; i ++, w = w * unit) {
        a[i] = A0[i] + w * A1[i] ;
        a[i + (Lim>>1)] = A0[i] - w*A1[i];
}

我们会发现…… ωA[1][i] 被执行了两次,所以我们不妨用个变量记录它:

   for(int i = 0;i < (Lim >> 1) ; i ++, w = w * unit) {
        int temp = w * A1[i] ;
        a[i] = A0[i] + t ;
        a[i + (Lim>>1)] = A0[i] - t ;
    }

嗯,这就是全部的优化啦!那么,FFT,完!

qwq 这分明是骗小孩子的啦……如果单单这一步就可以卡常数的话,那这个世界该多么美好 QAQ

好吧,说这个的原因,只是为了引出我们关于蝴蝶操作的定义:

我们定义 ωnk旋转因子,那么每一次我们先将 yk[1] 与旋转因子的乘积存储在一个变量 t 里,并在 yk[0] 增加、减去 t 的操作称为一次蝴蝶操作。

说白了,蝴蝶操作是一次 O(2) 的求出 Ak[0]Ak[1] 的操作。

我们首先考虑按照递归的思路,将 FFT 的分治流程刻画一下:

我们会发现,其实我们是可以对它进行反向迭代的。以上面的迭代树为例,我们的步骤大体如下:

step 1 成对地取出儿子节点,用蝴蝶操作计算出其 DFT。
step 2 用这一步的 DFT 替换之前的。
step 3 直到我们迭代到根节点为止,否则返回 step 1。

而反向迭代似乎有规律可循。我们发现只要我们用迭代的过程模拟出回溯的过程即可。

那么思路便有了:三层 for ,先枚举区间长度(1,2,4,8……),第二层枚举长度为 j×2 的每个区间的起点——意图为同时枚举两个相邻区间,便于相邻区间之间 DFT 的合并,第三层负责遍历每段区间,运用蝴蝶操作逐个合并:

for(j = 1; j < Lim; j <<= 1){//枚举区间长度,从小区间到大区间依次合并。
        node T(cos(Pi / j), flag * sin(Pi / j)) ;
        for(k = 0; k < Lim; k += (j << 1) ){//两段区间两段区间的枚举,用于合并
            node t(1, 0) ;
            for(l = 0 ; l < j; l ++, t = t * T){//枚举k所枚举的两个区间内的值,并进行蝴蝶操作。
                node Nx = J[k + l], Ny = t * J[k + j + l] ;
                J[k + l] = Nx + Ny ; J[k + j + l] = Nx - Ny ;//一次蝴蝶操作
            }
        }
    }

嗯,好像…海星?哈,思维不严谨的我们漏了一个地方:

我们在 DFT 的时候,为了保证时间复杂度是 Θ(logn) ,我们曾经进行过一次 A(x)=A[0](x2)+xA[1](x2) 的操作,所以我们需要自动调整顺序。通俗一点,就是我们原来的序列顺序是 0,1,2,3,4,5,6,7 ,但是迭代版的 FFT 却需要的顺序应该跟叶子结点的顺序吻合,即 0,4,2,6,1,5,3,7 。所以 ——

Trick Point 4 The Butterfly Law

这个嘛……我们可以选择打个表观察:

原来的序号 0  1  2  3  4  5  6  7
现在的序号 0  4  2  6  1  5  3  7
原来的二进制表示 000  001  010  011  100  101  110  111
现在的二进制表示 000  100  010  110  100  101  011  111

诶,二进制好像是反序的嗷~这便是我们的最后一个 trick ,蝴蝶定理。而因为我们观察到的蝴蝶定理是满足一一对应性的,所以我们在 FFT 之前 swap 一遍即可。

嗯,然后我们可以将这个反序存在一个数组里面。类似这样求出来:

for(i = 0; i < Lim; i ++ ) R[i] = (R[i >> 1] >> 1) | ((i & 1) << (L - 1)) ;

这大概是一个类似递推的过程。

那么我们可以看到,这就简化了很多冗余的步骤,并让我们脱离递归的大常数。真开森啊

最后附迭代版的代码(我写的常数好像有点儿大 QAQ )

#include <cmath>
#include <cstdio>
#include <iostream>
#define il inline

using namespace std ;
int N, M, K ;
const int MAXN = 3000100 ;
const double Pi = acos(-1.0) ;
int i, j, k, l, Lim = 1, L, R[MAXN] ; 
struct node{
    double x, y ;
    node (double xx = 0, double yy = 0){
        x = xx, y = yy ;
    }
}A[MAXN], B[MAXN] ;
node operator * (node J, node Q){
    return node(J.x * Q.x - J.y * Q.y , J.x * Q.y + J.y * Q.x);
}
node operator + (node J, node Q){
    return node(J.x + Q.x , J.y + Q.y);
}
node operator - (node J, node Q){
    return node(J.x - Q.x , J.y - Q.y );
}

il int qr(){
    int k = 0, f = 1 ;
    char c = getchar() ;
    while(!isdigit(c)){if(c == '-') f = -1 ;c = getchar() ;}
    while(isdigit(c)) k = (k << 1) + (k << 3) + c - 48 ,c = getchar() ;
    return k * f ;
}
void FFT(node *J, int flag){
    for(i = 0; i < Lim; i ++)
        if(i < R[i]) swap(J[i], J[R[i]]) ;//前面的if保证只换一次
    for(j = 1; j < Lim; j <<= 1){
        node T(cos(Pi / j), flag * sin(Pi / j)) ;
        for(k = 0; k < Lim; k += (j << 1) ){
            node t(1, 0) ;
            for(l = 0 ; l < j; l ++, t = t * T){
                node Nx = J[k + l], Ny = t * J[k + j + l] ;
                J[k + l] = Nx + Ny ;
                J[k + j + l] = Nx - Ny ;
            }
        }
    }
}
int main(){
    N = qr(), M = qr() ; 
    for(i = 0; i <= N; i ++) A[i].x = qr() ;
    for(i = 0; i <= M; i ++) B[i].x = qr() ;
    while(Lim <= N + M) Lim <<= 1, L ++ ;
    for(i = 0; i < Lim; i ++ ) R[i] = (R[i >> 1] >> 1) | ((i & 1) << (L - 1)) ;
    FFT(A, 1), FFT(B, 1) ;
    for(i = 0; i <= Lim; i ++) A[i] = A[i] * B[i] ;
    FFT(A, -1) ;
    for(i = 0; i <= N + M; i ++)
        printf("%d ", (int)(A[i].x / Lim + 0.5)) ;//我们推过的公式里面有一个1/n这一项,最后输出的时候添上即可 
    return 0 ;
}

啊……那就撒花花吧!!

Afterword

以下是原尾语,保留了下来:

嗯……怎么说呢,现在看这个算法,真是简单的一匹啊……代码这么短这么容易背过。但是当时理解起来却花了很大心思呢!这篇博客我写了整整三天 qwq ,由于要培训和考试,所以拖拖沓沓地写了三天,一边写一边感叹自己理解的简直太浅显了。每一个证明、每一个引理、甚至每一个符号,我都需要去和其他 DALAO 比对审核、或者缠着 rqy 问个没完;每次一讲到原理,我都发现自己原来并不理解那些,于是不得不推倒重来。这篇博客会持续更新,补充语意不明、证明难以理解的地方。

以下是温馨提示:

1、好多自己当初不理解的地方在代码里就只有半行qaq

2、三个引理中,只有消去引理跟算法的实现没有关系——消去引理主要是用来证明其他引理的

真 · 结束语:

其实没什么好说的,今天重新复习了一遍,发现自己以前有好多内容虽然如原尾语所言,看上去现在看这个算法,真是简单的一匹啊,但实际上忽略了好多东西。我想大概只有一遍一遍地钻研才能了解完全一件事情吧。

Reference

writter:pks

posted @   皎月半洒花  阅读(16602)  评论(15编辑  收藏  举报
编辑推荐:
· .NET Core 中如何实现缓存的预热?
· 从 HTTP 原因短语缺失研究 HTTP/2 和 HTTP/3 的设计差异
· AI与.NET技术实操系列:向量存储与相似性搜索在 .NET 中的实现
· 基于Microsoft.Extensions.AI核心库实现RAG应用
· Linux系列:如何用heaptrack跟踪.NET程序的非托管内存泄露
阅读排行:
· TypeScript + Deepseek 打造卜卦网站:技术与玄学的结合
· 阿里巴巴 QwQ-32B真的超越了 DeepSeek R-1吗?
· 【译】Visual Studio 中新的强大生产力特性
· 2025年我用 Compose 写了一个 Todo App
· 张高兴的大模型开发实战:(一)使用 Selenium 进行网页爬虫
点击右上角即可分享
微信分享提示
哥伦布
05:09发布
哥伦布
05:09发布
7°
多云
西北风
2级
空气质量
相对湿度
67%
今天
小雨
7°/21°
周五
多云
11°/22°
周六
大雨
16°/24°