[关闭]
@ArrowLLL 2017-04-06T10:56:28.000000Z 字数 5935 阅读 4607

组合数学笔记之四——“递推关系和生成函数”

数学 组合数学


主页地址 :月光森林


简单数列举例及应用

表示一个数列, 叫做序列的一般项或生成项。

算数数列

每一项都比前一项大一个常数 。 若给定初始项 和常数 则序列唯一确定 :

有递推关系 , 一般项为

并且可以知道算数数列的部分和(前n项和,n为任意非负整数)

几何序列

每一项都是前一项的常数 倍。 若给定初始项 和常数 则序列唯一确定 :

有递推关系 , 一般项为

也可以知道集合序列的部分和为

斐波拉契(Fibonacci)序列

斐波拉契数列-百度百科

其递推关系为

其部分和满足

斐波拉契数满足公式

虽然斐波拉契数是整数,可是对这些显式公式却包含无理数 。而所有这些 又奇迹般地消失了。

线性齐次递推关系

是一个数列。如果存在量 和 量 (每一个量都有可能依赖于 n), 使得

则称该序列满足k阶线性递推关系。

例如 错位排列 满足递推关系

第一个递推关系的阶为2,且 ,第二个关系的阶为 1, 且

由例子可知,量 可以是常数或依赖于 。 同样 量 也可以是常数(可能为0)或依赖于

如果 是常数0, 则线性递推关系成为齐次的,如果 是常数,则称递推关系具有常系数。这里只讨论求解常系数线性齐次递推关系, 即形如:

其中, 是常数且 的递推关系的一种特殊方法。所描述的方法成功与否依赖于能否找到与上式相关的某个个多项式方程的根。

递推关系可以重写为 :

一旦所谓的初始值即 的值能够给出,则满足上述递推关系的数列 就能够被唯一确定。

定理 为一非零数。则 是常系数线性齐次递推关系

的解,当且仅当 是多项式方程
的一个根。如果多项式有 k 个不同的根 ,则
是下述意义下递推关系的一般解 : 无论给定 什么初始值,都存在常数,使得上述的的一般解是满足递推关系和初始条件的唯一的序列。

上述定理中关于x的多项式方程叫做该递推关系的特征方程,而它的k个根叫做特征根。由上述定理,如果特征根互异,那么 关于 的一般式就是递推关系的一般解。

定理 是常系数线性递推关系

的特征方程的互异的根。 此时,如果 重根, 则该递推关系对 的部分一般解为

递推关系的一般解则是

非齐次递推关系

非齐次递归关系,即在 的递推关系式中, 项不为 0 时的递推关系。

例如

Hanoi塔问题中,将n个圆盘从一个针柱移动到另一个针柱上所必须的移动次数满足

这是一个1阶常系数线性递推关系,但却不是齐次的,因为出现了1这一项。 将 递归展开,可得 的迭代式 :

于是数 是几何序列

的部分和,即 满足:

常系数一阶线性递推关系的解法

现在我们来阐述求解常系数一阶线性递推关系,即形式为

的递推解法。

类似于求解非齐次微分方程方法的离散模拟。可以总结如下:

  1. 求齐次关系的一般解;
  2. 求非齐次关系的一个特解。
  3. 将一般解和特殊解联合,确定一般解中出现的常数值,使得联合的解满足初始条件。

主要的困难在于找出步骤2的特解。在常系数一阶线性递推关系中的非齐次部分 , 存在某些尝试的特解类型。下面只叙述两种:

  1. 如果 是n的k次多项式,那么寻找也是n的k次多项式的特解 。因此尝试
    1.
    2.
    3.
  2. 如果 是指数形式,那么寻找的特解也是指数形式。因此尝试

求解

由于齐次关系 只有一个特征根即 , 因此它的一般解为

为求 的一个特解,我们尝试

要想 是解, 必须满足方程

消元后,该方程化为


因此

对常数的每一个选择都是一个解。现在要确定, 使得初始条件 满足:

这就给出 , 问题的解是

解答完毕。

要注意,用上述方法求解递推关系

的情况下是行不通的。这时递归关系变成
而迭代产生
因此在时的解式与级数
的求和相同。

生成函数

为一无穷序列。它的生成函数定义为无穷级数

中, 的系数是无穷序列的第n项 , 从而 作为 的 “位置持有者”。 有限序列

可以看成无穷序列

在这个序列中,除去有限项外所有其余的项都等于0。因此,每个有限序列都有一个生成函数

它是一个多项式。

是一正整数 。 关于二项式系数

的生成函数是

根据二项式定理可知

它以紧凑形式显示出关于二项式系数的序列信息。

常用生成函数:

  1. 的生成函数为 。其值为
  2. 是一个实数。由牛顿二项式定理, 二项式系数 的无穷序列的生成函数是
  3. 是一个整数,并令序列 使 等于 的非负整数个数。从“排列与组合”笔记多重集的组合 部分知道 , 其生成函数为

递归和生成函数

这一节介绍如何用生成函数求解常系数线性齐次递推关系。

定理

为满足线性齐次递推关系
的数列。则它的生成函数 形如
其中, 为具有非零常数项的 次多项式, 是小于 次的多项式。反之,给定这样的 ,则存在序列 , 满足形如递推关系公式的 阶常系数线性齐次递推关系,其生成函数由 给出。

且在上述定理中, 满足

满足

指数生成函数

对于其项可计数的序列,可以考虑关于单项式

的生成函数更有用。这些单项式出现在 的泰勒级数

中。关于上述单项式序列的生成函数就做指数生成函数

定理 为多重集 ,其中 均为非负整数。令 的 n-排列数。则序列 的指数生成函数

给定,其中,对于,

确定用红色,白色和蓝色对一行n列棋盘的方格涂色的方法数, 其中红方格的个数是偶数并且至少有一个蓝方格。

指数生成函数

因此

以上です~

添加新批注
在作者公开此批注前,只有你和作者可见。
回复批注