第五章 递归关系及解法.pdfVIP

第五章 递推关系及其解法 §5.1 递归关系的建立 在计算机科学特别是算法分析中有广泛的应用 定义5.1.1 设{a ,a ,a ,…,a ,…}为一序列,把该序列 0 1 2 n 中a 的与它前面的几个a 关(0≤i≤n-1)联起来的方 n i 程称为一个递归关系. 例1(“Hanoi塔” 问题)：这是个组合数学中的著名问 题。n个大小不一的圆盘依其半径大小，从下而上 套在A柱上，如下图示。现要求将所有的圆盘从A 柱上全部转移到C柱上,每次只允许从一个柱子上转 移一个盘子到另一柱子上，且在转移过程中不允许 出现大盘放在小盘上方。试问要转移多少次才能将 柱A上的n个盘移到C柱上。 A B C  例2 “Fibonacci兔子问题”：从某年某月(设为第0 月)开始,把雌雄各一的一对小兔放入养殖场,假定两 个月后长成成兔,并同时(即第二个月)开始每周产雌 雄各一的一对小兔,新增的小兔也按此规律繁殖,问 第n个月末养殖场共有多少对兔子? 第n月的兔子包括两部分:上月留下的和当月新生的, 而新生的小兔数即为前月末的兔子数,所以 F =F +F n n-1 n-2  Fibonacci序列的性质: §5.2 常系数线性齐次递归关系的解法  定义5.2.1 序列{a ,a ,a ,…,a ,…}中相邻的k+1项 0 1 2 n 之间的关系为 a b a b a b a 0, (n k) (5.2.1) n 1 n1 2 n2 k nk 则称之为序列的k阶常系数线性齐次递归关系,其中 系数b 为常数,i=1,2,…,k,且b ≠0 。 i k  定义5.2.2 与(5.2.1)相联系的方程 xk b xk 1 b xk 2 b 0, (n k) (5.2.2) 1 2 k 称之为递归关系(5.2.1)的特征方程，其根称为递 归关系式的特征根。 特征方程的根与递归关系的解之间的关系：  1.特征根无重根 n  定理5.2.1 若q ≠0, a =q 为递归关系(5.2.1)的解当 n 且仅当q为特征方程(5.2.2)的根。  定义5.2.3 称式 a h , a h , , a h , (5.2.1) 0 0 1 1 k 1 k 1 为递归关系(5.2.1)的初值条件。  定理5.2.2 若q ,q ,…,q 为递归关系式(5.2.1)的特征 1 2 k 根，c ,c ,…,c 为任意常数，则 1 2 k n n n a c q c q c q , n 1 1 2 2 k k 为递归关系(5.2.1