复旦大学计算机科学和工程系-吴永辉-离散数学-生成函数和递推关系.ppt

* * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 以上四式相加得： (1-x-9x2+9x3)f(x)=a0+(a1-a0)x+(a2-a1-9a0)x2+(a3-a2-9a1+9a0) x3 + …+(an-an-1-9an-2+9an-3)xn+… 因为a0=0,a1=1, a2=2，且当n≥3时, an-an-1-9an-2+ 9an-3=0，(an=an-1+9an-2-9an-3) 所以有： (1-x-9x2+9x3)f(x)=x+x2 即：f(x)=(x+x2)/(1-x-9x2+9x3) =(x+x2)/((1-x)(1+3x)(1-3x)) 而1/(1-x)=1+x+x2+…+xn+…； 1/(1+3x)=1-3x+32x2-…+(-1)n3nxn+…； 1/(1-3x)=1+3x+32x2+…+3nxn+…； 因此有： 作业: 2, 3, 4, 5, 7, 8, 10, 12, 14(1)(3), 15 * * * * * * * * * * * * * * * * * * * * * * * * * * * * 3. 两种求解递推关系的方法 1) 求解常系数线性递推关系的特征根方法 （1）定义12.3 数列{an}满足递推关系an=h1an-1+h2an-2 + …+hkan-k, hi为常数， i=1, 2, …, k, n≥k, hk≠0，称该递推关系为an的k阶常系数线性齐次递推关系。 形如an=h1an-1+ h2an-2+…+hkan-k+f(n), hi为常数，i=1, 2, …, k, n≥k, hk≠0，称该递推关系为an的k阶常系数线性非齐次递推关系。 k阶常系数线性齐次递推关系与微分方程y(k)=h1y(k-1)+h2y(k-2)+…+hky，hi为常数（ i=1, 2, …, k,）在结构上类似； k阶常系数线性非齐次递推关系与微分方程y(k)=h1y(k-1)+h2y(k-2)+…+hky+f(n)，hi为常数,(i=1,2,…,k)在结构上也类似； 求解方法也与相应的微分方程类似。 （2）求解方法 求解常系数线性递推关系的基本方法是寻找形如an=rn的解。 an=rn是an=h1an-1+h2an-2+…+hkan-k的解，rn=h1rn-1+h2rn-2+……+hkrn-k的等价方程rk-h1rk-1-h2rk-2-……-hk=0。 这个方程称为该递推关系的特征方程，方程的解称为该递推关系的特征根。 （3）定义12.4: 方程xk-h1xk-1-h2xk-2-…-hk=0称为k阶常系数线性齐次递推关系的特征方程,它的k个根 q1,q2,…,qk称为该递推关系的特征根。其中qi(i=1,2,…,k)是复数。 定理12.4. an=qn, q≠0是常系数线性齐次递推关系的解的充要条件是: q是该递推关系的特征根。 定理12.5: 若k阶常系数线性齐次递推关系的特征方程有k个互异的特征根: q1,q2,…,qk，则该递推关系的通解为: an=c1q1n+c2q2n +…+ckqkn, 其中c1,c2,…ck为任意常数。 例12.8 求例12.7的带初值递推关系的解。 解：例12.7的递推关系的特征方程为：x2-2x-2=0, 其根为： 由定理12.5，递推关系的通解为： 要满足初值条件，故有： 所以，a不相邻的n-排列数为: 定理12.6:若k阶常系数线性齐次递推关系的特征方程有t个互异的特征根: q1, q2, …, qt，m1, m2, …, mt为相应根的重数，且m1+m2+…+mt=k, 则该递推关系的通解为: 其中cij为任意常数(1≤j≤mi,1≤i≤t)为任意常数。 例12.9 求解递推关系 an+an-1-3an-2-5an-3-2an-4=0, n?4 a0=1, a1=a2=0, a3=2 解: 该递推关系的特征方程是x4+x3-3x2-5x-2=0, 其特征根是-1,-1,-1,2。由定理12.6得： an=c11(-1)n+c12n(-1)n+c13n2(-1)n+c212n 代入初值得到以下方程组： c11+c21=1 -c11-c12-c13+c21=0 c11+2c12+4c13+4c21=0 -c11-3c12-9c13+8c21