多项式的各种操作

多项式的各种操作

By SemiWaker

目录

• 多项式乘法点这里
• 多项式逆元
• 多项式除法
• 多项式牛顿迭代法
• 多项式对数
• 多项式指数函数
• 多项式幂函数
• 多项式三角函数
• 多项式多点求值
• 多项式快速插值
  

  ---

多项式逆元

定义

$$A(x)A^{-1}(x)\equiv 1\pmod {x^n}$$

• A(x)：要求逆元的多项式
• $A^{-1}(x)$：多项式 A(x) 的逆元
• $\pmod{x^n}$：在模$x^n$的意义下。$x^n$是一个多项式，不是一个数。
  模$x^n$的意义类似数的除法：设$a=bd+r$，且$r<b$，那么有$a\equiv r\pmod b$。在多项式中，只要r的界比b的界小就好了。
  多项式除法要用多项式逆元，但是多项式逆元的定义又是多项式除法，这里先介绍多项式逆元，所以除法部分简单略过
  $x^n$比较特殊，因为模$x^n$实际上就是舍弃掉$\ge n$次的所有项，只剩下 0 到 n-1次的项。
  （原因显然$\sum_{i=0}^{N-1} a_ix^i=x^n\sum_{i=0}^{N-n-1} a_ix^i+\sum_{i=0}^{n-1} a_ix^i$）
  为什么要模$x^n$呢？
  因为如果不模的话，除了只有常数项的多项式以外，其他多项式的逆元都是无穷级数。
  例：$1+2x+3x^2$。为了方便我们只写系数数列，从次数小的开始。
  可以写成 1 1 1 。
  设这个数列是$a_i$，然后设逆元的系数数列是$b_i$，最后设它们乘起来是$c_i$。
  根据定义，$c_i$满足$c_0=1$，$\forall i>0,c_i=0$。
  然后我们考虑这个的逆元会是什么。
  显然$b_0=1$。
  然后$c_1=a_0b_1+a_1b_0$，可以解出$b_1=-1$
  然后$c_2=a_0b_2+a_1b_1+a_2b_0$，可以解出$b_2=0$
  依次类推$b_3=1$，$b_4=-1$……
  发现无论如何都有非0项存在，所以是无穷级数。
  模$x^n$之后就可以解决这个问题，我们就可以只求我们需要的前n项。

做法

暴力做法

上面举例为什么一定要模$x^n$的时候，已经给出了暴力做法了。
直接递推，时间复杂度$O(n^2)$

非暴力：

基本思路：倍增
只有常数项的多项式求逆元是比较简单的事，即普通的求逆元。
然后考虑怎么让已经求出的多项式翻倍，也就是倍增的思路。

首先，我们设长度为$\lceil\frac n2\rceil$的已经求出的逆元为B(x)。
注意，是向上取整。
向上取整的好处是：翻倍后保证长度$\ge n$。

$$A(x)B(x)\equiv 1\pmod {x^{\lceil\frac n2\rceil}}$$
然后直接设当前求的逆元为 $A^{-1}(x)$

A(x)A