Lane
离散数学及其应用

离散数学及其应用

导航

成绩构成

  1. 作业(10%)+小测(20%)+期末(70%)

高级计数技术

递推关系的应用

  • 常见的递推关系
    • 斐波那契数
    • 汉诺塔

求解线性递推关系

  • 前面的递推关系的推出,我们需要利用动态规划的思想得到,那么我们应该怎样得到求解呢?
  • 这就涉及到线性递推关系的求解

求解定理1

  • 设c1,c2为实数。假设$r^2-c_1r-c_2=0$有两个不相同的根r1,r2,那么序列{an}是递推关系$a_n=c_1a_{n-1}+c_2a_{n-2}$的解,当且仅当$a_n=a_1r_1^n+a_2r_2^n$

求解定理2(重根)

  • 设c1,c2为实数。假设$r^2-c_1r-c_2=0$有两个相同的根r,那么序列{an}是递推关系$a_n=c_1a_{n-1}+c_2a_{n-2}$的解,当且仅当$a_n=a_1r^n+a_2r^n$

扩展到一般情况

  • 设c1,c2,….ck为实数。假设$r^n-c_1r^{n-1}-c_2r^{n-2}-…-c_kr^0=0$有k个不相等的根,那么序列{an}是递推关系$a_n=c_1a_{n-1}+c_2a_{n-2}+…+cka_{n-k}$的解,当且仅当$a_n=a_1r_1^n+a_2r_2^n+…+a_kr_k^n$

扩展到一般情况(存在重根)

  • 设c1,c2,….ck为实数。假设$r^n-c_1r^{n-1}-c_2r^{n-2}-…-c_kr^0=0$有t个不相等的根r1,r2….rt,其重数分别为m1,m2…mt,满足$\sum_{i=1}^t m_{i}=k$,那么序列{an}是递推关系$a_n=c_1a_{n-1}+c_2a_{n-2}+…+ck*a_{n-k}$的解,当且仅当$a_n=(\alpha {1,0}+\alpha{1,1}*n…\alpha_{1,m1-1}*n^{m1-1})*r_1^n+(\alpha {2,0}+\alpha{2,1}*n…\alpha_{2,m2-1}*n^{m2-1})*r_2^n+…$

求解常系数线性非齐次递推关系

  • 对于常系数非齐次递推关系$a_{n}=c_1a_{n-1}+c_2a_{n-2}….+F(n)$,其中$a_{n}^{p}$为这个递推关系的一个特解,$a_{n}^{h}$为上述的相伴的齐次递推关系的解,则每一个解的形式是$a_{n}^{p}+a_{n}^{h}$

非齐次递推关系中的特解的求取

  • 对于非齐次线性递推关系,$F(n)=(b_t*n^t+b_{t-1}n^{t-1}+…+b_1n+b_0)*s^n$.当s不是相伴的线性齐次递推关系的特征方程的根时,存在一个下列形
    式的特解$(p_tn^t+p_{t-1}n^{t-1}+…+p_1n+p_0)*s^n$

生成函数

有用的生成函数

  • $(1+x)^n=\sum_{k=0}^{n}C(n,k)x^k$
  • $(1+a*x)^n=\sum_{k=0}^{n}C(n,k)a^kx^k$
  • $\frac{1-x^{n+1}}{1-x}=\sum_{k=0}^{n}x^k$
  • $\frac{1}{1-x}=\sum_{k=0}^{\infty}x^k$
  • $\frac{1}{1-a*x}=\sum_{k=0}^{\infty}a^kx^k$
本文总阅读量
本文作者:Lane
本文链接:https://lakerswillwin.github.io/2025/04/23/discremetemath/
版权声明:本文采用 CC BY-NC-SA 3.0 CN 协议进行许可