任意模数NTT学习笔记
这两天有点颓,所以东西学的也很慢。。。这个一眼就能推出来的活生生卡了我两天。。
说几个细节:
柿子:
$$fg = (\frac{f}{M} +f%m)(\frac{g}{M} +g%m) $$
\(M\)通常设置为\(32768\)。把上一步的几个韩束化成\(a,b,c,d\)的形式,答案就是:
- \(M * M * a * c+M * (a * d + b *c) +b * d\)
一看卷积,多搞几次\(FFT\)就过去了。
处处小心膜爆。有效方法如下。
#define int long long
#define double long double
int add (int x, int y) {x %= p, y %= p; return (((x + y) % p) + p) % p;}
int mul (int x, int y) {x %= p, y %= p; return (((x * y) % p) + p) % p;}
数组记得开大。\(N<<2\)左右。
#include <bits/stdc++.h>
using namespace std;
#define int long long
#define double long double
const int N = 600010;
const double pi = acos (-1);
int n, m, p, lim = 1, f[N], g[N], rev[N], res[N];
struct Complex {
double x, y;
Complex (double _x = 0, double _y = 0) {x = _x, y = _y;}
Complex operator + (Complex rhs) {return Complex (x + rhs.x, y + rhs.y);}
Complex operator - (Complex rhs) {return Complex (x - rhs.x, y - rhs.y);}
Complex operator * (Complex rhs) {return Complex (x * rhs.x - y * rhs.y, x * rhs.y + y * rhs.x);}
}a[N], b[N], c[N], d[N], t1[N], t2[N], t3[N], t4[N];
const int M = 32768;
signed add (int x, int y) {x %= p, y %= p; return (((x + y) % p) + p) % p;}
signed mul (int x, int y) {x %= p, y %= p; return (((x * y) % p) + p) % p;}
void fast_fast_tle (Complex *A, int type) {
for (int i = 0; i < lim; ++i) {
if (i < rev[i]) {
swap (A[i], A[rev[i]]);
}
}
for (int mid = 1; mid < lim; mid <<= 1) {
Complex Wn (cos (pi / mid), type * sin (pi / mid));
for (int p = 0; p < lim; p += (mid << 1)) {
Complex w (1, 0);
for (int i = 0; i < mid; ++i, w = w * Wn) {
Complex x = A[p + i], y = w * A[p + i + mid];
A[p + i] = x + y;
A[p + i + mid] = x - y;
}
}
}
if (type == -1) {
for (int i = 0; i < lim; ++i) {
A[i].x /= lim;
}
}
}
signed main () {
cin >> n >> m >> p;
for (int i = 0; i <= n; ++i) {
cin >> f[i];
a[i].x = f[i] / M;
b[i].x = f[i] % M;
}
for (int i = 0; i <= m; ++i) {
cin >> g[i];
c[i].x = g[i] / M;
d[i].x = g[i] % M;
}
while (lim <= n + m) lim <<= 1;
for (int i = 0; i < lim; ++i) {
rev[i] = (rev[i >> 1] >> 1) + (i & 1) * (lim / 2);
}
fast_fast_tle (a, 1), fast_fast_tle (b, 1); fast_fast_tle (c, 1), fast_fast_tle (d, 1);
for (int i = 0; i < lim; ++i) {
t1[i] = a[i] * c[i], t2[i] = a[i] * d[i], t3[i] = b[i] * c[i], t4[i] = b[i] * d[i];
}
fast_fast_tle (t1, -1), fast_fast_tle (t2, -1); fast_fast_tle (t3, -1), fast_fast_tle (t4, -1);
for (int i = 0; i < lim; ++i) {
res[i] = add (res[i], mul (mul (M, M), (int) (t1[i].x + 0.1)));
res[i] = add (res[i], mul (mul (M, 1), (int) (t2[i].x + 0.1)));
res[i] = add (res[i], mul (mul (M, 1), (int) (t3[i].x + 0.1)));
res[i] = add (res[i], mul (mul (1, 1), (int) (t4[i].x + 0.1)));
}
for (int i = 0; i <= n + m; ++i) printf ("%lld ", res[i]);
}
任意模数NTT学习笔记的更多相关文章
- 再探快速傅里叶变换(FFT)学习笔记(其三)(循环卷积的Bluestein算法+分治FFT+FFT的优化+任意模数NTT)
再探快速傅里叶变换(FFT)学习笔记(其三)(循环卷积的Bluestein算法+分治FFT+FFT的优化+任意模数NTT) 目录 再探快速傅里叶变换(FFT)学习笔记(其三)(循环卷积的Blueste ...
- FFT和NTT学习笔记_基础
FFT和NTT学习笔记 算法导论 参考(贺) http://picks.logdown.com/posts/177631-fast-fourier-transform https://blog.csd ...
- 任意模数NTT
任意模数\(NTT\) 众所周知,为了满足单位根的性质,\(NTT\)需要质数模数,而且需要能写成\(a2^{k} + r\)且\(2^k \ge n\) 比较常用的有\(998244353,1004 ...
- BZOJ1042 HAOI2008硬币购物(任意模数NTT+多项式求逆+生成函数/容斥原理+动态规划)
第一眼生成函数.四个等比数列形式的多项式相乘,可以化成四个分式.其中分母部分是固定的,可以多项式求逆预处理出来.而分子部分由于项数很少,询问时2^4算一下贡献就好了.这个思路比较直观.只是常数巨大,以 ...
- [洛谷P4245]【模板】任意模数NTT
题目大意:给你两个多项式$f(x)$和$g(x)$以及一个模数$p(p\leqslant10^9)$,求$f*g\pmod p$ 题解:任意模数$NTT$,最大的数为$p^2\times\max\{n ...
- 【模板】任意模数NTT
题目描述: luogu 题解: 用$fft$水过(什么$ntt$我不知道). 众所周知,$fft$精度低,$ntt$处理范围小. 所以就有了任意模数ntt神奇$fft$! 意思是这样的.比如我要算$F ...
- 【知识总结】多项式全家桶(三)(任意模数NTT)
经过两个月的咕咕,"多项式全家桶" 系列终于迎来了第三期--(雾) 上一篇:[知识总结]多项式全家桶(二)(ln和exp) 先膜拜(伏地膜)大恐龙的博客:任意模数 NTT (在页面 ...
- MTT:任意模数NTT
MTT:任意模数NTT 概述 有时我们用FFT处理的数据很大,而模数可以分解为\(a\cdot 2^k+1\)的形式.次数用FFT精度不够,用NTT又找不到足够大的模数,于是MTT就应运而生了. MT ...
- 洛谷.4245.[模板]任意模数NTT(MTT/三模数NTT)
题目链接 三模数\(NTT\): 就是多模数\(NTT\)最后\(CRT\)一下...下面两篇讲的都挺明白的. https://blog.csdn.net/kscla/article/details/ ...
随机推荐
- Maven替换为国内仓库
<mirror> <id>nexus-aliyun</id> <mirrorOf>central</mirrorOf> <name&g ...
- 前后端分离djangorestframework—— 接入第三方的验证码平台
关于验证码部分,在我这篇文章里说的挺详细的了:Python高级应用(3)—— 为你的项目添加验证码 这里还是再给一个前后端分离的实例,因为极验官网给的是用session作为验证的,而我们做前后端分离的 ...
- 爬虫基础--IO多路复用单线程异步非阻塞
最近一直的学习爬虫 ,进行基础的学习 性能相关 参考 https://www.cnblogs.com/wupeiqi/p/6229292.html # 目标:单线程实现并发HTTP请求 # # so ...
- Jenkins系统监测(转)
Jenkins系统监测 Jenkins 是一个开源项目,提供了一种易于使用的持续集成系统,使开发者从繁杂的集成中解脱出来,专注于更为重要的业务逻辑实现上.同时 Jenkins 能实施监控集成中存在 ...
- Dijango学习_02_极简本地博客创建
二. Python 自带SQLite3数据库,Django默认使用SQLite3数据库,如果使用其它数据库可以在settings.py文件中设置. DATABASES = { 'default': { ...
- LeetCode算法题-Second Minimum Node In a Binary Tree(Java实现)
这是悦乐书的第285次更新,第302篇原创 01 看题和准备 今天介绍的是LeetCode算法题中Easy级别的第153题(顺位题号是671).给定非空的特殊二叉树,其由具有非负值的节点组成,其中该树 ...
- 英语口语练习系列-C16-钱
词汇学习 beer [bɪə(r)] n. 啤酒 a glass of beer 一杯啤酒 five glasses of beer 五杯啤酒 beers (种类) Shall we have a b ...
- scheme实现最基本的自然数下的运算
版权申明:本文为博主窗户(Colin Cai)原创,欢迎转帖.如要转贴,必须注明原文网址 http://www.cnblogs.com/Colin-Cai/p/9123363.html 作者:窗户 Q ...
- 等待通知--wait notify
1.简单理解 在jdk1.5之前用于实现简单的等待通知机制,是线程之间通信的一种最原始的方式.考虑这样一种等待通知的场景:A B线程通过一个共享的非volatile的变量flag来实现通信,每当A线程 ...
- 20145236《网络对抗》进阶实验——64位Ubuntu 17.10.1 ROP攻击
20145236<网络对抗>进阶实验--64位Ubuntu 17.10.1 ROP攻击 基础知识 ROP攻击 ROP全称为Retrun-oriented Programmming(面向返回 ...