[总结]多项式求逆代替分治 $\text{FFT}$
由于我懒得不想学蠢得学不会分治 \(\text{FFT}\) ,发现可以用多项式求逆来完整地代替...
文章节选自分治 FFT 与多项式求逆,转载方便自己查看。更多多项式求逆和分治 \(\text{FFT}\) 的内容与联系,可参见原博客。
问题提出
给定 \(\forall i\in[1,n),g[i]\),求递推式
\[f[i]=\begin{cases}1 & \text{ if } i=0 \\ \sum_{j=1}^if[i-j]g[j] & \text{ otherwise }\end{cases}\]
的前 \(n\) 项,即 \(\forall i\in[0,n),f[i]\) 。答案模费马质数。
求逆代替分治
这是分治 \(\text{FFT}\) 的板子,我们考虑用多项式求逆来解决这个问题。
考虑翻转 \(f\) 和 \(g\) 的地位
\[\begin{aligned}f[i]&=\sum_{j=1}^if[i-j]g[j]\\\Rightarrow g[i]&=f[i]-\sum_{j=1}^{i-1}f[j]g[i-j]\end{aligned}\]
令
\[h[i]=\begin{cases}1 & \text{ if } i=0\\ -g[i] & \text{ otherwise }\end{cases}\]
则
\[\begin{aligned}g[i]&=f[i]-\sum_{j=1}^{i-1}f[j]g[i-j]\\g[i]&=f[i]+\sum_{j=1}^{i-1}f[j](-g[i-j])\\g[i]&=f[i]h[0]+\sum_{j=1}^{i-1}f[j]h[i-j]\\g[i]&=\sum_{j=1}^if[j]h[i-j]\end{aligned}\]
我们需要让 \(j\) 的下界变成 \(0\),才能真正变成卷积。因此我们强行将 \(f[0]\) 置为 \(0\) 即可。为什么在这里不会出现问题?因为在这里,\(f[0]\) 根本不会和 \(h\) 做卷积(我们初始的下界就是 \(j=1\))。
\[\begin{aligned}g[i]&=\sum_{j=0}^if[j]h[i-j]\\G&=F\otimes H\end{aligned}\]
我们用多项式求逆算出 \(H^{-1}\),然后和 \(G\) 相乘即可得到 \(F\) 。
代码实现
#include <bits/stdc++.h>
using namespace std;
const int N = (100000+5)<<2, yzh = 998244353;
int n, g[N], h[N], f[N], tmp[N], R[N], len, L;
int quick_pow(int a, int b) {
int ans = 1;
while (b) {
if (b&1) ans = 1ll*ans*a%yzh;
b >>= 1, a = 1ll*a*a%yzh;
}
return ans;
}
void NTT(int *A, int o) {
for (int i = 0; i < len; i++) if (i < R[i]) swap(A[i], A[R[i]]);
for (int i = 1; i < len; i <<= 1) {
int gn = quick_pow(3, (yzh-1)/(i<<1));
if (o == -1) gn = quick_pow(gn, yzh-2);
for (int j = 0; j < len; j += (i<<1))
for (int k = 0, x, y, g = 1; k < i; k++, g = 1ll*g*gn%yzh) {
x = A[j+k], y = 1ll*g*A[i+j+k]%yzh;
A[j+k] = (x+y)%yzh, A[i+j+k] = (x-y)%yzh;
}
}
if (o == 1) return;
for (int i = 0, inv = quick_pow(len, yzh-2); i < len; i++)
A[i] = 1ll*A[i]*inv%yzh;
}
void poly_inv(int *A, int *B, int deg) {
if (deg == 1) {B[0] = quick_pow(A[0], yzh-2); return; }
poly_inv(A, B, (deg+1)>>1);
for (L = 0, len = 1; len <= (deg<<1); len <<= 1) ++L;
for (int i = 0; i < len; i++) R[i] = (R[i>>1]>>1)|((i&1)<<L-1);
for (int i = 0; i < deg; i++) tmp[i] = A[i];
for (int i = deg; i < len; i++) tmp[i] = 0;
for (int i = (deg+1)>>1; i < len; i++) B[i] = 0;
NTT(tmp, 1), NTT(B, 1);
for (int i = 0; i < len; i++) B[i] = 1ll*B[i]*(2ll-1ll*B[i]*tmp[i]%yzh)%yzh;
NTT(B, -1);
}
void work() {
scanf("%d", &n);
for (int i = 1; i < n; i++) scanf("%d", &g[i]);
h[0] = 1;
for (int i = 1; i < n; i++) h[i] = -g[i];
poly_inv(h, f, n);
for (int i = n; i < len; i++) f[i] = 0;
NTT(f, 1), NTT(g, 1);
for (int i = 0; i < len; i++) f[i] = 1ll*f[i]*g[i]%yzh;
NTT(f, -1); f[0] = 1;
for (int i = 0; i < n; i++) printf("%d ", (f[i]+yzh)%yzh);
}
int main() {work(); return 0; }
[总结]多项式求逆代替分治 $\text{FFT}$的更多相关文章
- luogu P4238 多项式求逆 (模板题、FFT)
手动博客搬家: 本文发表于20181125 13:21:46, 原地址https://blog.csdn.net/suncongbo/article/details/84485718 题目链接: ht ...
- hdu 5730 Shell Necklace——多项式求逆+拆系数FFT
题目:http://acm.hdu.edu.cn/showproblem.php?pid=5730 可以用分治FFT.但自己只写了多项式求逆. 和COGS2259几乎很像.设A(x),指数是长度,系数 ...
- hdu 5730 Shell Necklace [分治fft | 多项式求逆]
hdu 5730 Shell Necklace 题意:求递推式\(f_n = \sum_{i=1}^n a_i f_{n-i}\),模313 多么优秀的模板题 可以用分治fft,也可以多项式求逆 分治 ...
- BZOJ 4555: [Tjoi2016&Heoi2016]求和 [分治FFT 组合计数 | 多项式求逆]
4555: [Tjoi2016&Heoi2016]求和 题意:求\[ \sum_{i=0}^n \sum_{j=0}^i S(i,j)\cdot 2^j\cdot j! \\ S是第二类斯特林 ...
- NTT+多项式求逆+多项式开方(BZOJ3625)
定义多项式$h(x)$的每一项系数$h_i$,为i在c[1]~c[n]中的出现次数. 定义多项式$f(x)$的每一项系数$f_i$,为权值为i的方案数. 通过简单的分析我们可以发现:$f(x)=\fr ...
- Re.多项式求逆
前言 emmm暂无 多项式求逆目的 顾名思义 就是求出一个多项式的摸xn时的逆 给定一个多项式F(x),请求出一个多项式G(x),满足F(x)∗G(x)≡1(modxn),系数对998244353取模 ...
- BZOJ 3456: 城市规划 与 多项式求逆算法介绍(多项式求逆, dp)
题面 求有 \(n\) 个点的无向有标号连通图个数 . \((1 \le n \le 1.3 * 10^5)\) 题解 首先考虑 dp ... 直接算可行的方案数 , 容易算重复 . 我们用总方案数减 ...
- 洛谷P4841 城市规划(生成函数 多项式求逆)
题意 链接 Sol Orz yyb 一开始想的是直接设\(f_i\)表示\(i\)个点的无向联通图个数,枚举最后一个联通块转移,发现有一种情况转移不到... 正解是先设\(g(n)\)表示\(n\)个 ...
- LOJ2527 HAOI2018 染色 容斥、生成函数、多项式求逆
传送门 调了1h竟然是因为1004535809写成了998244353 "恰好有\(K\)种颜色出现了\(S\)次"的限制似乎并不容易达到,考虑容斥计算. 令\(c_j\)表示强制 ...
随机推荐
- <c:forEach varStatus="status">中 varStatus的属性简介
我们常会用c标签来遍历需要的数据,为了方便使用,varStatus属性可以方便我们实现一些与行数相关的功能,如:奇数行.偶数行差异:最后一行特殊处理等等.先就varStatus属性常用参数总结下: $ ...
- hdu 1.3.3 今年暑假不AC
//简单.... 1 #include<iostream> #include<cstdio> #include<cstdlib> using namespace s ...
- Azure DevOps Server (TFS)中代码文件换行问题解决方案(Git)
之前写过一篇博客"探索TFS Git 库文件换行(CRLF)的处理方式",主要是针对TFVC代码库的. 下面这篇文章说明如何在TFS的Git库中处理代码换行的问题. 概述 在Azu ...
- 使用jQuery实现一个类似GridView的编辑,更新,取消和删除的功能
先来看看下面实时效果演示: 用户点击编辑时,在点击行下动态产生一行.编辑铵钮变为disabled.新产生的一行有更新和取消的铵钮,点击“取消”铵钮,删除刚刚动态产生的行.编辑铵钮状态恢复. 更新与删除 ...
- 识别同音字词pypinyin, 分词 jieba
一.pypinyin 在处理语音输入指令时, 比如 请给圆圆发消息,那么转化为文字识别时, 无法确定转换的是圆圆还是园园或是源源, 为了解决这个问题, 就把指令转换为拼音来处理,这样就可以处理同音字了 ...
- python 字符串中‘r’前缀
在Python中,如果字符串的前面有r/R前缀,那么,就会禁用转义符\的功能: >>>path = r'C:\new\text.dat'>>>pah'C:\\new ...
- IOS渗透测试第一步-基础知识统一放送
原文: http://www.websecgeeks.com/2017/04/ios-application-pentesting-part-3.html http://www.websecgeeks ...
- pika配置文件说明
# Pika 端口 port : 9221 # pika进程数量,不建议超过核心数量,pika是多线程的 thread-num : 1 # Sync 线程数量 sync-thread-num : 6 ...
- 转---谈谈HTTP协议中的短轮询、长轮询、长连接和短连接
作者:伯乐在线专栏作者 - 左潇龙 http://web.jobbole.com/85541/ 如有好文章投稿,请点击 → 这里了解详情 引言 最近刚到公司不到一个月,正处于熟悉项目和源码的阶段,因此 ...
- 一步一步教你用 Vue.js + Vuex 制作专门收藏微信公众号的 app
一步一步教你用 Vue.js + Vuex 制作专门收藏微信公众号的 app 转载 作者:jrainlau 链接:https://segmentfault.com/a/1190000005844155 ...