母函数
- 格式:pdf
- 大小:332.90 KB
- 文档页数:3
母函数(生成函数)(发生函数)(发生函数)英文:generating function我们已知道了解决组合的计数问题的几种方法,从基本的加法原理和乘法原理开始,导出了排列与组合的各种公式,证明了容斥原理,并且已用它来解决某些计数问题。
这里将论证一种方法是属于Eular 的生成函数法。
(对工程师来说,数列的母函数通称为z-变换)§1 母函数利用生成函数可以说是研究计数问题的一个最主要的一般方法:其基本思想很简单:为了获得一个数列{} 210,,0:a a a k a k=≥的知识,我们用一个母函数+++=∑=≥22100)(x a x a a xa x g kk k这里x k 是指数函数来整体地表示这个数列,称g (x )是数列{}0:kx a k 的普通母函数,这样原数列就转记为成函数。
假如能求得这个函数,则不仅原则上已确定了原数列,还可以通过对函数的运算和分析得到这个数列的许多性质。
这里如果把x k 提成)(x k μ亦称普通母函数指数函数通常选来使得没有两个不同的序列令产生同一个母函数,故序列的母函数仅只是序列的另一种表示。
如1,cos x ,cos2x ,…为指数函数,序列{}2,,1ωω的母函数为+++++=rx x x x F rcos 2cos cos1)(2ωωω另一方面,用,1,1+x ,1-x ,1+x 2,1-x 2,…,1+x r ,1-x r …作为指数函数,序列(3,2,6,0,0)的普通母函数是3+2(1+x )+6(1-x )=11-4x ,而序列(1,3,7,6,0)和(1,2,6,1,1)会产生同一母函数即,1+3(1+x )+7(1-x )=11-4x ,xx x x x 411)1()1()1(6)1(2122-=-+++-+++故函数 ,1,1,1,1,122x x x x -+-+不应做为指数函数,)(x r μ的最近常用的是r x ,以下我们仅讨论这种情况的指数函数。
母函数(⽣成函数)介绍母函数是组合数学中相当重要的⼀个知识点,可以⽤来解决⼀些排列组合问题,还有所有的常系数线性齐次递推问题。
如果系数不是常数,需要根据具体情况进⾏处理。
具体的内容可以看组合数学相关书籍或者,由于⼤佬总是想当然地把别⼈当成⼤佬,⼀些内容对(像我这种)蒟蒻来说不是很友好,在这⾥讲⼀下母函数的基础。
(研究母函数时,钦定|x|<1),这样,由等⽐数列求和公式有:11−x=∑∞i=0x i=1+x+ (x)11−kx=∑∞i=0k i x i=1+kx+...+k∞x∞1.普通型母函数。
假设有⼀个数列a,那么它的母函数其实就是⼀个关于x的多项式,x n的系数为a n,对于已知通项的数列,其母函数可以直接写出来。
⽽对于未知的数列,主要分为两类:递推型和组合型。
递推型就是利⽤错位相消,举个栗⼦:a n=3a n−1+10a n−2,a0=1,a1=2移项,得a n−3a n−1−10a n−2=0,设a n的母函数为G(x)G(x)=a0+a1x+a2x2+a3x3...−3xG(x)=−3a0x+(−3)a1x2+(−3)a2x3...−10x2G(x)=−10a0x2+(−10)a1x3三⾏相加,可以发现等式右侧除了第⼀⾏的第1,2项和第⼆⾏的第1项外全消掉了。
所以我们可以得到(1−3x−10x2)G(x)=a0+a1x−3a0x=1−x,即G(x)=1−x1−3x−10x2,⽣成函数就求出来了,那如果我们还要求an的通项呢?对于这种东西,我们可以把他化成k1x−A+k2x−B这种形式,其中A和B由分母的因式分解唯⼀确定,然后k1,k2可由待定系数法解得。
然后对于kx−A,总可以化成k′∗11−Nx,就是k′∑∞i=0N i x i,找出x k的系数就是a n,如果母函数拆开成多个该类分式的话各部分相加就好。
具体计算就不算了。
PS:⼀部分⾮齐次线性递推其实也可以这样解,⽐如a n−3a n−1−10a n−2=f(n),按照上述⽅法错项后会剩下⼀个等⽐数列和前⼏项余项。
母函数
定义对给定序列构造一个函数,称为序列的母函数。
其中,序列只作为标志用,称为标志函数。
派生1:普通型母函数
当标志函数为时,即母函数为,称这类母函数为普通型母函数,可记作。
定理1:
设从元集合中取个元素组合,若限定元素出现次数的集合为,则该组合数序列的母函数为:
常用到的普通型母函数有:
例题:求位十进制正数中出现偶数个的数的个数
设表示位十进制正数中出现偶数个的数的个数,表示位十进制正数中出现奇数个的数的个数,不难得出:设序列,的母函数分别为:
由得:
再由得:
由、可得:
更进一步的,
即:
派生2:指数型母函数
当标志函数为时,即母函数为,称此类母函数为指数型母函数,可记作。
定理2:
从多重集中选区个元素排列,若元素出现的次数集合为,则该排列数序列的母函数为:
所谓多重集(multiset)之于集合(set),英文写出来差不多就懂了。
函数中,除以是因为排列中这个相同元素的先后是不考虑的。
常见的指数型母函数(的Tylor展开式):
例题:求由这个数字组成的位数字的个数(每个数字出现次数可以为,且出现的次数为偶数)。
设满足条件的位数字的数目为(特别地,规定),则序列的母函数为:
故。
附录:
推荐的文档组合数学--母函数与递推朱全民。