3MathPreliminary1.doc
《3MathPreliminary1.doc》由会员分享,可在线阅读,更多相关《3MathPreliminary1.doc(14页珍藏版)》请在三一办公上搜索。
1、第一章 算法分析的数学基础生成函数(母函数)在进行计数分析时,常常会遇到递推方程,形如:an=cn-1*an-1 + cn-2*an-2 + + cr*ar (cr0) 求解时有时需要使用生成函数的方法。e.g. Fibonacci数列:满足关系an=an-1+an-2(该类数有很多好的性质)普通与指数生成函数的定义: 设a0,a1,a2,an,是某一数域(e.g. 有理数,实数,复数)上的数的序列,0(x), 1(x), 2(x), ,n(x), 是同一数域上相互独立的函数序列,则称函数F(x)=a00(x)+ a11(x)+ a22(x)+ + ann(x)+ 是序列 a0,a1,a2,a
2、n,的普通生成函数(普母函数);称函数G(x) = a00(x)/0! + a11(x)/1! + a22(x)/2! + +ann(x)/n! + 是序列a0,a1,a2,的指数生成函数,(指母函数,和式形状类似于ex的展开形式)相互独立(independent)的函数序列:设0(x), 1(x), 2(x), ,n(x), 是某一数域上的函数序列,(x的值以及k(x)(k=0,1,2, )的值都在同一个数域中)任取k(x)(k=0,1,2, ),不存在数域中的数a1,a2,ap,使得k (x) = a1i1(x) + a2i2(x) + + apip(x) ,即任何一个函数项k(x)不能被
3、其它函数项线性表出。e.g. 1,x,x2,x3,xn,是相互独立的,而1,1+x,1-x,1+x2,1-x2,不是相互独立的,1=1/2(1+x)+(1-x)。如使用第二个函数序列来构造普通生成函数,则序列1,0,0,0, 和0,1/2,1/2,0, 所对应的普通生成函数是相同的,序列与其生成函数之间没有1-1对应关系。函数序列的相互独立性保证了序列与其生成函数之间的1-1对应。生成函数的函数序列大多用1,x,x2,x3,xn,在得到一个数列的生成函数之后,幂级数展开后xn前的系数就是数列的通项an。普通生成函数的两种主要应用:1. 解排列组合类问题 2. 求解递归方程解排列组合类问题e.g
4、. (1+x)n=+x+x2+xn(二项式定理)是序列,的普通生成函数。令x=-1,代入得+ +=+ 。即从n个不同的物体中选取偶数个物体的方法数等于从n个不同的物体中选取奇数个物体的方法数。 其它应用可参看组合数学/组合分析教材。求解递归方程 e.g. Fibonacci数an=an-1+an-2 a0=1,a1=1(边界条件),则可以算出序列为1,1,2,3,5,8,an=?设A(x)=, 根据an=an-1+an-2可有anxn=(an-1+an-2)xn,从2开始对等式两边分别求幂级数,得=(an-1+an-2)xn。由于=A(x)-a1x-a0,而(an-1+an-2)xn=an-1
5、xn+an-2xn=x(A(x)-a0)+x2A(x),A(x)-a1x-a0=x(A(x)-a0)+x2A(x),令A(x)=z, 则有z-x-1=x(z-1)+zx2。将z视为变量、x视为常量,可解得:z=A(x)=1/(1-x-x2)。将1/(1-x- x2)作幂级数展开后,xn前的系数就是Fibonacci数列的通项an。常系数线性递归方程(差分方程):c0an+c1an-1+cran-r=f(n) (*) (这里c0*cr0) e.g. 3an-5an-1+2an-3=n2+5线性:所有ai都是一次的。非线性:含有ai2或如aiaj之类的乘积项。求解常系数线性递归方程c0an+c1a
6、n-1+cran-r=f(n),需要r个连续的边界条件 e.g. Fibonacci方程 r=2,求解该方程需要两个连续的边界条件。若f(n)0,则称方程c0an+c1an-1+cran-r=f(n)是非齐次的;若f(n)=0,则称方程c0an+c1an-1+cran-r=0是齐次的。类似于常微分方程,称c0xr+c1xr-1+cr=0 (*) 为方程c0an+c1an-1+cran-r=f(n)所对应的特征方程,求解方程c0an+c1an-1+cran-r=f(n),有四个定理。Th1:若特征方程(*)恰有r个互不相同的特征根a1,a2,ar (即ij时有aiaj),则齐次方程的通解(通常称
7、为齐通解,因解中含待定系数故称“通解”)为an = A1a1n + A2a2n + + Ararn (A1Ar为待定系数,可由r个连续的边界条件唯一确定)(将待定系数作为未知数,根据r个连续的边界条件可得r个方程,方程的系数矩阵是范德蒙矩阵,其行列式值不为零,故有唯一解。)范德蒙矩阵之例: E.g. an=an-1+an-2,边界条件a0=a1=1,特征方程为x2-x-1=0 两个(特征)根为a1(1+)/2,a2=(1-)/2,互不相同,an= A1 a1n + A2 a2n。把n=0和n=1的两个边界条件代入, 得2个关于A1, A2的方程,算出A1=(1+)/(2),A2= - (1-)
8、/(2)。 (Fibonacci数列的通项也可根据其生成函数展成的幂级数求出。)Th2:若a1,a2是(*)方程的一对共扼复数根r和r,则这两个根对应解的部分为Arncos(nq)+Brnsin(nq) (A,B为实的待定系数)Eg2:下述矩阵的行列式有an=an-1-an-2,边界条件a1=1,a2=0。特征方程为x2-x+1=0 两个(特征)根为a1(1+i)/2,a2=(1-i)/2,为一对共轭复数,由a1、a2算出r=1,tgq=,q=/3, 按Th2,有an=Arncos(nq)+Brnsin(nq)= Acos(n/3)+Bsin(n/3), 将边界条件a1=1,a2=0代入,可得
9、A=1,B=/3。Th3:若a是(*)方程的k重根,则a对应的解的部分为C1an + C2nan + C3n2an + +Cknk-1an (C1Ck为待定常数)Eg3:an+6an-1+12an-2+8an-3=0,边界条件a0=1,a1=-2,a2=8。 特征方程为x3+6x2+12x+8=(x+2)3=0,-2是三重根,由Th3知an= (C1 + C2n + C3n2)(-2)n,将边界条件a0=1,a1=-2,a2=8代入, 可得C1=1,C2=-1/2,C3=1/2Eg4:下述矩阵的行列式有an=2an-1-an-2一阶矩阵: 二阶矩阵:三阶矩阵210 221121 12012n阶
- 配套讲稿:
如PPT文件的首页显示word图标,表示该PPT已包含配套word讲稿。双击word图标可打开word文档。
- 特殊限制:
部分文档作品中含有的国旗、国徽等图片,仅作为作品整体效果示例展示,禁止商用。设计者仅对作品中独创性部分享有著作权。
- 关 键 词:
- MathPreliminary1

链接地址:https://www.31ppt.com/p-5519892.html