卡特兰数(Catalan Number) 学习笔记

一、三个简单的问题

1.给定一串长为2n的01序列，其中0和1的数量相等，满足任意前缀中0的个数不少于1的个数，求序列的个数
2.给出一串长为n的序列，按顺序将他们进栈，随意出栈，求最后进出栈的方案
3.给定一个n个节点的二叉树，求二叉树有多少种（这里定义不同指树的形态不同）

这三个问题都有关catalan数
事实上关于Catalan的性质有关问题很多，这里只是比较针对的列出了几种。

二、求解问题1

稍微想一想及可以知道，问题1,2同构，问题3却好像不一样。

我们以问题1为例，推出卡特兰数的计算式。

很简单的容斥原理，我们先求出所有的序列，然后减去不合法的序列即是答案

所有序列个数直接根据组合数的定义为(C_{2n}^n)

关于不合法的序列，我们先介绍结论，然后进行证明

满足存在一个前缀使得1的个数大于0的个数的 n个0与n个1构成的01序列与n+1个0与n-1个1构成的01序列 构成一个双射，即11对应关系

很显然，后者的数量为(C_{2n}^{n-1})

证明：
对前者，很显然可以找到一个位置为(2p+1)的前缀，使得其中有(p+1)个(1)和(p)个(0)，好的我们把它取反，即得到了后者

对后者，同样我们可以找到一个位置为(2p+1)的前缀，使得其中有(p)个(1)和(p+1)个(0)（(0)比(1)多我们一定可以找到），然后取反，得到前者

综上所述，我们得到了卡特兰数的计算公式1

[Cat_n=C_{2n}^n-C_{2n}^{n-1} ]

化简搞一搞

[Cat_n=frac{C_{2n}^n}{n+1} ]

可以继续推出递推式

[Cat_n=frac{2(2n-1)}{n+1}Cat_{n-1} ]

对递推式(Cat_0=1)

事实上，计算时求有组合数的那个用的比较多。

三、求解问题3

很抱歉有一步的证明不能给出，一是网上没找到，二是听说比较难

对于问题3，我们发现它本身介绍一个可以递归求解的子问题，设方案数为(h(n))。

我们随便选取一点作为根（点都是相同的），则分别讨论左右子树的大小即可

显然有

[h(n)=sum_{i=0}^n h(i) imes h(n-1-i) ]

[h(0)=h(1)=1 ]

经过证明，(h(n)=Cat_n)

于是对于递推式是这样的题目，我们也可以使用卡特兰数解决。

可能会更新一些题目...

参考资料：算法竞赛进阶指南，网上的博客