现代工程数学第8章.pptVIP

第 8 章 特殊计数序列 8.1 Catalan 数 8.2 差分序列和 Stirling 数 8.3 分拆数 作业 8.1 Catalan数 定理8.1.1 考虑 n 个 1 和 n 个 ?1 组成的序列a1, a2,…, a2n，若其部分和总大于等于0，即 a1 + a2+ … + ak ? 0，k = 1, 2,…, 2n，就称其为可接受的。可接受序列的个数 Cn 称为Catalan数。 Catalan 数 Cn 满足的递推关系 Catalan数 Cn 满足的递推关系 不同字符 a1, a2 ,…, an 顺序进栈，问有多少不同出栈方式？ 设有 hn 种不同出栈方式。h0 = 1。如果 a1 第 k 个出栈，则 a2,…, ak 在 a1 之前已出栈，它们有 hk?1 种不同出栈方式， ak+1,…, an 有 hn?k 种不同出栈方式，总起来讲有 hk?1 hn?k 种不同出栈方式。k 可以是 1, 2, …, n。所以， hn = h0hn?1 + h1hn?2 + … + hn?1h0 序列 h0, h1,… 和 C0, C1,… 满足同样的递推关系和初始条件。所以，hn = Cn 。 拟Catalan数 乘法格式的数目 设 a1, a2,…, an 是 n 个数，乘法格式是每个 ai 恰好出现一次的做 n ? 1 次乘法的乘法方案，如 (a1 ? (a2 ? a3))，((a2 ? a1) ? a3)。 设 hn 是 n 个数的乘法格式的数目。 h1 = 1 a1 h2 = 2 a1 ? a2 a2 ? a1 数的出现顺序固定时的乘法格式数 gn 若将乘法格式中数的出现顺序固定为 a1, a2,…, an，任何乘法格式可表示为 (A ? B)，其中 A 是a1,…, ak 的乘法格式，有 gk 种选择， B 是 ak+1, …, an 的乘法格式，有 gn?k 种选择，所以 出现顺序固定为 a1, a2,…, an 的乘法格式与在凸 n + 1 边形中插入不相交对角线将其内部分为三角形的方法一一对应，如乘法格式 ((a1(a2a3))a4) 对应下面的分法。 出现顺序固定为 a1, a2,…, an的乘法格式与 n 个树叶的完全二叉树之间可一一对应，如乘法格式 ((a1(a2a3))a4) 对应右边的树。所以， n 个树叶的完全二叉树的个数为 Cn?1。 8.2 差分序列和 Stirling 数 序列 h0, h1,… 的（一阶）差分序列 ?h0, ? h1,… 定义为 ?hn = hn+1 ? hn ， 称序列本身为自己的 0 阶差分。 称 p ? 1 阶差分序列的差分序列为 p 阶差分序列。?p hn = ?p?1 hn+1 ? ?p?1 hn 差 分 表 设hn = 2n2 + 3n + 1 = (n + 1)(2n + 1) 序列 h0, h1,… 的差分表如下： 1 6 15 28 45 66 91 … 5 9 13 17 21 25 … 4 4 4 4 4 … 0 0 0 0 … … 序列集合构成线性空间 序列加法 (h0, h1,…) + (g0, g1,…) = h0+ g0, h1+ g1,… 序列的数乘 c ? (h0, h1,…) = c ? h0, c ? h1,… ?(hn+ gn) = (hn+1+ gn+1) ? (hn+ gn) = ?hn + ?gn ?(c ? hn) = c ? hn+1 ? c ? hn = c ? ?hn ? 是序列集合构成的线性空间上的线性变换。 差分表第 0 条对角线完全确定差分表 设序列 h0, h1,… 的差分表第 0 条对角线为0, 0, 0, 0, 1, 0, 0, … 0 0 0 0 1 5 0 0 0 1 4 10 0 0 1 3 6 0 1 2 3 1 1 1 0 0 h0 = h1 = h2 = h3 = 0， h4 = 1 猜测 hn 是有根 0, 1, 2, 3 的 4 次多项式， 设 hn = c ? n(n?1)(n?2)(n?3)， 由 h4 = 1 得 1 = c ? 4!， 序列 04, 14,… 的差分表为 0 1 16 81 256 1 15 65 175 14 50 110 36 60 24 0 S(p, p) = 1, S(p, 0) = 0 （p 0） S(p, k) = S