多项式取模优化齐次线性递推

线性递推

给出长为$m$的数列$\boldsymbol{a}=\langle a_1,\,a_2,\ldots,\,a_m\rangle$，以及无穷数列$\boldsymbol{f}$的前$m$项$\langle f_0,\,f_1,\ldots,\,f_{m-1}\rangle$，对于$\forall i\ge m$，有$f_i=\sum_{j=1}^ma_jf_{i-j}$。求$f_n$
$n\le10^{18},\;m\le30000$

不同复杂度的做法

• 暴力$O(mn)$
• 矩阵快速幂$O(m^3\log n)$
• 暴力多项式快速幂$O(m^2\log n)$
• 用$n\log$的多项式取模写快速幂$O(m\log m\log n)$

前两种暴力就不讲了，这里主要讲一下对“多项式取模为什么可以解线性递推”的理解。

线性递推与多项式取模

这篇博客写得不错，可以参考一下。

这里讲一种不用矩阵来理解的方法。我们直接从计算数列