多项式求逆——学习笔记

基本概念

• 多项式的度：对于一个多项式 $A(x)$ ,称其最高项次数为多项式的度，记作 $deg A$

• 多项式的逆元：对于 $A(x)$ 若存在 $B(x)$ 满足 $degB \le degA$ 且
  

  $$A(x)B(x) \equiv 1 \pmod{x^n}$$
  就称 $B(x)$ 为 $A(x)$ 在模 $x^n$ 意义下的逆元。

  实际上就是多项式乘法的逆元。注意是多项式逆元是在数乘法有逆元的前提下才有的。

算法

大概是个倍增。

当 $n=1$ 时，$A(x)\equiv a_0 \pmod{x}$ ，所以$A^{-1}(x)=c^{-1}$ 。

当 $n>1$ 时，设 $B(x)$ 是 $A(x)$ 模 $x^n$ 下的逆元，设 $B'(x)$是 $A(x)$ 模 $x^{\lfloor \frac n2\rfloor}$ 下的逆元且已求出，则

$$A(x)B(x) \equiv 1 \pmod{x^{\lfloor \frac n2\rfloor}} ,\quad A(x)B'(x) \equiv 1 \pmod{x^{\lfloor \frac n2\rfloor}}$$
两式相减，得
$$B(x)-B'(x) \equiv 0 \pmod{x^{\lfloor \frac n2\rfloor}}$$
现在是重要的一步，两边平方，把 $x^{\lfloor \frac n2\rfloor}$ 推到 $x^n$ :
$$B^2(x)-2B(x)B'(x)+B'^2(x) \equiv 0 \pmod{x^n}$$
然后同乘 $A(x)$ :
$$B(x) \equiv 2B'(x)-B'^2(x)A(x) \pmod{x^n}$$
就可以倍增啦，用 $NTT$ 做乘法，复杂度:
$$T(n)=T(n/2) + O(n\log n)\quad = O(n \log n)$$
模板：

#include<cstdio>
int main(){

}