markdown源码https://paste.ubuntu.com/p/wyNvxb4PPQ/
假设在   m o d   x n \bmod x^n modxn下,多项式 A A A的逆元是 F F F,在   m o d   x ⌈ n / 2 ⌉ \bmod x^{\lceil n/2\rceil} modx⌈n/2⌉下,多项式 A A A的逆元是 F 0 F_0 F0,根据多项式求逆的基本公式
F = 2 F 0 − F 0 2 A m o d    x n F=2F_0-F_0^2A \mod x^n F=2F0−F02Amodxn
首先定义,对于一个多项式 F F F, F ( k ) F(k) F(k)为其在 x k x^k xk时的系数。
(当然,正确的写法是 [ x k ] F [x^k]F [xk]F,但是写起来不是很方便,因此修改了一下)
展开
F ( x ) = 2 F 0 ( x ) − ∑ j = 0 x F 0 ( j ) ∑ k = 0 x − j F 0 ( k ) A ( x − j − k ) F(x)=2F_0(x)-\sum_{j=0}^x F_0(j)\sum_{k=0}^{x-j}F_0(k)A(x-j-k) F(x)=2F0(x)−j=0∑xF0(j)k=0∑x−jF0(k)A(x−