《组合数学》教案 3章(递推关系)

《《组合数学》教案 3章(递推关系)》由会员上传分享，免费在线阅读，更多相关内容在行业资料-天天文库。

1、《组合数学》第三章递推关系第三章递推关系1.递推关系及其分类2.建立应用问题的递推关系的方法3.求解线性常系数递推关系的特征根方法4.求解递推关系的其它方法5.三个典型数列及其应用§3.1基本概念（一）递推关系【定义3.1.1】（隐式）对数列和任意自然数n，一个关系到和某些个的方程式，称为递推关系，记作例【定义3.1.】（显式）对数列，把与其之前若干项联系起来的等式对所有n≥k均成立（k为某个给定的自然数），称该等式为的递推关系，记为（3.1.1）＇例71／71《组合数学》第三章递推关系（一）分类（1）按常量部分：①齐次递推关系：指常量＝0，如；②非齐次递推

2、关系，即常量≠0，如。（2）按的运算关系：①线性关系，F是关于的线性函数，如（1）中的与均是如此；②非线性关系，F是的非线性函数，如。（3）按的系数：①常系数递推关系，如（1）中的与；②变系数递推关系，如，之前的系数是随着n而变的。（4）按数列的多少：①一元递推关系，其中的方程只涉及一个数列，如（3.1.1）和（3.1.1）＇均为一元的；②多元递推关系，方程中涉及多个数列，如（5）显式与隐式：（二）定解问题【定义3.1.2】（定解问题）称含有初始条件的递推关系为定解问题，其一般形式为71／71《组合数学》第三章递推关系（3.1.2）解递推关系，指根据式（3.

3、1.1）或（3.1.2）求an的与a0、a1、…、an－1无关的解析表达式或数列{an}的母函数。（一）例【例3.1.1】（Hanoi塔问题）n个圆盘按从小到大的顺序一次套在柱A上。规定每次只能从一根柱子上搬动一个圆盘到另一根柱子上，且要求在搬动过程中不允许大盘放在小盘上，而且只有A、B、C三根柱子可供使用。用an表示将n个盘从柱A移到柱C上所需搬动圆盘的最少次数，试建立数列{}的递推关系。ABC（解）特例：a1＝1，a2＝3，对于任何n≥3。一般情形：：第一步，将套在柱A的上部的n－1个盘按要求移到柱B上，共搬动了次；第二步，将柱A上的最大一个盘移到柱C上

4、，只要搬动一次；第三步，再从柱B将n－1个盘按要求移到柱C上，也要用71／71《组合数学》第三章递推关系次。由加法法则：（3.1.3）求解＝【例3.1.2】（Lancaster战斗方程）两军打仗，每支军队在每天战斗结束时都清点人数，用a0和b0分别表示在战斗打响前第一支和第二支军队的人数，用an和bn分别表示第一支和第二支军队在第n天战斗结束时的人数，那么，an－1－an就表示第一支军队在第n天战斗中损失的人数，同样，bn－1－bn表示第二支军队在第n天战斗中损失的人数。假设：一支军队所减少的人数与另一支军队在每天战斗开始前的人数成比例，则常量A、B——度量

5、每支军队的武器系数（3.1.4）——含有两个未知量的一阶线性递归关系组。【例3.1.3】设，求{an}所满足的递推关系。（解）——下整数函数。即不大于x的最大整数。71／71《组合数学》第三章递推关系n为偶数：＝＋…＋n为奇数：＝＋…＋分两种情况：当n为偶数时，令n＝2m，则＝＝m－1an＝＝＋＋＝＋＋＋前两项求和：＝后两项求和：＋71／71《组合数学》第三章递推关系＝＝＝＝＋当n为奇数时也成立。求初值：a0＝a1＝1。则＝＋＝1＋r，＝＋r＝1＋2r，＝＋r＝(1＋2r)＋r(1＋r)＝1＋3r＋＝＋r＝(1＋3r＋)＋r(1＋2r)＝1＋4r＋3【例3.

6、1.4】设0出现偶数次的n位八进制数共有个，0出现奇数次的数共有个。求和满足的递推关系。对0出现偶数次的n位八进制数分两种情况讨论：（1）最高位是0，则其余n－1位应该含有奇数个0，这类八进制数共有个。（2）最高位不是0，则其余n－1位还应该含有偶数个0，这类八进制数共有7个。因此有＝7＋。同理可得＝＋7，所以、满足例n＝20出现偶数次的数00，11，12，13，14，15，…，77，共50个0出现奇数次的数01，10，02，20，03，30，…，70，共14个71／71《组合数学》第三章递推关系【例3.1.5】用后退的Euler公式求常微分方程的数值解。（

7、解）函数y＝y(x)在点xn处的真值记为y(xn)，近似值记为yn，求数值解即利用数值方法求y(x)在处xn的近似值yn（n＝1,2,……）。思想：以直代曲。向前的Euler方法：，其中h＝称为步长。向后的Euler方法：后退的Euler公式是指对常微分方程，当已知函数y在处的值时，可通过解代数方程求得函数y在处的数值解，其中h＝－是自变量x的步长（n＝0,1,2,…）。71／71《组合数学》第三章递推关系已知原方程为，代入Euler公式可得函数y的数值解为（一）本章研究内容1.建模；2.求解。§3.2常系数线性递推关系常系数的线性递推关系：（3.2.1）或

8、（3.2.2）分别称为k阶齐次递推关系和k阶非齐次递