HDU 4767 Bell (贝尔数 中国剩余定理 构造矩阵) ★ ★

来源:互联网 发布:宇宙模拟软件 编辑:程序博客网 时间:2024/04/28 11:31

斯特灵数[编辑]

维基百科,自由的百科全书

在组合数学,Stirling数可指两类数,都是由18世纪数学家James Stirling提出的。

第一类[编辑]

s(4,2)=11

第一类Stirling数是有正负的,其绝对值是n个元素的项目分作k个环排列的方法数目。常用的表示方法有s(n,k) , \left[\begin{matrix} n \\ k \end{matrix}\right]

换个较生活化的说法,就是有n个人分成k组,每组内再按特定顺序围圈的分组方法的数目。例如s(4,2)

  1. {A,B},{C,D}
  2. {A,C},{B,D}
  3. {A,D},{B,C}
  4. {A},{B,C,D}
  5. {A},{B,D,C}
  6. {B},{A,C,D}
  7. {B},{A,D,C}
  8. {C},{A,B,D}
  9. {C},{A,D,B}
  10. {D},{A,B,C}
  11. {D},{A,C,B}

这可以用有向图来表示。

  • 给定s(n,0)=0,s(1,1)=1,有递归关系s(n+1,k)=s(n,k-1) + n \; s(n,k)

递推关系的说明:考虑第n+1个物品,n+1可以单独构成一个非空循环排列,这样前n种物品构成k-1个非空循环排列,方法数为s(n,k-1);也可以前n种物品构成k个非空循环排列,而第n+1个物品插入第i个物品的左边,这有n*s(n,k)种方法。


  • | s(n,1) | =(n-1)!
  • s(n,k) = (-1)^{n+k} | s(n,k) |
  • s(n,n-1) = - C(n,2)
  • s(n,2) = (-1)^n (n-1)!\; H_{n-1}
  • s(n,3) = \frac{1}{2} (-1)^{n-1} (n-1)! [ (H_{n-1})^2 - H_{n-1}^{(2)} ]

H_n^{(m)}是调和数的推广。

s(n,k)是递降阶乘多项式的系数:

x^{\underline{n}}= x(x-1)(x-2)\ldots(x-n+1) = \sum_{k=1}^n s(n,k)x^k

第二类[编辑]

第二类Stirling数是n个元素的集定义k个等价类的方法数目。常用的表示方法有S(n,k) , S_n^{(k)} ,  \left\{\begin{matrix} n \\ k \end{matrix}\right\}

换个较生活化的说法,就是有n个人分成k组的分组方法的数目。例如有甲、乙、丙、丁四人,若所有人分成1组,只有所有人在同一组这个方法,因此S(4,1)=1;若所有人分成4组,只可以人人独立一组,因此S(4,4)=1;若分成2组,可以是甲乙一组、丙丁一组,或甲丙一组、乙丁一组,或甲丁一组、乙丙一组,或其中三人同一组另一人独立一组,即是:

  1. {A,B},{C,D}
  2. {A,C},{B,D}
  3. {A,D},{B,C}
  4. {A},{B,C,D}
  5. {B},{A,C,D}
  6. {C},{A,B,D}
  7. {D},{A,B,C}

因此S(4,2)=7


  • 给定S(n,n)=S(n,1)=1,有递归关系S(n,k) = S(n-1,k-1) + k S(n-1,k)
  • 递推关系的说明:考虑第n个物品,n可以单独构成一个非空集合,此时前n-1个物品构成k-1个非空的不可辨别的集合, 方法数为S(n-1,k-1);也可以前n-1种物品构成k个非空的不可辨别的 集合,第n个物品放入任意一个中,这样有k*S(n-1,k)种方法。
  • S(n,n-1)=C(n,2)=n(n-1)/2
  • S(n,2)=2^{n-1} - 1
  • S(n,k) =\frac{1}{k!}\sum_{j=1}^{k}(-1)^{k-j} C(k,j) j^n
  • B_n=\sum_{k=1}^n S(n,k)

C(k,j)是二项式系数,B_n是贝尔数。

两者关系[编辑]

\sum_{n=0}^{\max\{j,k \}} S(n,j) s(k,n) = \sum_{n=0}^{\max\{j,k \}} s(n,j) S(k,n) = \delta_{jk}

\delta_{jk}是克罗内克尔δ。

0 0