标签 多项式指数函数 下的文章

对于两棵树 T_1, T_2,定义它们的交 T_1 \cap T_2 是它们的边集的交形成的森林,k(T_1 \cap T_2)表示这个森林的连通块个数,求下列三种问题之一:

  1. 给定 T_1, T_2,求 y^{k(T_1\cap T_2)}

  2. 给定 T_1,求 \sum_{T_2}y^{k(T_1\cap T_2)}

  3. 给定 n,求 \sum_{T_1}\sum_{T_2}y^{k(T_1\cap T_2)}

其中 n \leq 10^5 ,上面的 sum 是对所有 n^{n-2} 种可能的树求和。答案对 998244353 取模。

orzrqy

READ MORE

ZJOI 2019 了,机房同学也差不多都会基本多项式了,就写篇有关简单的多项式操作复习笔记吧 QAQ

约定:以下操作默认 n = \deg(F(x)) + 1 ,等号一般表示在 \bmod\ {x^n} 的意义下同余。

多项式乘法

可以先把多项式的系数转为点值,各位分别乘起来以后再插值出原多项式。考虑到单位根 / 原根的性质,我们有 FFT / NTT 。

READ MORE

定义:给定两个 n 次多项式 F(x)G(x) ,若对于任意多项式 P(x) 都有 G(F(P)) = P 则称 G(x)F(x) 的复合逆在模 x^n 意义下的复合逆。可以证明,若两个多项式常数项为 0 且一次项不为 0 则复合逆唯一且满足 F(G(x)) = G(F(x)) = x

遗憾的是,多项式复合逆没有 o(n \log n) 的做法,但我们可以以 O(n \log n) 的复杂度求出某一项,或者 O(n^2) 的复杂度求出所有项。

拉格朗日反演即

[x^n]F(x) = \frac 1n [x^{-1}] \frac 1 {G^n(x)}

可以证明

[x^n]F(x) = \frac 1n [x^{n-1}] (\frac x {G(x)})^n

后者可以直接快速幂(两只 \log),或者转换为 \ln\exp ,可以参考 关于求多项式 k 次幂的一些思考

如果需要证明可以参考 zjt 大爷的博客 (我是不会)。

READ MORE