Catalan数

来源:互联网 发布:js去除数组的重复元素 编辑:程序博客网 时间:2024/06/05 14:39

Catalan数


Catalan numbers
1,1,2,5,14,42,132,429,1430,4862,16796,58786,208012,


Catalan数列为{Cn}

Cn=Cn2nn+1 ………………………………………………①

Cn+1=ni=0CiCni (C0=1)………②

Cn=Cn2nCn+12n (C0=1)………………③

Cn+1=4n+2n+2Cn (C0=1)…………………④


导入
在一个44的方格图中,要从左下角走到右上角,每次只能向上走一步或向右走一步,且必须沿实线边走,求走法数。
求走法数
相信你已经很熟练地写出了DP方程:

f[0][0]=1;f[i][j]=f[i][j-1]+f[i-1][j]; //i≠jf[i][j]=f[i-1][j];           //i=j

没错,就是这样,f[4][4]=14,这正是当n=4时的Catalan
14种
至此,我们已经得到了一种递推计算Catalan数的方法。
然而通项公式①式是怎样得到的呢,下面给出证明。
nn的方格图放入坐标系中,00为原点,对角线为y=x
如果可以走虚线边,那么显然方案数为Cn2n(在2n次操作中选择n次为向上/右走)
为方便表述,下面将可走虚线边的走法称为非法走法。
显然非法走法必定会与y=x+1有交点,现将非法走法第一次相交之后走的路径关于y=x+1做对称,那么终点变为n1n+1,而到这个终点的方案数为Cn+12n(即非法走法方案数)。
配图如下
一种非法走法 对称后的路径

那么合法走法数为Cn2nCn+12n=Cn2nn+1
由此我们证明了①式和③式


出栈序列
题意:初始栈空,n个数按序入栈,每次可以选择让未入栈的数入栈,也可以让栈顶数出栈(栈非空)。求出栈序列种数(n个数必须全部出栈)。

法一:考虑第一个出栈的数的编号为k,那么整个出栈序列可以按原编号与k的大小关系分为两个序列,这两个序列可以任意交插,方案数为CkCn1k,易得总方案数即为②式
法二:利用网格图,从原点出发,将每个进栈操作记为向右一格,弹栈操作记为向上一格,问题转化为“导入”中的问题,即可解决。


SGU 130
题意:圆上有2k个顶点,求选择k个点对相连两两不相交的方案数和圆被切成的区域数(每个点仅属于一个点对)。1<=k<=30

分析:显然区域数为k+1。考虑顶点1依次与顶点468相连的情况(保证了两侧都是偶数个顶点,可以构成方案),即得到②式,这个分析方法与“出栈序列”的法一很类似。这说明这也是个Catalan数列,当然计算的时候可以直接使用④式(白书上有证明),快捷高效。

vari,n:longint;c:array[0..50] of int64;begin  readln(n);  c[0]:=1;  for i:=0 to n-1 do  c[i+1]:=c[i]*2*(2*i+1) div (i+2);  writeln(c[n],' ',n+1);end.

HDU 4828
题意:给定一个2N的矩阵,把12N这些数依次放进去,求使每行每列都递增的方案数(对109+7取模)。

分析:经典面试题详细题解


学习小结
Catalan数的应用远不止出栈序列、网格图路径数这些。但之所以用这两个例子来介绍Catalan数,是因为其他的模型往往可以很好地转化为这些模型或是套用其分析方法。

0 0
原创粉丝点击