组合数
({nchoose m}=frac{n!}{m!(n-m)!})
Some Identities
当二项式定理中的(a+b)为常量,(a)为变量时可以求高阶导得出一些有趣的恒等式。
({nchoose m}={nchoose n-m})
({nchoose k}=frac kn{n-1choose k-1})
({nchoose k}={n-1choose k-1}+{nchoose k-1})
({nchoose m}{mchoose k}={nchoose k}{n-kchoose m-k})
(sumlimits_{i=0}^k{nchoose i}{mchoose k-i}={n+mchoose k})
(sumlimits_{i=0}^n{ichoose k}={n+1choose k+1})
(sumlimits_{i=1}^m{mchoose i}{nchoose i}={n+mchoose m})
(sumlimits_{i=0}^n{n-ichoose i}=F_{n+1})
(sumlimits_{i=0}^m{n+ichoose i}={n+m+1choose m})
(sumlimits_{i=0}^n{mchoose i}{m-ichoose n-i}=2^n{mchoose n})
Fibonacci数
定义:(F_0=0,F_1=1,F_{n+2}=F_{n+1}+F_n)
Properties
(F_n=frac{(frac{1+sqrt5}2)^n-(frac{1-sqrt5}2)^n}{sqrt5})
(sumlimits_{i=1}^nF_i=F_{n+2}-1)
(sumlimits_{i=1}^nF_{2i-1}=F_{2n})
(sumlimits_{i=1}^nF_{2i}=F_{2n+1}-1)
(sumlimits_{i=1}^nF_i^2=F_nF_{n+1})
(F_n^2-F_{n+k}F_{n-k}=(-1)^{n-k}F_k^2)
(F_{kn+c}=sumlimits_{i=0}^k{kchoose i}F_{c-i}F_n^iF_{n+1}^{k-i})
(F_{n+m}=F_{n+1}F_m+F_nF_{m-1})
OGF:(sumlimits_{n=0}^{+infty}F_nx^n=frac x{1-x-x^2})
(F_{p}equiv(frac p5)pmod p,F_{p-(frac p5)}equiv 0pmod p)
Stirling数
第一类Stirling数
有符号第一类Stirling数
定义:(x^{underline n}=sumlimits_{k=0}^n s(n,k)x^k)
无符号第一类Stirling数
定义:(left[natop k
ight])是把(n)个元素的集合分为(k)个圆排列的方案数。
另一个定义:(left[natop k
ight]=|s(n,k)|)
另一个定义:(x^{overline n}=sumlimits_{k=0}^nleft[natop k
ight]x^k)
(left[natop k
ight])又记做(c(n,k))。
以后我们说的第一类Stirling数都指无符号第一类Stirling数。
Properties
(s(n,k)=(-1)^{n-k}left[natop k
ight])
递推公式:(left[{0atop 0}
ight]=1,left[{natop 0}
ight]=left[{0atop n}
ight]=0,left[natop k
ight]=(n-1)left[n-1atop k
ight]+left[n-1atop k-1
ight])
(left[natop n-k
ight]=sumlimits_{0le i_1<cdots<i_k<n}prodlimits_{j=1}^ki_j)
((n+m)!=sumlimits_{i=0}^nsumlimits_{j=0}^mm^{overline{n-i}}{nchoose i}left[matop j
ight]i!)
(sumlimits_{k=0}^nleft[natop k
ight]=n!)
(sumlimits_{k=m}^nleft[natop k
ight]{kchoose m}=left[n+1atop k+1
ight])
固定(k)的EFG:(sumlimits_{n=k}^{+infty}(-1)^{n-k}left[natop k
ight]frac{x^n}{n!}=frac{(ln (x+1))^k}{k!})
(sumlimits_{n=k}^{+infty}left[natop k
ight]frac{x^n}{n!}=frac{(lnfrac{1}{1-x})^k}{k!})
第二类Stirling数
定义:(left{natop k ight})是把(n)个元素的集合划分成(k)个非空集合的方案数。
Properties
递推公式:(left{0atop0
ight}=1,left{natop0
ight}=left{0atop n
ight}=0,left{natop k
ight}=kleft{n-1atop k
ight}+left{n-1atop k-1
ight})
(left{natop k
ight}=frac1{k!}sumlimits_{i=0}^k(-1)^i{kchoose i}(k-i)^n)
(x^n=sumlimits_{k=0}^nleft{natop k
ight}x^{underline k})
(left{n+1atop k+1
ight}=sumlimits_{i=k}^n{nchoose i}left{iatop k
ight})
(left{natop k
ight}equiv{n-lceilfrac{k+1}2
ceilchoose lfloorfrac{k-1}2
floor}pmod2)
(left{natop k
ight}=frac{k^n}{k!}-sumlimits_{i=1}^{k-1}frac{left{natop i
ight}}{(k-i)!})
固定(k)的OGF:(sumlimits_{n=k}^{+infty}left{natop k
ight}x^n=x^kprodlimits_{i=1}^kfrac1{1-ix})
固定(k)的EGF:(sumlimits_{n=k}^{+infty}left{natop k
ight}frac{x^n}{n!}=frac{((exp x)-1)^k}{k!})
Catalan数
定义:(C_0=0,C_{n+1}=sumlimits_{i=0}^nC_iC_{n-i})。
properties
通项公式:(C_n={2nchoose n}-{2nchoose n+1}=frac{2nchoose n}{n+1})。
递推公式:(C_{n+1}=frac{2(2n+1)}{n+2}C_n)。
(C_nsim frac{4^n}{sqrtpi n^{1.5}})
(2
mid C_n
ightarrow n=2^k-1)
Hankel矩阵
(mathbf A_{n*n}:mathbf A_{i,j}=C_{i+j-2})满足(det(mathbf A)=1)。
同时(mathbf A_{n*n}:mathbf A_{i,j}=C_{i+j-1})满足(det(mathbf A)=1)。
这两种情形合在一起唯一定义了Catalan数
Applications
(C_n)是长度为(2n)的合法括号序列的个数。
(C_n)是(n)个节点的二叉树的个数。
(C_n)是(2n+1)个节点构成的满二叉树的个数。
(C_n)是(n+1)个叶子节点的二叉树的个数。
(C_n)是可以任意加括号的(n+1)个元素的不同运算顺序的个数。(或者说分离(n+1)个组分的混合物的可能分离序列的个数)
(C_n)是从((0,0))走到((n,n))不越过(y=x)的方案数。
(C_n)是把凸(n+2)边形分割成三角形的方案数。
(C_n)是(1,cdots,n)按顺序入栈,可任意出栈的出栈排列的个数。
(C_n)是长度为(n)的LIS长度(le2)的排列的个数。
(C_n)是({1,cdots,n})划分为若干个不交叉集合的方案数。
(C_n)是用(n)个长方形填充一个高度为(n)的阶梯的方案数。
(C_n)是凸(2n)边形的不交顶点配对的方案数。(指把配对的点连线,所有的线两两不交)
Bernoulli数
定义:(sumlimits_{i=0}^n{n+1choose i}B_i=[n=0])。
另一个定义:(B_n=sumlimits_{i=0}^nsumlimits_{j=0}^i(-1)^j{ichoose j}frac{j^n}{i+1})
properties
(2
mid nwedge n
e1
ightarrow B_n=0)
EGF:(sumlimits_{n=0}^{+infty}frac{B_n}{n!}x^n=frac{x}{(exp x)-1})
(sumlimits_{i=1}^ni^m=frac1{m+1}sumlimits_{i=0}^m(-1)^i{m+1choose i}B_in^{m+1-i})
Bell数
定义:(B_n)是(n)个元素的集合的划分数。
Properties
递推公式:(B_0=1,B_{n+1}=sumlimits_{i=0}^n{nchoose i}B_i)
EGF:(sumlimits_{n=0}^{+infty}frac{B_n}{n!}x^n=exp((exp x)-1))
(B_n=sumlimits_{i=0}^nleft{natop i
ight})
(B_{n+m}=sumlimits_{i=0}^nsumlimits_{j=0}^m{nchoose i}left{matop j
ight}j^{n-i}B_i)
(B_{p^m+n}equiv mB_n+B_{n+1}pmod p)
拆分数
定义:(p(n,m))是将(n)拆为(m)个无序正整数的和的方案数。
有时简记(p(n)=sumlimits_{i=1}^np(n,m))。
Properties
(p(n,m)=[x^{n-m}]prodlimits_{i=1}^mfrac1{1-x^i})
Eulerian数
定义:(leftlangle natop m ight angle)为(1,cdots,n)的排列,有(m)个数比它前一个数大的方案数。
Properties
递推公式:(leftlangle 1atop 0
ight
angle=1,leftlangle natop m
ight
angle=(n-m)leftlangle n-1atop m-1
ight
angle+(m+1)leftlangle n-1atop m
ight
angle)
通项公式:(leftlangle natop m
ight
angle=sumlimits_{k=0}^m(-1)^k{n+1choose k}(m+1-k)^n)
固定(n)的OGF(又叫Eulerian多项式):(A_0(x)=1,A_n(x)=sumlimits_{m=0}^nleftlangle natop m
ight
angle x^m=sumlimits_{k=0}^{n-1}{nchoose k}A_k(x)(x-1)^{n-1-k})
Eulerian多项式的EGF:(sumlimits_{n=0}^{+infty}A_n(t)frac{x^n}{n!}=frac{t-1}{t-exp((t-1)x)})
(sumlimits_{m=0}^{n-1}leftlangle natop m
ight
angle=n!)
(sumlimits_{m=0}^{n-1}(-1)^mleftlangle natop m
ight
angle=frac {2^{n+1}(2^{n+1}-1)B_{n+1}}{n+1})(这里的(B_n)是Bernoulli数)
(sumlimits_{m=0}^{n-1}(-1)^mfrac{leftlangle natop m
ight
angle}{n-1choose m}=0)
(sumlimits_{m=0}^{n-1}(-1)^mfrac{leftlangle natop m
ight
angle}{nchoose m}=(n+1)B_n)
(sumlimits_{k=0}^{+infty}k^nx^k=frac{xA_n(x)}{(1-x)^{n+1}})
(x^n=sumlimits_{m=0}^{n-1}leftlangle natop m
ight
angle{x+mchoose n})
(frac e{1-ex}=sumlimits_{n=0}^{+infty}frac{A_n(x)}{n!(1-x)^{n+1}})
Lah数
无符号Lah数:(x^{overline n}=sumlimits_{k=1}^nL(n,k)x^{underline k})
有符号Lah数:(x^{underline n}=sumlimits_{k=1}^nL'(n,k)x^{overline k})
Properties
通项公式:(L(n,k)={n-1choose k-1}frac{n!}{k!})
通项公式:(L'(n,k)=(-1)^nL(n,k))
递推公式:(L(0,0)=1,L(n,0)=L(0,n)=0,L(n,k)=(n+k-1)L(n-1,k)+L(n-1,k-1))
(L(n,k)=sumlimits_{i=0}^nleft[natop i
ight]left{iatop k
ight})
EGF:
(sumlimits_{n=k}^{+infty}L(n,k)frac{x^n}{n!}=frac1{k!}(frac x{1-x})^k)
Applications
(L(n,k))是把(n)个元素的集合划分为(k)个排列的方案数。
Narayana数
定义:(N(n,k)=frac1n{nchoose k}{nchoose k-1})
Properties
(C_n=sumlimits_{i=1}^nN(n,i))
Applications
(N(n,k))是将({1,cdots,n})划分为(k)个互不交叉集合的方案数。
(N(n,k))是(n)对括号形成(k)个嵌套结构的方案数。
(N(n,k))是从((0,0))走到((2n,0)),只能向右上/右下走,不能越过(x=0),路径有(k)个波峰的方案数。
Motzkin数
定义:(M_n)是在圆上(n)个点之间连接不交弦的方案数。
Properties
递推公式:(M_0=1,M_n=M_{n-1}+sumlimits_{i=0}^{n-2}M_iM_{n-2-i}=frac{2n+1}{n+2}M_{n-1}+frac{3n-3}{n+2}M_{n-2})
(M_n=sumlimits_{k=0}^{lfloor n/2
floor}{nchoose2k}C_k)
Applications
(M_n)是从((0,0))走到((n,0)),只能向右上/正右/右下走,并且不能越过(x=0)的方案数。
Delannoy数
定义:(D(m,n))是从((0,0))走到((m,n)),只能向正右/正上/右上走的方案数。
Properties
递推公式:(D(m,0)=D(0,n)=0,D(m,n)=D(m-1,n)+D(m-1,n-1)+D(m,n-1))
(D(m,n)=sumlimits_{k=0}^{min(m,n)}{m+n-kchoose m}{mchoose k})
(D(m,n)=sumlimits_{k=0}^{min(m,n)}{mchoose k}{nchoose k}2^k)
Schröder数
定义:(S_n)是从((0,0))走到((n,n)),只能向正上/正右/右上走,不能越过(y=x)的方案数。
Properties
(S_0=1,S_n=S_{n-1}+sumlimits_{k=0}^{n-1}S_kS_{n-k-1})
令(mathbf A:mathbf A_{i,j}=S_{i+j-1}),则(det(mathbf A_{n,n})=2^{frac{n(n+1)}2})。
Applications
(S_n)为在(n*n)的矩形中选定(n)个点和(n)条水平/竖直的线段,满足每条线段恰好经过一个点且每个点恰好只被一条线段经过且线段直接不出现十字交叉,这(n)条线段把矩形划分成(n+1)个小矩形的方案数。
Hipparchus数
(S(n))是从((0,0))走到((n,n)),只能向正上/正右/右上走,不能沿着(y=x)走的方案数。
Properties
(S(0)=S_0,forall ninmathbb N_{+},S(n)=frac{S_n}2)
(S(n)=frac{(6n-9)S(n-1)+(n-3)S(n-2)}n)
Applications
(S(n))是(n+2)边形的任意剖分数。
(S(n))是在(n+1)个元素的序列中添加括号,满足每对括号中元素个数加上整对括号数(ge2),且没有包含整个序列的括号的方案数。
(S(n))是(n+1)个点形成的满足每个非叶节点都有至少两个儿子的有根平面树的个数。
Fubini数
(a(n))是(n)个元素的弱偏序的个数(即可以有元素之间的偏序关系未确定)。
Properties
(a(n)=sumlimits_{k=0}^nleft{natop k
ight}k!)
(a(n)=sumlimits_{k=0}^{n-1}2^kleftlangle natop k
ight
angle)
(a(n)=sumlimits_{i=1}^{n}{nchoose i}a(n-i))
Applications
(a(n))是具有(n+1)个有序叶子节点的,满足每个叶子节点的深度相等,深度为(i)的点数严格小于(i+1)的点数的有根树的个数。
对于上述的树,记相邻的两个叶子节点的间隔的排名为这两个叶子节点的lca的高度,那么这些间隔以排名为关键字对应一个弱偏序。