任意模数NTT(拆系数FFT)

Posted ak-dream

tags:

篇首语:本文由小常识网(cha138.com)小编为大家整理,主要介绍了任意模数NTT(拆系数FFT)相关的知识,希望对你有一定的参考价值。

题目描述

给定 (2) 个多项式 (F(x), G(x)) ,请求出 (F(x) * G(x))

系数对 (p) 取模,且不保证 (p) 可以分解成 (p = a cdot 2^k + 1) 之形式。

输入/输出

不关心

(1 leq n leq 10^5, 0 leq a_i, b_i leq 10^9, 2 leq p leq 10^9 + 9)

题解

主要是记录一下一次FFT同时对两个多项式进行DFT或IDFT这个常数技巧是怎么实现的。。。推式子什么的我也不会
技术图片

现在这里有两个多项式(A(x),B(x)),这两个多项式我们都需要做一次DFT

那么我们定义(P(x)=A(x)+i*B(x), Q(x)=A(x)-i*B(x))

我们把(P(x))经过DFT后的第(k)项记为(DFT(P_k)) (其他的也同理),经过一些证明我们可以得到这样一个结论:(DFT(P_k)和DFT(Q_{n-k}))互为共轭复数,特殊的,(DFT(P_0))(DFT(Q_0))为共轭复数

所以我们一次正向FFT之后求出所有的(DFT(P_k)),就可以直接算出(DFT(Q_k))

而此时(DFT(A_k)=dfrac{DFT(P_k)+DFT(Q_k)}{2}, DFT(B_k)=-i*dfrac{DFT(P_k)-DFT(Q_k)}{2}) 也是直接算出来就好了

综上 我们只用了一次FFT就对(A(x))(B(x))都进行了DFT 而不用两次

代码实现:

void DFT(Complex *A, Complex *B) {
	for (int i = 0; i < lim; i++) {
		p[i] = A[i] + I * B[i]; 
	}
	FFT(p, 1);
	for (int i = 0; i < lim; i++) {
		q[i] = conj(i ? p[lim-i] : p[0]); //conj:共轭复数
	}
	for (int i = 0; i < lim; i++) {
		A[i] = (p[i] + q[i]) / 2;
		B[i] = (p[i] - q[i]) * I / -2;
	}
} 

IDFT也可以一次FFT处理两个多项式

对于两个点值表达的多项式(C(x), D(x))

我们让(R(x)=C(x)+i*D(x))

然后对(R)进行反向FFT

最后(IDFT(R_k))的实部就是(IDFT(C_k))(IDFT(R_k))的虚部就是(IDFT(D_k))

这个就更好实现了

void IDFT(Complex *C, Complex *D) {
	for (int i = 0; i < lim; i++) {
		r[i] = C[i] + I * D[i]; 
	}
	FFT(r, -1);
	for (int i = 0; i < lim; i++) {
		C[i].x = r[i].x;
		D[i].x = r[i].y;
	}
} 

所以我们又只用了一次FFT就算出两个点值表达式IDFT后的结果

好像有人给这个取了个名字叫MTT

这个技巧的使用没有什么限制,只要有两个多项式都需要进行DFT/IDFT就可以用

不卡时限的题目还是不怎么需要用到这个技巧的。。。但是此题就要用

回到此题

当然你可以用三模数NTT 但是蒟蒻我并不会用

所以用FFT

如果直接FFT爆乘的话 肯定会爆出double的范围

但是 如果我们把F(x)拆成两个多项式(F(x)=A(x)*2^{15}+A_2(x)),把(G(x))拆成(G(x)=B(x)*2^{15}+B_2(x))

然后计算((A(x)*2^{15}+A_2(x))(B(x)*2^{15}+B_2(x))=A(x)*B(x)*2^{30}+(A(x)*B_2(x)+A_2(x)*B(x))*2^{15}+A_2(x)*B_2(x))

这四个式子两两相乘是不会乘爆的

但是这样做需要做8次FFT(为了不乘爆最少也要7次) 时间上接受不了

用上面的那个技巧 我们可以把FFT的次数优化到4次

具体来说 就是(A(x)和A_2(x))的DFT一起做 (B(x)和B_2(x))的DFT一起做

然后分别算出(A(x)*B(x),A(x)*B_2(x),A_2(x)*B(x),A_2(x)*B_2(x)),同样两个一组做IDFT

一共4次 完美 时间上还过得去 只比NTT慢一倍左右吧

注意一定要用long double。。。可能是乘积太大了导致精度不够用

代码

#include <bits/stdc++.h>
using namespace std;
typedef long long ll;

template<typename T>
inline void read(T &num) {
	T x = 0, f = 1; char ch = getchar();
	for (; ch > ‘9‘ || ch < ‘0‘; ch = getchar()) if (ch == ‘-‘) f = -1;
	for (; ch <= ‘9‘ && ch >= ‘0‘; ch = getchar()) x = (x << 3) + (x << 1) + (ch ^ ‘0‘);
	num = x * f;
}

struct Complex {
    long double x, y;
    Complex(long double xx = 0, long double yy = 0): x(xx), y(yy) {}
};

inline Complex operator + (Complex p, Complex q) { return Complex(p.x+q.x , p.y+q.y); }
inline Complex operator - (Complex p, Complex q) { return Complex(p.x-q.x , p.y-q.y); }
inline Complex operator * (Complex p, Complex q) { return Complex(p.x*q.x-p.y*q.y , p.x*q.y+p.y*q.x); }
inline Complex operator / (Complex p, long double q) { return Complex(p.x/q, p.y/q); }
inline Complex conj(Complex p) { return Complex(p.x, -p.y); }

Complex I = Complex(0, 1), p[500005], q[500005], a[500005], a2[500005], b[500005], b2[500005];
ll n, m, mod, lim, l, rev[500005], ans[500005];
const long double pi = acos(-1.0);

void FFT(Complex *c, int tp) {
	for (int i = 0; i < lim; i++) {
		if (i < rev[i]) swap(c[i], c[rev[i]]);
	}
	for (int mid = 1; mid < lim; mid <<= 1) {
		Complex wn = Complex(cos(pi / mid), sin(pi / mid) * tp);
		for (int r = mid<<1, j = 0; j < lim; j += r) {
			Complex w = Complex(1, 0);
			for (int k = 0; k < mid; k++, w = w * wn) {
				Complex x = c[j+k], y = w * c[j+k+mid];
				c[j+k] = x + y;
				c[j+k+mid] = x - y;
			}
		}
	}
}

void DFT(Complex *A, Complex *B) { //两个一起做DFT
	for (int i = 0; i < lim; i++) {
		p[i] = A[i] + I * B[i]; 
	}
	FFT(p, 1);
	for (int i = 0; i < lim; i++) {
		q[i] = conj(i ? p[lim-i] : p[0]);
	}
	for (int i = 0; i < lim; i++) {
		A[i] = (p[i] + q[i]) / 2;
		B[i] = (p[i] - q[i]) * I / -2;
	}
} 

int main() {
	read(n), read(m), read(mod);
	lim = 1, l = 0;
	while (lim < n + m) {
		lim <<= 1;
		l++;
	}
	for (int i = 0; i < lim; i++) {
		rev[i] = (rev[i>>1]>>1)|((i&1)<<(l-1));
	}
	for (int i = 0; i <= n; i++) {
		ll x; read(x);
		a[i].x = x >> 15; a2[i].x = x & 0x7fff; //(0x7fff == 2^15)
	}
	for (int i = 0; i <= m; i++) {
		ll x; read(x);
		b[i].x = x >> 15; b2[i].x = x & 0x7fff;
	} 
	DFT(a, a2); DFT(b, b2);	
	for (int i = 0; i < lim; i++) {
		p[i] = a[i] * b[i] + a[i] * b2[i] * I; //两个一组做IDFT
		q[i] = a2[i] * b[i] + a2[i] * b2[i] * I;
	}
	FFT(p, -1); FFT(q, -1);
	for (int i = 0; i < lim; i++) {
		ll ab, ab2, a2b, a2b2;
		ab = (ll)(p[i].x / lim + 0.5) % mod;
		a2b = (ll)(q[i].x / lim + 0.5) % mod;
		ab2 = (ll)(p[i].y / lim + 0.5) % mod;
		a2b2 = (ll)(q[i].y / lim + 0.5) % mod;
		ans[i] = (((ab << 30) % mod) + ((((ab2 + a2b) % mod) << 15) % mod) + a2b2) % mod; 
	}
	for (int i = 0; i <= n + m; i++) {
		printf("%lld ", ans[i]);
	}
	return 0;
} 

以上是关于任意模数NTT(拆系数FFT)的主要内容,如果未能解决你的问题,请参考以下文章

任意模数NTT(MTT)模板

COGS2294 释迦

任意模数FFT

任意模数fft

MTT:任意模数NTT

任意模数NTT(转)