P4238 【模板】多项式乘法逆
P4238 【模板】多项式乘法逆¶
思路:假设我们已经求出了\(F(x)\)在模\(x^{\lceil\frac{n}{2}\rceil}\) 意义下的逆元\(H(x)\). 那么
\[F(x)(G(x)-H(x))\equiv 0 (\mathrm{mod} \,x^{\left\lceil\frac{n}{2}\right\rceil})\]
\[G(x)-H(x)\equiv 0 (\mathrm{mod} \,x^{\left\lceil\frac{n}{2}\right\rceil})\]
\[(G(x)-H(x))^2\equiv 0 (\mathrm{mod} \,x^n)\]
\[G^2(x)-2G(x)H(x)+H^2(x)\equiv 0(\mathrm{mod}x^n)\]
\[F(x)(G^2(x)-2G(x)H(x)+H^2(x))\equiv G(x)-2H(x)+F(x)H^2(x)\equiv0(\mathrm{mod}x^n)\]
\[\Longrightarrow G(x)=H(x)(2-F(x)H(x))(\mathrm{mod}\,x^n)\]
可以通过此算法递归处理逆元,多项式乘法用\(NTT\),总时间复杂度为\(O(n\log n)\)。
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 |
|