[数学]组合数学第7章[递推关系与生成函数].ppt

第7章 递推关系与生成函数 递推（递归）关系是计数的一个强有力的工具，特别是在做算法分析时是必需的，有大量的递归算法的时间特性体现出递推关系。递推关系的求解的主要方法包括递推、母函数、特征方程等方法。 §7.1 递推关系与递推求解 [例1]确定平面一般位置上的n个互相交叠的圆所形成的区域数。所谓互相交叠是指每两个圆相交在不同的两个点上。 由于上述关系对一般的n都成立，有： hn=hn-1+2(n-1) =hn-2+2(n-2)+2(n-1) =hn-3+2(n-3)+2(n-2)+2(n-1) =... =h1+2(1)+2(2)+...+2(n-1) =2++2(1)+2(2)+...+2(n-1) =n2-n+2 [例2]求下述方程的解析解。 [解]此为可进行“迭代”求解的典型方程。 §7.2 特征方程解法 1. 线性齐次递推关系 [定义1]若有hn的递推关系: 其中的ak≠0，且ai和bn可以与n有关。称为线性递推关系。若bn为0，则称为齐次方程。若ai为常数，则称为常系数方程。 [定理1]若q为一非零数，则hn=qn是常系数线性齐次递推关系 的解，当且仅当q是多项式方程（特征方程） 的一个根。如果多项式方程有k个不同的根q1,…,qk，则 是递推关系的一般解：即对任何给定的初始值h0,h1,…,hk-1，都存在常数c1,c2…,ck-1 ，使公式满足递推关系。 证明：hn=qn是递推关系的解，当且仅当 对所有n≥k成立。因q非0，可消去qn-k。方程等价于 即第一个结论成立。 由于qi互异，qin都是递推关系的不同解，故 也是递推关系的解。对任意的初始值，有 此方程的系数矩阵为范德蒙行列式： 可见方程有唯一解，结论成立。 [例1]求解满足初始值h0=1，h1=2和h2=0的递推关系hn=2hn-1+hn-2-2hn-3(n≥3)。 [解]特征方程为 x3-2x2-x+2=0 其根为1，-1，2。方程的通解为 hn=a1n+b(-1)n+c2n 代入初值条件，得 解之，得： 因此， [例2]只由三个字母a，b，c组成的长度为n的一些单词将在通信信道上传输，满足条件：传输中不得有两个a连续出现在任一单词中。确定通信信道允许传输的单词个数。 [解]令hn表示所求单词个数。则h0=1（空串），h1=3。当n≥2时，若第一个字母是a，则第二字母可为b或c，有2hn-2种构成方法。否则，第二个字母任意，有hn-1种构成方法。因此，有 特征方程为 x2-2x-2=0 方程的根为 。因此，通解为 代入初值条件，有 解得 因此，有 [例3]菲波纳契数列。一对兔子，隔月后每月生一对兔子。新生兔子与原来兔子一样，计算第n个月时的兔子对数。 [解]记为Fn。有 其特征方程为x2-x-1=0。解之，得 因此 代入初值，有 解之，得 因此 [例4]确定2×n棋盘用多米诺牌完美覆盖的方法数hn。 [解]定义h0=1，也可以直接算出h1=1，h2=2，h3=3。一般地，由图 可知，有 hn=hn-1+hn-2 可见，hk也是菲波纳契数列。 [定理2]若q1,…,qt为常系数线性齐次递推关系 的特征方程的互异的根，且qi的重数是si，则qi对递推关系的解的贡献是 递推关系的一般解为： [例]求递推关系 满足初值 的解。 [解]特征方程为 x4+x3-3x2-5x-2=0 根为-1,-1,-1,2。故通解为 代入初值并解方程，得 因此，有 2. 非齐次递推关系 定义1中的bn非零时，形成的非齐次递推关系的求解可分为几步： (1)求齐次通解； (2)求非齐次关系的一个特解； (3)通解与特解结合。 但求特解没有一般的公式，一些特殊形式下可以进行如下尝试。 (1)若bn是n的k次多项式，hn为特解，可尝试： a)hn=r（常数），若bn为d（常数） b)hn=rn+s，若bn=dn+c c)hn=rn2+sn+t，若bn=fn2+dn+c (2)若bn是指数形式，则尝试 hn=多项式dn，若bn=dn [例]求解 [解]齐次关系hn=2hn-1的特征根为q=2，其通解为hn=c2n 设通解hn=p3n，满足 p3n