组合数学 递推关系.doc

第三章 递推关系 基本概念 递推关系 （隐式）对数列和任意自然数n，一个关系到和某些个的方程式，称为递推关系，记作 (3.1.1) 例 定义3.1.1＇（显式） 对数列，把与其之前若干项联系起来的等式对所有n≥k均成立（k为某个给定的自然数），称该等式为的递推关系，记为 (3.1.1)＇ 例 分类 （1） 按常量部分： 齐次递推关系：指常量＝0，如； 非齐次递推关系，即常量≠0，如。 （2） 按的运算关系： 线性关系，F是关于的线性函数，如（1）中的与均是如此； 非线性关系，F是的非线性函数，如。 （3） 按的系数： 常系数递推关系，如（1）中的与； 变系数递推关系，如，之前的系数是随着n而变的。 （4） 按数列的多少 一元递推关系，其中的方程只涉及一个数列，如(3.1.1)和(3.1.1)＇均为一元的； 多元递推关系，方程中涉及多个数列，如 （5）显式与隐式 以上所给出的例子都是显式的或者可以化为显式关系（如（1）中的hn）。而在求微分方程的数值解时，还会碰到如下的隐式递推关系： 定解问题 （定解问题）称含有初始条件的递推关系为定解问题，其一般形式为 (3.1.2) 所谓解递推关系，就是指根据式(3.1.1)或(3.1.2)求an的与a0、a1、…、an－1无关的解析表达式或数列{an}的母函数。 例 （Hanoi塔问题）这是组合学中著名的问题。N个圆盘按从小到大的顺序一次套在柱A上，如图3.1.1所示。规定每次只能从一根柱子上搬动一个圆盘到另一根柱子上，且要求在搬动过程中不允许大盘放在小盘上，而且只有A、B、C三根柱子可供使用。用an表示将n个盘从柱A移到柱C上所需搬动圆盘的最少次数，试建立数列{}的递推关系。 A B C 图3.1.1 Hanoi塔问题 （解）易知，a1＝1，a2＝3，对于任何n≥3，现设计搬动圆盘的算法如下： 第一步，将套在柱A的上部的n－1个盘按要求移到柱B上，共搬动了次； 第二步，将柱A上的最大一个盘移到柱C上，只要搬动一次； 第三步，再从柱B将n－1次。 由加法法则，{an}的定解问题为 (3.1.3) （Lancaster战斗方程）两军打仗，每支军队在每天战斗结束时都清点人数，用a0和b0分别表示在战斗打响前第一支和第二支军队的人数，用an和bn分别表示第一支和第二支军队在第n天战斗结束时的人数，那么，an－1－an就表示第一支军队在第n天战斗中损失的人数，同样，bn－1－bn表示第二支军队在第n天战斗中损失的人数。 假设一支军队所减少的人数与另一支军队在每天战斗开始前的人数成比例，因而有常数A和B，使得 其中常量A、B是度量每支军队的武器系数，将上述等式改写成 (3.1.4) 这是一个含有两个未知量的一阶线性递归关系组。 设，求{an}所满足的递推关系。 （解）分两种情况：当n为偶数时，令n＝2m，则 ＝＝m－1 于是an可写成 an＝ ＝＋＋ ＝＋＋＋ 上式右端前两项之和为 而后两项之和为 ＋ ＝＝＝ 于是得 ＝＋ 当n为奇数时，同样可证上述递推关系成立。 因此，所满足的递推关系是 ＝＋， n≥2 另外，显然有a0＝a1＝1。 设0出现偶数次的n位八进制数共有个，0出现奇数次的数共有个。求和满足的递推关系。 对0出现偶数次的n位八进制数分两种情况讨论： （1）最高位是0，则其余n－1位应该含有奇数个0，这类八进制数共有个。 （2）最高位不是0，则其余n－1位还应该含有偶数个0，这类八进制数共有7个。 因此有＝7＋。同理可得＝＋7，所以、满足 例 n＝2 0出现偶数次的数 00，11，12，13，14，15，…，77，共50个 0出现奇数次的数 01，10，02，20，03，30，…，70，共14个 用后退的Euler公式求常微分方程的数值解。 （解）函数y=y(x)在点xn处的真值记为y(xn)，近似值记为yn，求数值解即利用数值方法求y(x)在处xn的近似值yn（n=1,2,……）。 向前的Euler方法：，其中h=称为步长。 (xn+1,y(xn+1)) (xn+1,yn+1) (xn,y(xn)) 向后的Euler方法：后退的Euler公式是指对常微分方程，当已知函数y