（组合数学笔记）递推关系小结及典型题分析

递推关系简介

递推关系（递归关系）是高中数学递推数列部分的推广，属于离散数学的范畴，是用其自身来定义的一个公式。常见的有汉诺塔问题（$H_n=2H_{n-1}+1$）和Fibonacci兔子问题（$F_n=F_{n-1}+F_{n-2}$）。

常用性质及公式

• 递推关系解的线性组合还是其解。

• 二阶齐次递推关系，其特征方程对应的三种解的情况：

  1. ${\lambda }_1,{\lambda }_2,\cdots$为$2$个不同实根，$a_n=A_1{\lambda }_1^n+A_2{\lambda }_2^n;$
  2. ${\lambda }_1,{\lambda }_2$为$2$重根，即：${\lambda }_1={\lambda }_2=\lambda$，有：$a_n=(C_1+C_{2}n){\lambda }^n$
  3. ${\lambda }_1,{\lambda }_2$为一对共轭复根，即${\lambda }_{1,2}=\rho e^{\pm i\theta }$，有：$a_n=(C_1\mathrm{c}\mathrm{o}\mathrm{s}n\theta +C_2\mathrm{s}\mathrm{i}\mathrm{n}n\theta ){\rho }^n$

• 定理： 非齐次递推关系$(1)$特解形式
  $\begin{array}{rl}{a}_n+c_1{a}_{n-1}+c_2{a}_{n-2}+\cdots +c_m{a}_{n-m}& =f_n,n⩾m(1)\\ a_n+c_1{a}_{n-1}+c_2{a}_{n-2}+\cdots +c_m{a}_{n-m}& =0,n⩾m(2)\end{array}$
  设非齐次递推关系右端项$f_n={\lambda }^{n}p(n)$， $p(n)$是$n$的多项式，则非齐次递推关系有形如$a_n=n^k{\lambda }^{n}q(n)$的特解，其中$\lambda$是齐次递推关系特征方程的$k$重根；如果$\lambda$不是特征方程的根，则取$k=0$；$q(n)$是与$p(n)$同次数的多项式。

典型例题及应用

• 特殊行列式求值问题（找0元最少的行或列展开）
  $${\left|\begin{array}{cccccc}1& 1& 0& 0& \cdots & 0\\ 1& 1& 1& 0& \cdots & 0\\ 0& 1& 1& 1& \cdots & 0\\ ⋮& ⋮& \ddots & \ddots & \ddots & ⋮\\ 0& 0& 0& \cdots & 1& 1\end{array}\right|}_{n\times n}$$
  解： 设行列式值为$d_n$。将该行列式按首行展开，再将第二项按首列展开，可得$$\{\begin{array}{rl}{d}_n& =d_{n-1}-d_{n-2},\\ d_1& =1,d_2=0,\end{array}$$
  于是推得$d_0=1$。特征方程为$x^2-x+1=0$， $\Rightarrow$ $x=\frac{1\pm \sqrt{3}\mathrm{i}}{2}={\mathrm{e}}^{\pm \frac{\pi }{3}\mathrm{i}}.$
  $\therefore d_n=C_1\mathrm{c}\mathrm{o}\mathrm{s}\frac{n\pi }{3}+C_2\mathrm{s}\mathrm{i}\mathrm{n}\frac{n\pi }{3},$
  代入初值得：$\{\begin{array}{rl}{C}_1& =1,\\ C_2& =\frac{\sqrt{3}}{3},\end{array}$
  $\therefore d_n=\mathrm{c}\mathrm{o}\mathrm{s}\frac{n\pi }{3}+\frac{\sqrt{3}}{3}\mathrm{s}\mathrm{i}\mathrm{n}\frac{n\pi }{3}.$
• 设$a_n$表示从格点$(0,0)$开始的长度为$n$步的路径数，每步只允许下列三种走法之一：
  $$\{\begin{array}{rl}L:& (x,y)\mapsto (x-1,y),\\ R:& (x,y)\mapsto (x+1,y),\\ U:& (x,y)\mapsto (x,y+1),\end{array}$$
  且不允许出现 $LR$ 和 $RL$ 这两种走法。试求序列 { a n } n ⩾ 0 \{a_n\}_{n\geqslant0} {an​}n⩾0​ 的表达式 $a_n$。
  解：
  分析题目，若第一步走$U$，则后面可选择的走法无限制，即有$a_{n-1}$种走法；若第一步走$L(R)$，则后面只能选择走$L(R)$或者$U$，走$U$时，无限制，为$2a_{n-2}$，而走$L(R)$时，后面仍可选择走$L(R)$或者$U$，…直到走完第$n$步(为方便理解，可参看下图(1)。以此类推，可得$a_n$的递推关系式为$$\{\begin{array}{rl}{a}_n& =a_{n-1}+2\sum _{k=2}^n{a}_{n-k}\\ a_1& =3,a_2=7\end{array}$$
  但是这个递推式不易求解，为此可先变换形式为：$$a_n=a_{n-1}+2\sum _{k=0}^{n-2}{a}_k=\sum _{k=0}^{n-1}{a}_k+\sum _{k=0}^{n-2}{a}_k\text{\hspace{1em}(1)}$$
  由此得：
  $$a_{n-1}=\sum _{k=0}^{n-2}{a}_k+\sum _{k=0}^{n-3}{a}_k\text{\hspace{1em}(2)}$$
  $(1)-(2)$得：$$a_n=2a_{n-1}+a_{n-2}$$求解特征方程$x^2-2x-1=0$，得$x=1\pm \sqrt{2}$，由$a_1=3,a_2=7$可得$a_0=1$，$\therefore a_n=\frac{(1+\sqrt{2}{)}^{n+1}+{(1-\sqrt{2})}^{n+1}}{2}$.

图1

小结

递推关系常见题型的难点在于找到递推的特点然后构造递推关系，解法方面可直接求解特征方程，并根据解的特点带公式出答案。