特殊计数序列

1.       Catalan数：C_n = 1/(n+1) * C(2n, n)，C_n = (4n-2)/(n+1) *C_n-1

a.       内部插入不相交对角线，将n+1条边的凸多边形分割为三角形的计数

b.      n个+1和n个-1构成的序列a，对于所有k = 1, 2, 3, .. ,2n ，满足∑a_k>=0的序列个数

c.       拟Catalan数C_n^*=n!C_n-1。C_n^*=(4n-6) C_n-1^* ，C_n^*=(n-1)!C(2n-2, n-1)

2.       差分序列和Stirling数

a.       对于一般项是n的p次多项式，对于n>=0，∆^p+1h_n=0

b.      线性性：∆^p(c*g_n+ d*f_n) = c*∆^pg_n+ d*∆^p f_n)

c.       满足差分表第0条对角线为序列c的序列h满足

h_n= c₀*C(n, 0) + c₁*C(n, 1) +…+ c_n*C(n, p)

d.      用第0条对角线计算∑n^p的值，p为定制，n循环

设在p的情况下，第0条对角线上的数分别为c(p, 0), c(p, 1)…

则n^p=c(p, 0) *C(n, 0) + c(p, 1)*C(n, 1) + … +c(p, p)*C(n, p)

                =∑(k=0..p) ( c(p, k)/k! * [n]_k)

其中[n] _k= n!/k! (k>0) 或 1 (k=0)

令S(p, k) = c(p, k)/k!

则n^p= ∑(k=0..p) ( S(p, k) * [n]_k)

S(p, k)被称为第二类Stirling数

e.      第二类Stirling数满足Pascal型递推关系

S(p,k) = k*S(p-1, k) + S(p-1, k-1)

它的含义是将p个可区分的元素分到k个不可分别的非空集合的 计数

如果集合可分别，则为S(p, k) * k!

f.        Bell数：B_p是将p个不同元素分入非空不可分辨集合的计数

B_p= ∑(k = 0..p) S(p, k) 

g.       第二类Stirling数用[n]₀, [n]₁…[n]_p求n^p。第一类Stirling数由n⁰, n¹… n^p 求[n]_p。

[n]_p =  (n)(n-1)(n-2)..(n-k+1) = ∑(k=0..p) (-1)^p-ks(p, k)n^k

第一类Stirling数是将p个物体排成k个非空的循环队列的方法数