第五章节 递归关系及解法.pptVIP

第五章 递推关系及其解法 §5.1 递归关系的建立 ----在计算机科学特别是算法分析中有广泛的应用 定义5.1.1 设{a0,a1,a2,…,an,…}为一序列,把该序列中an的与它前面的几个ai关(0≤i≤n-1)联起来的方程称为一个递归关系. 例1(“Hanoi塔”问题)：这是个组合数学中的著名问题。n个大小不一的圆盘依其半径大小，从下而上套在A柱上，如下图示。现要求将所有的圆盘从A柱上全部转移到C柱上,每次只允许从一个柱子上转移一个盘子到另一柱子上，且在转移过程中不允许出现大盘放在小盘上方。试问要转移多少次才能将柱A上的n个盘移到C柱上。 例2 “Fibonacci兔子问题”：从某年某月(设为第0月)开始,把雌雄各一的一对小兔放入养殖场,假定两个月后长成成兔,并同时(即第二个月)开始每周产雌雄各一的一对小兔,新增的小兔也按此规律繁殖,问第n个月末养殖场共有多少对兔子? 第n月的兔子包括两部分:上月留下的和当月新生的,而新生的小兔数即为前月末的兔子数,所以 Fn=Fn-1+Fn-2 Fibonacci序列的性质: §5.2 常系数线性齐次递归关系的解法 定义5.2.1 序列{a0,a1,a2,…,an,…}中相邻的k+1项之间的关系为 则称之为序列的k阶常系数线性齐次递归关系,其中系数bi为常数,i=1,2,…,k,且bk≠0。 定义5.2.2 与(5.2.1)相联系的方程 称之为递归关系(5.2.1)的特征方程，其根称为递归关系式的特征根。 特征方程的根与递归关系的解之间的关系： 1.特征根无重根 定理5.2.1 若q ≠0, an=qn为递归关系(5.2.1)的解当且仅当q为特征方程(5.2.2)的根。 定义5.2.3 称式 为递归关系(5.2.1)的初值条件。 定理5.2.2 若q1,q2,…,qk为递归关系式(5.2.1)的特征根，c1,c2,…,ck为任意常数，则 为递归关系(5.2.1)的解。 定义5.2.4 若对递归关系(5.2.1)的任意一个解an，都存在一组常数c1,c2,…,ck使得 则称该式为递归关系式(5.2.1)的通解。 定理5.2.3 若q1,q2,…,qk为递归关系式(5.2.1)的k个互不相同的特征根，则式(5.2.4)为(5.2.1)的通解。 例1 求Fibonacci序列的通项。 例2 求解递归关系 注：若特征根有复根，复根成对出现，故设 则通解可表示为 其中 例3 求解递归关系 2.特征根有重根 定理5.2.4 若递归关系(5.2.1)的特征方程(5.2.2)有一个m重根q，则qn,nqn,…,nm-1qn均为(5.2.1)的解。 定理5.2.5 设q1,q2,…,qt分别为特征方程(5.2.2)的相异的m1,m2,…,mt重根,且 则递归关系(5.2.1)的通解为 例4 求解递归关系 例5 求解递归关系 §5.3 常系数线性非齐次递归关系的解法 定义5.3.1 序列{a0,a1,a2,…,an,…}中相邻的k+1项之间的关系为 则称之为序列的k阶常系数线性非齐次递归关系,其中系数bi为常数,i=1,2,…,k,bk≠0,f(n) ≠0,n≥k 。 定义5.3.2 在式(5.3.1)中,若f(n)=0, 则称 为由式(5.3.1)导出的常系数线性齐次递归关系。 定理5.3.1 若 为(5.3.1)的一个特解,而 ( )是由(5.3.1)导出的线性齐次递归关系(5.3.2)的通解,则 为(5.3.1)的通解。 注：由定理5.3.1知, 要求(5.3.1)的通解,只要求它的一个特解及导出的齐次递归关系的通解即可。对非齐线性递归关系的特解, 针对f(n)的特殊形式有以下情形: 1.f(n)是n的t次多项式 ⑴1不是齐次递归关系(5.3.2)的特征根 这时,(5.3.1)的特解形式为 其中 为待定常数。 例1 求解“Hanoi塔”问题的递归关系 例2 求解递归关系 ⑵1是齐次递归关系(5.3.2)的m重特征根(m≥1) 这时,(5.3.1)的特解形式为 其中 为待定常数。 例3 求解递归关系 2 f(n)是βn的形式 ⑴ β不是导出的齐次线性递归关系的