1. 多项式求逆/除法/ln/exp 中牛顿迭代的递推公式与复杂度 O(n log n) 的分析?
说明多项式求逆、除法、ln、exp 的牛顿迭代递推公式,并分析它们为何都是 O(n log n)?
- 多项式求逆的倍增长公式
- 利用求逆 + 微积分实现 ln/exp
- 牛顿迭代的复杂度递推
多项式求逆(模 x^n):g0 为常数项逆元,递推 g_{k+1} = g_k(2 − f·g_k) mod x^{2k},每轮长度翻倍。多项式除法:f = g·q + r,取反转后 q = rev(f)·rev(g)^{-1}。ln f:ln f = ∫ f'/f,即求导、求逆、卷积、积分。exp f:exp f = g 满足 g' = g·f',用牛顿迭代 g_{k+1} = g_k(1 − ln g_k + f) mod x^{2k}。复杂度:每轮 O(M(2k)),M(n) 为卷积复杂度(NTT 下 O(n log n)),总复杂度 T(n) = T(n/2) + O(n log n) = O(n log n)。所有运算都建立在卷积 O(n log n) 之上。
牛顿迭代的核心是"倍增 + 每轮一次或两次卷积",长度每轮翻倍,几何级数求和使总复杂度仍为 O(n log n)。除法、ln、exp 都归约到求逆与卷积,体现了"把高级运算降到求逆 + 微积分"的代数思想。复杂度关键:各轮长度 2^k 的卷积求和 = O(n log n)。