多项式全家桶
2023-12-02 17:20:58 # 模板

notice:以下均为$n$项式,最高次幂为 $n-1$。

多项式求逆

对于函数$f(x)=\sum_{i=0}^{n-1}a_ix^i$有一函数$g(x)=\sum_{i=0}^{n-1}b_ix^i$满足$f(x)*g(x)\equiv1\ (mod\ x^n)$此时称$g(x)$为$f(x)$的逆函数。

设$h(x)= g(x)\ (mod\ x^{\lceil\frac{n}{2}\rceil})$

有$h(x)*f(x)\equiv 1\ (mod\ x^{\lceil\frac{n}{2}\rceil})$

$g(x)*f(x)\equiv 1\ (mod\ x^{\lceil\frac{n}{2}\rceil})$

$g(x)-h(x)\equiv\ 0\ (mod\ x^{\lceil\frac{n}{2}\rceil})$

$(g(x)-h(x))^2\equiv\ 0\ (mod\ x^n)$

$g^2(x)-2g(x)h(x)+h^2(x)\equiv\ 0\ (mod\ x^n)$

同时乘上$f(x)$,有

$g(x)-2h(x)+f(x)h^2(x)\equiv\ 0\ (mod\ x^n)$

$g(x)=(2-f(x)h(x))h(x)\ (mod\ x^n)$

多项式ln

即$g(x)=\ln f(x)\ (mod\ x^n)$

(以下均为$mod\ x^n$)

$g’(x)=\frac{f’(x)}{f(x)}$