导数卷积

有f(x)=∑i=0n−1ai×xi求g(x)=∑i=0n−1f(i)(x)f(n−i−1)(x)∑i=0n−1∑j=0n−1ai+j(i+j)!j!∑k=0n−1ak+(n−i−1)(k+(n−i−1))!k!设F(n)=an×n!我们单独求解g(x)的第m项,有gm=∑i=0n−1∑j=1d(F(i+j)∗F(n−i−1+d−j))×(1j!∗1(d−j)!)设H(n)=1n!有f(x) = \sum_{i = 0} ^{n - 1}a_i \times x ^ i\\ 求g(x) = \sum_{i = 0} ^{n - 1}f ^{(i)}(x) f^{(n - i - 1)}(x)\\ \sum_{i = 0} ^{n - 1} \sum_{j = 0} ^{n - 1} a_{i + j} \frac{(i + j)!}{j!} \sum_{k = 0} ^{n - 1} a_{k + (n - i - 1)} \frac{(k + (n - i - 1))!}{k!}\\ 设F(n) = a_{n} \times n !\\ 我们单独求解g(x)的第m项,有g_m = \sum_{i = 0} ^{n - 1} \sum_{j = 1} ^{d} (F(i + j) * F(n - i - 1 + d - j )) \times (\frac{1}{j!}* \frac{1}{(d - j)!})\\ 设H(n) = \frac{1}{n!}\\ 有f(x)=i=0∑n−1​ai​×xi求g(x)=i=0∑n−1​f(i)(x)f(n−i−1)(x)i=0∑n−1​j=0∑n−1​ai+j​j!(i+j)!​k=0∑n−1​ak+(n−i−1)​k!(k+(n−i−1))!​设F(n)=an​×n!我们单独求解g(x)的第m项,有gm​=i=0∑n−1​j=1∑d​(F(i+j)∗F(n−i−1+d−j))×(j!1​∗(d−j)!1​)设H(n)=n!1​

这里就可以看成是(∑i=0n−1F(i)×F(n−1+d−i))×(∑i=0dH(i)×H(d−i))(\sum\limits_{i = 0} ^{n - 1}F(i) \times F(n - 1 + d - i)) \times (\sum\limits_{i = 0} ^{d} H(i) \times H(d - i))(i=0∑n−1​F(i)×F(n−1+d−i))×(i=0∑d​H(i)×H(d−i)),也就是先对左右两边做卷积,然后相乘即可。

#include <bits/stdc++.h>using namespace std;const int mod = 998244353, inv2 = mod + 1 >> 1;namespace Quadratic_residue {struct Complex {int r, i;Complex(int _r = 0, int _i = 0) : r(_r), i(_i) {}};int I2;Complex operator * (const Complex &a, Complex &b) {return Complex((1ll * a.r * b.r % mod  + 1ll * a.i * b.i % mod * I2 % mod) % mod, (1ll * a.r * b.i % mod + 1ll * a.i * b.r % mod) % mod);}Complex quick_pow(Complex a, int n) {Complex ans = Complex(1, 0);while (n) {if (n & 1) {ans = ans * a;}a = a * a;n >>= 1;}return ans;}int get_residue(int n) {mt19937 e(233);if (n == 0) {return 0;}if(quick_pow(n, (mod - 1) >> 1).r == mod - 1) {return -1;}uniform_int_distribution<int> r(0, mod - 1);int a = r(e);while(quick_pow((1ll * a * a % mod - n + mod) % mod, (mod - 1) >> 1).r == 1) {a = r(e);}I2 = (1ll * a * a % mod - n + mod) % mod;int x = quick_pow(Complex(a, 1), (mod + 1) >> 1).r, y = mod - x;if(x > y) swap(x, y);return x;}
}const int N = 1e6 + 10;int r[N], inv[N], b[N], c[N], d[N], e[N], t[N];int quick_pow(int a, int n) {int ans = 1;while (n) {if (n & 1) {ans = 1ll * a * ans % mod;}a = 1ll * a * a % mod;n >>= 1;}return ans;
}void get_r(int lim) {for (int i = 0; i < lim; i++) {r[i] = (i & 1) * (lim >> 1) + (r[i >> 1] >> 1);}
}void get_inv(int n) {inv[1] = 1;for (int i = 2; i <= n; i++) {inv[i] = 1ll * (mod - mod / i) * inv[mod % i] % mod;}
}void NTT(int *f, int lim, int rev) {for (int i = 0; i < lim; i++) {if (i < r[i]) {swap(f[i], f[r[i]]);}}for (int mid = 1; mid < lim; mid <<= 1) {int wn = quick_pow(3, (mod - 1) / (mid << 1));for (int len = mid << 1, cur = 0; cur < lim; cur += len) {int w = 1;for (int k = 0; k < mid; k++, w = 1ll * w * wn % mod) {int x = f[cur + k], y = 1ll * w * f[cur + mid + k] % mod;f[cur + k] = (x + y) % mod, f[cur + mid + k] = (x - y + mod) % mod;}}}if (rev == -1) {int inv = quick_pow(lim, mod - 2);reverse(f + 1, f + lim);for (int i = 0; i < lim; i++) {f[i] = 1ll * f[i] * inv % mod;}}
}void polyinv(int *f, int *g, int n) {if (n == 1) {g[0] = quick_pow(f[0], mod - 2);return ;}polyinv(f, g, n + 1 >> 1);for (int i = 0; i < n; i++) {t[i] = f[i];}int lim = 1;while (lim < 2 * n) {lim <<= 1;}get_r(lim);NTT(t, lim, 1);NTT(g, lim, 1);for (int i = 0; i < lim; i++) {int cur = (2 - 1ll * g[i] * t[i] % mod + mod) % mod;g[i] = 1ll * g[i] * cur % mod;t[i] = 0;}NTT(g, lim, -1);for (int i = n; i < lim; i++) {g[i] = 0;}
}void polysqrt(int *f, int *g, int n) {if (n == 1) {g[0] = Quadratic_residue::get_residue(f[0]);return ;}polysqrt(f, g, n + 1 >> 1);polyinv(g, b, n);int lim = 1;while (lim < 2 * n) {lim <<= 1;}get_r(lim);for (int i = 0; i < n; i++) {t[i] = f[i];}NTT(g, lim, 1);NTT(b, lim, 1);NTT(t, lim, 1);for (int i = 0; i < lim; i++) {g[i] = (1ll * inv2 * g[i] % mod + 1ll * inv2 * b[i] % mod * t[i] % mod) % mod;b[i] = t[i] = 0;}NTT(g, lim, -1);for (int i = n; i < lim; i++) {g[i] = 0;}
}void derivative(int *a, int *b, int n) {for (int i = 0; i < n; i++) {b[i] = 1ll * a[i + 1] * (i + 1) % mod;}
}void integrate(int *a, int n) {for (int i = n - 1; i >= 1; i--) {a[i] = 1ll * a[i - 1] * inv[i] % mod;}a[0] = 0;
}void polyln(int *f, int *g, int n) {polyinv(f, b, n);derivative(f, g, n);int lim = 1;while (lim < 2 * n) {lim <<= 1;}get_r(lim);NTT(g, lim, 1);NTT(b, lim, 1);for (int i = 0; i < lim; i++) {g[i] = 1ll * g[i] * b[i] % mod;b[i] = 0;}NTT(g, lim, -1);for (int i = n; i < lim; i++) {g[i] = 0;}integrate(g, n);
}void polyexp(int *f, int *g, int n) {if (n == 1) {g[0] = 1;return ;}polyexp(f, g, n + 1 >> 1);int lim = 1;while (lim < 2 * n) {lim <<= 1;}polyln(g, d, n);for (int i = 0; i < n; i++) {t[i] = (f[i] - d[i] + mod) % mod;}t[0] = (t[0] + 1) % mod;get_r(lim);NTT(g, lim, 1);NTT(t, lim, 1);for (int i = 0; i < lim; i++) {g[i] = 1ll * g[i] * t[i] % mod;t[i] = d[i] =  0;}NTT(g, lim, -1);for (int i = n; i < lim; i++) {g[i] = 0;}
}/*b存放多项式逆,c存放多项式开根,d存放多项式对数ln,e存放多项式指数exp,t作为中间转移数组,如果要用到polyln,得提前调用get_inv(n)先预先得到我们想要得到的逆元范围。
*/int A[N], B[N], f[N], invf[N], n;int main() {// freopen("in.txt", "r", stdin);// freopen("out.txt", "w", stdout);// ios::sync_with_stdio(false), cin.tie(0), cout.tie(0);f[0] = invf[0] = 1;for (int i = 1; i < N; i++) {f[i] = 1ll * f[i - 1] * i % mod;}invf[N - 1] = quick_pow(f[N - 1], mod - 2);for (int i = N - 2; i >= 0; i--) {invf[i] = 1ll * invf[i + 1] * (i + 1) % mod;}scanf("%d", &n);for (int i = 0; i < n; i++) {scanf("%d", &A[i]);A[i] = 1ll * A[i] * f[i] % mod;B[i] = invf[i];}int lim = 1;while (lim < 2 * n) {lim <<= 1;}get_r(lim);NTT(A, lim, 1);NTT(B, lim, 1);for (int i = 0; i < lim; i++) {A[i] = 1ll * A[i] * A[i] % mod;B[i] = 1ll * B[i] * B[i] % mod;}NTT(A, lim, -1);NTT(B, lim, -1);for (int i = 0; i < n; i++) {printf("%lld%c", 1ll * A[n - 1 + i] * B[i] % mod, i + 1 == n ? '\n' : ' ');}return 0;
}

导数卷积 (NTT)相关推荐

  1. 导数卷积 牛客 NTT

    导数卷积 solution f(x)=∑i=0n−1ai∗xif(x)=\sum\limits_{i=0}^{n-1}a_i*x^if(x)=i=0∑n−1​ai​∗xi f(i)(x)=∑j=in− ...

  2. Halcon边缘提取之高斯导数卷积图像——derivate_gauss.hdev

    高斯导数卷积图像 引言 一.结果 1.1 高斯平滑 1.1.1 读取图像 1.1.2 高斯平滑结果 1.1.3 MFC可视化结果 1.1.4 Halcon代码 1.2 高斯梯度绝对值--用作边缘检测 ...

  3. 数学推导题,NTT,快速数论变换,Wannafly-导数卷积

    导数卷积 题目描述 题解 参考了一下标程的推导过程,因为这个推导对我这种数学弱渣真的有点难鸭. [1]f(x)f(x)f(x)的iii次导函数: f(i)(x)=ai∗i!0!+ai+1∗(i+1)! ...

  4. 图像处理之卷积和积分运算

    先看到卷积运算,知道了卷积就是把模版与图像对应点相乘再相加,把最后的结果代替模版中心点的值的一种运算.但是,近来又看到了积分图像的定义,立马晕菜,于是整理一番,追根溯源一下吧. 1 卷积图像 1.1 ...

  5. 「CTSC2018」假面

    真~签到题qwq 昨天在考场上先写了个70分暴力dp,然后发现好像可以优化.因为结界技能的模型相当于要求出 对于每个物品,仅仅不选它的背包是什么....  于是当场脑补出两种做法: 前缀和后缀背包卷积 ...

  6. Halcon算子知识:optical_flow_mg

    一.说明 本文是对halcon手册的整理,如果真正掌握光流法,恐怕一个博文是不够的.作者只能先呈现这个博文,再对文中的晦涩理论进行逐步阐述,参考文章将放在文后,期望读者能从中学到全部知识. 二.关于光 ...

  7. Optical-Flow光流halcon算子,持续更新

    目录 optical_flow_mg unwarp_image_vector_field vector_field_length derivate_vector_field optical_flow_ ...

  8. halcon基本操作

    一.函数特征 halcon算子是按照英文进行命名的,一般英文名就是代表的真实含义.算子结构为:功能类别_具体功能名称.比如read_image是读取图片的意思,read就是功能类别,image就是具体 ...

  9. HALCON:Optical Flow(光流法)

    HALCON:Optical Flow(光流法) 光流法基本原理 光流概念由Gibson在1950年首先提出来,它是一种简单实用的图像运动表达方式,通常定义为一个图像序列中图像亮度模式的表观运动,即空 ...

最新文章

  1. shell脚本中判断上一个命令是否执行成功
  2. Ansible — 编程 — Variables
  3. 马斯克再发声,称人工智能是人类文明面临的最大风险
  4. HD 1525 Euclid's Game
  5. Vue.js-Day05【安装路由(vue-router)、如何使用vue-router、404配置、激活class、动态路由、编程式导航、路由嵌套、路由元信息、导航拦截】
  6. 【洛谷P5385】须臾幻境/【BZOJ3514】Codechef MARCH14 GERALD07加强版【LCT】【主席树】
  7. CodeForces730E Award Ceremony(拓扑排序+结论)
  8. php+代码行数常量,php统计文件中的代码行数
  9. poi 读取excel
  10. 开工第一天,老板补发年终奖,一箱18元的冰棍
  11. C++socket编程(三):3.7 服务端回应send客户端数据
  12. [资源整理]关于前端设计的那些博客儿~
  13. 未来计算机2020500,500kV变电站计算机监控系统的实施策略原稿
  14. Git本地仓库的文件夹不显示红色感叹号、绿色对号等图标
  15. 必过四级技巧方法总结大全
  16. linux锁屏命令 TM,Linux基本命令的使用(上)
  17. Crucible使用说明
  18. 从键盘输入某年某月某日,判断这一天是这一年的第几天啊?
  19. 超全的iOS面试题汇总
  20. 非常详细易懂的法线贴图(Normal Mapping)

热门文章

  1. 【C语言简单说】一:第一个C语言程序
  2. 安卓设备刷linux发行版,绝对精华,大牛教你在Android系统上安装linux发行版
  3. bat从数组中找出相同数字并删除_找到所有数组中消失的数字
  4. 你永远都不知道你老公可以多幼稚......
  5. 女朋友当众甩了我一巴掌,我扑上去......
  6. 套套原来是这样装袋的,40个机械动图看懂好像并不容易。。。
  7. 史上最硬核的数学老师!搞发明、造大炮,让战斗民族直叫爸爸,看完我跪了......
  8. 硬货 | 一片小小的薄膜,却可以粘住全世界!
  9. Java 常见的 30 个误区与细节!
  10. idea zookeeper的使用_学习ZooKeeper源码,就从这篇开始吧