常系数线性递推式的快速求单项值方法

常系数线性递推式的快速求单项值方法

---

前导知识

• 常系数线性递推式
  
  • 形如$f(n)=\sum_{i=1}^{k} a_if(n-i)$，其中$k$、$a_i$为常数的递推式，称为常系数线性递推式。
• Cayley-Hamilton定理
  
  • 对于矩阵$A$，$\det(\lambda E-A)$是一个$|A|$次多项式，称为A的特征多项式（characteristic polynomial），记为$g(\lambda)$。
  • 对于任意矩阵A，$g(A)=0$。
  • 证明参见任何一本高等代数教科书。
• 模多项式
  
  • 设$f$是n次多项式，$g$是m次多项式。
  • 存在多项式$k$、$l$，满足