摘要：
VII.【模板】多项式除法 首先，为了方便，我们将$n$和$m$各自加一。 我们设$F^T$为$F$的翻转，更准确的定义为 \(F^T(x)=x^{n-1}F(\dfrac{1}{x})\) 现在我们考虑推式子。 由题意， \(F(x)=(GQ)(x)+R(x)\) 因为这个$x$是无实意的，故我们 阅读全文
posted @ 2021-04-01 19:54
Troverld
阅读(195)
评论(0)
推荐(0)
摘要：
VII.【模板】多项式幂函数 (加强版) 可以看到这题与上题的唯一区别就是$a_0$的取值。 因为我们之前在$\ln$的时候，是要求$a_0=1$的；而这题不保证$a_0=1$，咋办呢？ 我们考虑到当$a_0\neq0$时，我们有 \(a^k=(\dfrac{a}{a_0})^k\times(a_0 阅读全文
posted @ 2021-04-01 19:53
Troverld
阅读(192)
评论(0)
推荐(0)
摘要：
VI.【模板】多项式快速幂 我们要求$g=f^k$ 两边求$\ln$得到 \(\ln g=k\ln f\) 然后再幂回去 \(g=e^{k\ln f}\) 于是一次$\ln$，一次$\exp$即可解决。 关于那个超大的$k$，在读入的时候直接$\bmod$上去即可。 时间复杂度$O(n\log n) 阅读全文
posted @ 2021-04-01 19:52
Troverld
阅读(97)
评论(0)
推荐(0)
摘要：
VI.【模板】多项式开根（加强版） 这题和上题唯一的区别就是$a_0$的取值——本题$a_0$不一定为$1$。 咋办呢？ 我们观察到里面有一句话： 保证$a_0$是$\bmod\ 998244353$下的二次剩余。 二次剩余？这是啥？能吃吗？ 这时，你突然想起曾经看到过一道模板题： 【模板】二次剩余 阅读全文
posted @ 2021-04-01 19:50
Troverld
阅读(101)
评论(0)
推荐(0)
摘要：
V.【模板】多项式开根 同之前无数题一样，我们设已知$b2\equiv A\pmod{xm}$，并且我们想求出一个$B$使得$B2\equiv A\pmod{x{2m}}$。 首先，显然有 \(B-b\equiv0\pmod{x^m}\) 老套路，平方一下，得到 \(B^2-2Bb+b^2\equi 阅读全文
posted @ 2021-04-01 19:45
Troverld
阅读(85)
评论(0)
推荐(0)
摘要：
IV.【模板】多项式指数函数（多项式 exp） 本题有两种解法，一种比较好理解，一种比较通用（并且速度快）。 首先法一便是分治FFT解法。 我们有 \(B=e^A\) 于是两边求导，得到 \(B'=A'e^A\) 因为又有$B=e^A$，代入得 \(B'=A'B\) 我们再积分回去，得到 \(\in 阅读全文
posted @ 2021-04-01 19:42
Troverld
阅读(1045)
评论(0)
推荐(0)
摘要：
III.【模板】多项式对数函数（多项式 ln） 这题大概不难吧（ 我们已知$B\equiv\ln(A)$ 于是两边求导，就有$B'\equiv\ln'(A)$。 右边套个链式求导法则，就等于$\ln'(A)\equiv\dfrac{A'}$ 于是$B'\equiv\dfrac{A'}$ 然后两边不定 阅读全文
posted @ 2021-04-01 19:40
Troverld
阅读(298)
评论(0)
推荐(0)
摘要：
II.【模板】多项式乘法逆 \(F\times G\equiv1(\operatorname{mod} x^n)\)？这是啥意思？ 实际上，它的意思就是$F\times G$的$1\sim n$次幂的系数都为$0$，只有常数项为$1$，再往上的系数不管。 我们考虑递推求解。 设我们已经求出了使$F\ 阅读全文
posted @ 2021-04-01 19:38
Troverld
阅读(160)
评论(0)
推荐(0)
摘要：
I.【模板】分治 FFT 作为多项式的第一题，这题还是挺好理解的。 首先，我们完全可以把$n$扩大到$2$的次幂，空余地方补上$0$，并且答案不变。 然后，对于递推式$f_i=\sum\limits_^f_g_j$，我们如果再令$g_0=0$的话，显然这个$j$的下界是可以改成$0$的——虽然这会使 阅读全文
posted @ 2021-04-01 19:36
Troverld
阅读(87)
评论(0)
推荐(0)
摘要：
XVIII.[PA2017]Banany 心血来潮想开道动态点分治的题练手，然后被折磨了一下午…… 首先，套上点分树是没问题的。那么，怎样维护修改呢？ 单点修改无论用什么结构维护都是非常easy的；但是边的修改就不太简单了，因为它涉及到不止一条路径。 我们设当前修改了边 \((x,y)\)。对于点分 阅读全文
posted @ 2021-04-01 19:34
Troverld
阅读(86)
评论(0)
推荐(0)
浙公网安备 33010602011771号