分治FFT模板

题目链接:https://www.luogu.org/problemnew/show/P4721

总结了一下蒟蒻FFT/NTT容易写错的地方:

? 1、rev数组求错。

? 2、cdq注意顺序:先递归左, 处理左对右的影响,再递归右。(注意!这需要考虑到分治fft的原理!)

? 3、初始a数组忘了取模等各种忘取模。

? 4、NTT第二层循环i+=(1<<j)而不是i+=j

? 5、y=gnk*a[k+j]而不是a[k+j].

接下来是AC代码
(打//标志的是曾经与现在本蒟蒻FFT写错的地方)

#include<bits/stdc++.h>
using namespace std;
const int N = 500005;
#define rep(i,a,b) for(register int i=(a);i<=(b);++i)
int n;
typedef long long ll;
const ll mod =998244353;
ll ksm(ll x,ll y){
    ll aa=1ll;
    for(;y;y>>=1,x=(x*x)%mod)if(y&1)aa=(aa*x)%mod;
    return aa;
}
int g[N],f[N],a[N],b[N];
int R[N];
inline void NTT(int *a,int l,int inv){
    int K=log2(l);
    rep(i,0,l-1){
        R[i]=(R[i>>1]>>1)|((i&1)<<(K-1));//
        if(i>R[i])swap(a[i],a[R[i]]);
    }
    register int i,j,k,gnk,gn,x,y;
    for(j=1;j<l;j<<=1){
        gn=ksm(3,(mod-1)/(j<<1));
        for(i=0;i<l;i+=(j<<1)){//
            gnk=1;
            for(k=i;k<i+j;++k,gnk=1ll*gnk*gn%mod){//
                x=a[k],y=1ll*gnk*a[k+j]%mod;//
                a[k]=(x+y)%mod,a[k+j]=(x-y+mod)%mod;
            }
        }
    }
    if(inv==1)return;reverse(a+1,a+l);
    inv=ksm(l,mod-2)%mod;
    rep(i,0,l-1)a[i]=1ll*a[i]*inv%mod;
}
void cdq(int l,int r){
    if(l==r){f[l]=1ll*(f[l]+g[l])%mod;return;}
    int mid=(l+r)>>1;
    cdq(l,mid);
    int rn=1;
    for(;rn<=r-l+1;rn<<=1);
    rep(i,l,mid)a[i-l]=f[i];//
    rep(i,mid-l+1,rn)a[i]=0;//mid-l+1-rn
    rep(i,0,r-l)b[i]=g[i];
    rep(i,r-l+1,rn)b[i]=0;
    NTT(a,rn,1),NTT(b,rn,1);
    rep(i,0,rn-1)a[i]=(1ll*a[i]*b[i])%mod;
    NTT(a,rn,-1);
    rep(i,mid+1,r)f[i]=1ll*(f[i]+a[i-l])%mod;//a[i-l]
    cdq(mid+1,r);//order
}
int main(){
    scanf("%d",&n);n--;
    rep(i,1,n)scanf("%d",&g[i]);
    f[0]=1;
    cdq(1,n);
    rep(i,0,n)printf("%d ",f[i]);
    return 0;
}

原文地址:https://www.cnblogs.com/Sinuok/p/10903803.html

时间: 2024-07-31 22:27:28

分治FFT模板的相关文章

【模板】分治 FFT

题目大意:给定长度为 \(n - 1\) 的序列 \(g\),求 \(f\) 序列,其中 \(f\) 为 \[ f[i]=\sum_{j=1}^{i} f[i-j] g[j] \] 学会了分治 \(fft\). 发现这个式子中也含有卷积,但是这是一个递推式,即:\(f\) 数组是未知的. 考虑分治策略,即:假设已经算出区间 \([l, mid]\) 的 \(f\) 值,现在要计算区间 \([mid + 1, r]\) 的 \(f\). 考虑左半部分对右半部分的贡献,对于 \[x \in [mid

[题解] Luogu P4721 【模板】分治 FFT

分治FFT的板子为什么要求逆呢 传送门 这个想法有点\(cdq\)啊,就是考虑分治,在算一段区间的时候,我们把他分成两个一样的区间,然后先做左区间的,算完过后把左区间和\(g\)卷积一下,这样就可以算出左区间里的\(f\)对右边的贡献,然后再算右边的就好了. 手玩一组样例吧:g=[0,3,1,2](默认\(g[0] = 0\)) 一开始,只有f[0]=1 f: [1 0|0 0] 然后我们从中间分开来,先算左边的 f: [1|0|0 0] 然后在分下去我们会找到\(f[0]\),就拿这一段和\(

【BZOJ 2179】【FFT模板】 FFT快速傅立叶

2179: FFT快速傅立叶 Time Limit: 10 Sec Memory Limit: 259 MB Submit: 1595 Solved: 792 [Submit][Status][Discuss] Description 给出两个n位10进制整数x和y,你需要计算x*y. Input 第一行一个正整数n. 第二行描述一个位数为n的正整数x. 第三行描述一个位数为n的正整数y. Output 输出一行,即x*y的结果. Sample Input 1 3 4 Sample Output

分治FFT

分治FFT 目的 解决这样一类式子: \[f[n] = \sum_{i = 0}^{n - 1}f[i]g[n - i]\] 算法 看上去跟普通卷积式子挺像的,但是由于计算\(f\)的每一项时都在利用它前面的项来产生贡献,所以不能一次FFT搞完.用FFT爆算复杂度\(O(n^2logn)\),比直接枚举复杂度还高-- 考虑优化这个算法,如果我们要计算区间\([l, r]\)内的\(f\)值,如果可以快速算出区间\([l, mid]\)内的\(f\)值对区间\([mid + 1, r]\)内的\(

再写FFT模板

没什么好说的,今天有考了FFT(虽然不用FFT也能过)但是确实有忘了怎么写FFT了,于是乎只有重新写一遍FFT模板练一下手了.第一部分普通FFT,第二部分数论FFT,记一下模数2^23*7*17+1 #include<iostream> #include<cstdio> #include<cstring> #include<algorithm> #include<cmath> using namespace std; typedef double

fft模板 HDU 1402

1 // fft模板 HDU 1402 2 3 #include <iostream> 4 #include <cstdio> 5 #include <cstdlib> 6 #include <algorithm> 7 #include <vector> 8 #include <math.h> 9 #include <memory.h> 10 #include <bits/stdc++.h> 11 using

hdu1402(大数a*b&amp;fft模板)

题目链接: http://acm.hdu.edu.cn/showproblem.php?pid=1402 题意: 给出两个长度1e5以内的大数a, b, 输出 a * b. 思路: fft模板 详情参见: http://blog.csdn.net/sdj222555/article/details/9786527  https://wenku.baidu.com/view/8bfb0bd476a20029bd642d85.html 可以将 a, b 看成两个多项式, 每个数位为一项, 每一位上的

FFT模板

  #include <cstdio> #include <cmath> #include <cstring> using namespace std; const double pi = acos(-1.0); const int maxn = 500005; struct complex { double r,i; complex(double r = 0.0,double i = 0.0) :r(r),i(i) {} inline complex operator

2017 3 11 分治FFT

考试一道题的递推式为$$f[i]=\sum_{j=1}^{i} j^k \times (i-1)! \times \frac{f[i-j]}{(i-j)!}$$这显然是一个卷积的形式,但$f$需要由自己卷过来(我也不知到怎么说),以前只会生成函数的做法,但这题好像做不了(谁教教我怎么做),于是无奈的写了一发暴力,看题解发现是分治FFT.分治每层用$f[l]-f[mid]$与$a[1]-a[r-l]$做NTT.这样显然每个$f[l]-f[mid]$对$f[mid+1]-f[r]$的贡献都考虑到了.