8.2 差分序列与Stirling数
| 类型 | 模型 |
|---|---|
| p个物品，k个不可区分，没有空盒子 | 第二类stirling数 S ( p , k ) S(p,k) S(p,k) |
| p个物品，k个可区分，无空盒 | k ! S ( p , k ) k!S(p,k) k!S(p,k) |
| p个物品，k个不可区分，可有空盒子 | Bell数 |
| p个物品，k个可区分，可有空盒子 | k p k_{p} kp |
| p个物品，k个不可区分，非空循环排列 | 第一类Stirling数 |
回顾：差分序列（递归定义）差分表
性质： 差分表由第0行上元素的值决定；由第0条对角线决定；线性性
特殊差分表： 除一个1其余未0。 h n = ( n p ) h_n = \tbinom{n}{p} hn=(pn) + 线性性
h 0 = 0 , h 1 = 0 , h 2 = 0 , h 3 = 0 , h 4 = 1 h_0=0,\ h_1=0,\ h_2=0,\ h_3=0,\ h_4 = 1 h0=0, h1=0, h2=0, h3=0, h4=1所以0，1，2，3是 h n h_n hn的根。 h n = c n ( n − 1 ) ( n − 2 ) ( n − 3 ) h_n=cn(n-1)(n-2)(n-3) hn=cn(n−1)(n−2)(n−3)
再由 h 4 = 1 = c n ( n − 1 ) ( n − 2 ) ( n − 3 ) h_4 = 1=cn(n-1)(n-2)(n-3) h4=1=cn(n−1)(n−2)(n−3)故 c = 1 4 ! c=\frac{1}{4!} c=4!1
定理2： h n = c 0 ( n 0 ) + c 1 ( n 1 ) + . . . + c p ( n p ) h_n=c_0 \tbinom{n}{0} + c_1 \tbinom{n}{1} + ... + c_p \tbinom{n}{p} hn=c0(0n)+c1(1n)+...+cp(pn)
定理3： ∑ k = 0 n = c 0 ( n + 1 1 ) + c 1 ( n + 1 2 ) + . . . + c p ( n + 1 p + 1 ) \sum_{k=0}^n= c_0 \tbinom{n+1}{1}+c_1 \tbinom{n+1}{2} + ... + c_p \tbinom{n+1}{p+1} ∑k=0n=c0(1n+1)+c1(2n+1)+...+cp(p+1n+1)
【考点】：给出 h n h_n hn的一个通项，写出另一个通项
一、第二类Stirling数
c ( p , p ) = p ! c(p,p)=p! c(p,p)=p!
n p = S ( p , 0 ) [ n ] 0 + S ( p , 1 ) [ n ] 1 + . . . + S ( p , p ) [ n ] p = ∑ k = 0 p S ( p , k ) [ n ] k n^p=S(p,0)[n]_{0}+ S(p,1) [n]_{1} + ... + S(p,p)[n]_{p}=\sum_{k=0}^{p}S(p,k)[n]_{k} np=S(p,0)[n]0+S(p,1)[n]1+...+S(p,p)[n]p=∑k=0pS(p,k)[n]k
S ( p , 0 ) = { 1 p = 0 0 p ≥ 1 S(p,0)=\left\{ \begin{array}{rcl} 1 & & {p=0}\\ 0 & & {p \ge 1}\\ \end{array} \right. S(p,0)={10p=0p≥1
定理4： 如果 1 ≤ k ≤ p − 1 1\le k \le p-1 1≤k≤p−1，则 S ( p , k ) = k S ( p − 1 , k ) + S ( p − 1 , k − 1 ) S(p,k) = kS(p-1,k)+S(p-1,k-1) S(p,k)=kS(p−1,k)+S(p−1,k−1)
计算： S ( p , 1 ) = 1 ( p ≥ 1 ) , S ( p , 2 ) = 2 p − 1 − 1 ( p ≥ 2 ) S(p,1)=1(p \ge 1), S(p,2) = 2^{p-1}-1(p\ge 2) S(p,1)=1(p≥1),S(p,2)=2p−1−1(p≥2)
定理5： S ( p , k ) S(p,k) S(p,k)p个物品划分k个不可区分的盒子且没有空盒子的划分个数。
【扩】：盒子可区分
S # ( p , k ) = k ! S ( p , k ) S^{\#}(p,k)=k!S(p,k) S#(p,k)=k!S(p,k)
定理6： 0 ≤ k ≤ p 0 \le k \le p 0≤k≤p， S # ( p , k ) = ∑ t = 0 k ( − 1 ) k ( k t ) ( k − t ) p S^{\#}(p,k) = \sum_{t=0}^{k}(-1)^k \tbinom{k}{t}(k-t)^{p} S#(p,k)=∑t=0k(−1)k(tk)(k−t)p（每个都非空）
二、Bell数
p个元素集合分成非空（、不可区分的盒子 B p = S ( p , 0 ) + S ( p , 1 ) + . . . + S ( p , p ) B_p = S(p,0)+S(p,1)+...+S(p,p) Bp=S(p,0)+S(p,1)+...+S(p,p)
定理7： p ≥ 1 p\ge 1 p≥1， B p = ( p − 1 0 ) B 0 + ( p − 1 1 ) B 1 + . . . + ( p − 1 p − 1 ) B p − 1 B_{p}=\tbinom{p-1}{0}B_{0}+\tbinom{p-1}{1}B_{1}+...+\tbinom{p-1}{p-1}B_{p-1} Bp=(0p−1)B0+(1p−1)B1+...+(p−1p−1)Bp−1
三、第一类Stirling数
[ n ] p = s ( p , p ) n p − s ( p , p − 1 ) n p − 1 + . . . + ( − 1 ) p − 1 s ( p , 1 ) n + ( − 1 ) p s ( p , 0 ) n 0 = ∑ k = 0 p ( − 1 ) p − k s ( p , k ) n k [n]_{p}=s(p,p)n^{p} - s(p,p-1)n^{p-1}+...+(-1)^{p-1}s(p,1)n+(-1)^{p}s(p,0)n^{0}=\sum_{k=0}^{p}(-1)^{p-k}s(p,k)n^{k} [n]p=s(p,p)np−s(p,p−1)np−1+...+(−1)p−1s(p,1)n+(−1)ps(p,0)n0=∑k=0p(−1)p−ks(p,k)nk
定理8： 1 ≤ k ≤ p − 1 1 \le k \le p-1 1≤k≤p−1, s ( p , k ) = ( p − 1 ) s ( p − 1 , k ) + s ( p − 1 , k − 1 ) s(p,k) = (p-1)s(p-1,k)+s(p-1,k-1) s(p,k)=(p−1)s(p−1,k)+s(p−1,k−1)
与第二类Stirling数初值一样但是递推关系不同 S ( p , k ) = k S ( p − 1 , k ) + S ( p − 1 , k − 1 ) S(p,k)=kS(p-1,k)+S(p-1,k-1) S(p,k)=kS(p−1,k)+S(p−1,k−1)
定理9： p个物品排成k个非空的循环排列
证：把p放到1…p-1任何一个物品左边 （p-1)s(p-1,k)
| p个球 | k个盒 | 是否空 | 方案个数 |
|---|---|---|---|
| 无区别 | 有区别 | 有空盒 | p个有区别的元素取k个允许重复排列数 ( p + k − 1 p ) \tbinom{p+k-1}{p} (pp+k−1) x 1 + . . . + x k = p x_{1}+...+x_{k}=p x1+...+xk=p p个球分成k组，可以有空，插k-1个板子 |
| 有区别 | 无空盒 | 先取k个球每盒一个，余下的p-k个无区别的球放入k个盒子中 ( p − 1 k − 1 ) \tbinom{p-1}{k-1} (k−1p−1) x 1 + . . . + x k = p , x k ≥ 1 x_{1}+...+x_{k}=p,x_{k}\ge 1 x1+...+xk=p,xk≥1 | |
| 无区别 | 有空盒 | G ( x ) = 1 ( 1 − x ) ( 1 − x 2 ) . . . ( 1 − x k ) G(x)=\frac{1}{(1-x)(1-x^{2})...(1-x^{k})} G(x)=(1−x)(1−x2)...(1−xk)1 | |
| 无区别 | 无空盒 | G ( x ) = x k ( 1 − x ) ( 1 − x 2 ) . . . ( 1 − x k ) G(x)=\frac{x_{k}}{(1-x)(1-x^{2} )...(1-x^{k})} G(x)=(1−x)(1−x2)...(1−xk)xk |
这就引出了8.3节——分拆数
8.3 分拆数
当物a品是不可区分的，但盒子是不同的时候，这就相当于 x 1 + x 2 + . . . + x k = p x_{1} +x_{2}+...+x_{k}=p x1+x2+...+xk=p 代数问题。当可为空时 x i ≥ 0 x_{i}\ge 0 xi≥0，如果不能为空 x i ≥ 1 x_{i}\ge 1 xi≥1。√解决了
但如果盒子也是相同的，这就相当于区别仅在于划分出来的每组个数。==>整数拆分
讨论对n进行两种拆分的组合计数问题：（1）无限制地拆分（2）限制拆分块数量的拆分
n = n a n + ( n − 1 ) a n − 1 + . . . + 2 a 2 + a 1 n = na_{n} + (n-1)a_{n-1} + ...+2a_{2}+a_{1} n=nan+(n−1)an−1+...+2a2+a1
n的分拆记作： λ = n a n . . . 2 a 2 1 a 1 \lambda = n^{a_{n}} ...2^{a_{2}}1^{a_{1}} λ=nan...2a21a1
定理1: n分拆数 p n k p_{n}^{k} pnk满足下列递推关系： ∑ j = 1 k p n j = p n + k k , p n 1 = p n n = 1 \sum_{j=1}^{k}p_{n}^{j}=p_{n+k}^{k}, p_{n}^{1}=p_{n}^{n}=1 ∑j=1kpnj=pn+kk,pn1=pnn=1
定理2： 设n和r是正整数且 r ≤ n r\le n r≤n。设 p n ( r ) p_n(r) pn(r)是最大部分为r的n的分拆数量，并设 q n ( r ) q_n(r) qn(r)是满足分拆各部分不大于r的n-r的分拆数量，则 p n ( r ) = q n ( r ) p_n(r)=q_n(r) pn(r)=qn(r)
分拆的几何图示：Ferrers图
定理3： p n s p_{n}^{s} pns等于n的自共轭分拆数，而 p n t p_{n}^{t} pnt等于分拆成互不相同的若干奇数和的分拆数，则有 p n s = p n t p_{n}^{s}=p_{n}^{t} pns=pnt
定理4： p n o p_{n}^{o} pno把n分成奇数和的分拆数， p n d p_{n}^{d} pnd是把n分成不同部分的分拆个数，则 p n o = p n d p_{n}^{o}=p_{n}^{d} pno=pnd
【考点】： 计算分拆数利用生成函数
6214
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
