组合数学9-线性常系数奇次递推关系

线性常系数奇次递推关系

一 定义

• 两个常见的递推关系：
  Fibonacci:$F_n-F_{n-1}-F_{n-2}=0$
  Hanoi:$h_n-3h_{n-1}+2h_{n-2}=0$

• 总结特点：
  线性累加和
  右端项为0
  系数是常数

• 定义
  如果序列满足:
  $a_n+c_1{a}_{n-1}+c_2{a}_{n-2}+\cdots +c_k{a}_{n-k}=0$
  $a_0=d_0,a_1=d_1,\dots ,a_{k-1}=d_{k-1}$
  $c_0,c_1\dots ,c_k$及$d_0,d_1,\dots ,d_{k-1}$是常数，$c_k\ne 0$，则上式为{ $a_n$}的$k$阶线性常系数奇次递推关系。

二 特征多项式

1.常见数列的特征多项式

• 因式定理：
  若$\alpha$是一元多项式$f(x)$的根，即$f(\alpha )=0$成立，则多项式$f(x)$有一个因式$x-\alpha$。
  因为泰勒展开为$(1-\alpha x{)}^{-1}=1+\alpha x+{\alpha }^2{x}^2+\cdots$
  所以我们需要得到$1-\alpha x$
  若$\alpha$是一元多项式$f(x^{-1})$的根，即$f(\alpha )=0$成立，则多项式$f(x^{-1})$有一个因式$x^{-1}-\alpha =(1-\alpha x)/x$。、
  思想如下图: Fibonacci数列
  观察：
  $C(m)=m^2-m-1=(m-\alpha )(m-\beta )$
  递推公式：$F$