「Luogu P4726」【模板】多项式指数函数

给定一个$n-1$次整系数多项式$F(x)$,求在$\bmod x^n$意义下的整系数多项式$G(x)$,使得$G(x)=e^{F(x)}$。

在$\bmod 998244353$下进行,且$F(x)$系数均在$[0,998244352]$范围内。

首先考虑与多项式对数函数一样的做法,两边求导,会得到这样一个式子:

但是$e^{F(x)}$没有消去,所以这种方法就这样活生生地被搞掉了。

然后考虑与多项式求逆一样去倍增。假设知道$H(x)=e^{F(x)}\pmod x^{\lceil\frac{n}{2}\rceil}$,想推出$G(x)$,那么肿么办?

一个常见的策略是牛顿迭代。