组合数学课件 3.pptVIP

若连接点集 K 中任意两点的线段上的所有点仍然在 K 中，则称 K 为凸集。 左边两个是凸集，右边两个是非凸集。 连接多边形不相邻顶点的线段称为对角线。 插入 n ? 3 条不相交对角线可将凸 n 边形分成 n ? 2 个三角形。 例 2 考虑 n 个 1 和 n 个 ?1 组成的序列a1, a2,…, a2n，若其部分和总大于等于0，即 a1 + a2+ … + ak ? 0，k = 1, 2,…, 2n，就称其为可接受的。可接受序列的个数 Cn 称为Catalan数。 §6 差分序列和 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 条对角线完全确定差分表 序列 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(p ? 1, k ? 1) + ks(p ?1, k) p\k 0 1 2 3 4 5 0 1 1 0 1 2 0 1 1 3 0 1 3 1 4 0 1 7 6 1 5 0 1 15 25 10 1 s(p, 1) = 1 （p ? 1） S(p, 2) = 2p?1 ?1 （p ? 2） p 不单独构成划分块，其余 p ? 1 个元素构成 k 个划分块，将 p 加入到这 k 个划分块中任意一个，这样的 k 划分有 ks*( p ? 1, k ) 个。 s*( p, k) = s*( p ? 1, k ? 1) + ks*( p ? 1, k ? 1) s*( p, p) = 1 （p ? 0） s*( p, 0) = 0 （p 0） 用 s#(p, k) 表示将 p 个不同物体放入 k 个不同盒子 且每个盒子不空的方法数。 若 k 个盒子相同，则方法数为 s(p, k)。若 k 个盒子 不同，相当于为这 k 个盒子排了一个队，排队数为 k ! 。所以，s#(p, k) = k ! s(p, k) 。 [n]0 = 1 [n]1 = n [n]2 = n(n ?1) = n2 ? n [n]3 = n(n ?1)(n ? 2) = n3 ? 3n2 + 2n [n]4 = n(n ?1)(n ? 2)(n ? 3) = n4 ? 6n3 + 11n2 ? 6n 系数正负相间 p\k 0 1 2 3 4 5 0 1 1 0 1 2 0 1 1 3 0 2 3 1 4 0 6 11 6 1 5 0 24 50 35 10 1 第二类 Stirling 数 S(p, k) np = S(p, p)[n]p + S(p, p ? 1)[n]p?1 + … + S(p, 0)[n]0 将 np 表示为 [n]0 , [n]1,…, [n]p 的线性组合的系数。 第一类 Stirling 数 s(p, k) 是将 p 个物体组成 k 个非空圆排列的方法数。 第二类 Stirling 数 S(p, k) 是 p 元集的 k 划分的个数。 第一类 Stirling 数 满足递推关系 第二类 Stirling 数 s(p, k)满足递推关系 s(p, k) = s(p ? 1, k ? 1) + ks(p ?1, k) 第一类 Stirling