uoj#34. 多项式乘法 （含NTT模板）

链接

http://uoj.ac/problem/34

题解

$ntt$就是在整数域上模仿$fft$
利用的是原根和主单位复数根极其相似的性质
从离散数学的角度理解，可以想成是群的同构
包含原根的模乘法群和包含单位复数根的复数群同构，而复数群中主单位复数根的逆元就是其共轭复数，原根的逆元就是数论逆元
其实操作都是相同的

代码

#include <bits/stdc++.h>
#define maxn 300010
#define cl(x) memset(x,0,sizeof(x))
#define mod 1004535809ll
using namespace std;
typedef long long ll;
struct EasyMath
{
    ll fastpow(ll a, ll b, ll c)
    {
        ll t(a%c), ans(1ll);
        for(;b;b>>=1,t=t*t%c)if(b&1)ans=ans*t%c;
        return ans;
    }
}em;
struct NTT
{
    ll up, R[maxn];
    void init(ll bound)    //bound是积多项式的最高次幂
    {
        ll L(0);
        for(up=1;up<=bound;up<<=1,L++);
        for(ll i=0;i<up;i++)R[i]=(R[i>>1]>>1)|((i&1)<<(L-1));
    }
    void ntt(ll* a, int opt)
    {
        ll i, j, k, wn, w, x, y, inv(em.fastpow(up,mod-2,mod));
        for(i=0;i<up;i++)if(i>R[i])swap(a[i],a[R[i]]);
        for(i=1;i<up;i<<=1)
        {
            if(opt==1)wn=em.fastpow(3,(mod-1)/(i<<1),mod);
            else wn=em.fastpow(3,(mod-1-(mod-1)/(i<<1)),mod);
            for(j=0;j<up;j+=i<<1)
                for(w=1,k=0;k<i;k++,w=w*wn%mod)
                {
                    x=a[k+j], y=a[k+j+i]*w%mod;
                    a[k+j]=(x+y)%mod, a[k+j+i]=(x-y)%mod;
                }
        }
        if(opt==-1)for(i=0;i<up;i++)(a[i]*=inv)%=mod;
    }
    void juan(ll* a, ll* b, ll* c)
    {
        ntt(a,1), ntt(b,1);
        for(int i=0;i<up;i++)c[i]=a[i]*b[i];
        ntt(c,-1);
    }
}ntt;
ll read(ll x=0)
{
    ll c, f(1);
    for(c=getchar();!isdigit(c);c=getchar())if(c=='-')f=-f;
    for(;isdigit(c);c=getchar())x=x*10+c-0x30;
    return f*x;
}
ll n, m, a[maxn], b[maxn], c[maxn];
int main()
{
    ll i;
    n=read()+1, m=read()+1;
    for(i=0;i<n;i++)a[i]=read();
    for(i=0;i<m;i++)b[i]=read();
    ntt.init(n+m);
    ntt.juan(a,b,c);
    for(i=0;i<n+m-1;i++)printf("%lld ",(c[i]+mod)%mod );
    return 0;
}