卡特兰数-Catalan数

卡特兰数的含义:

说到卡特兰数,就不得不提及卡特兰数序列,卡特兰数序列是一个整数序列,其通项公式是C_n = /frac{1}{n+1}{2n/choose n} = /frac{(2n)!}{(n+1)!/,n!} /quad n/ge 0我们从中取出的C_n就叫做第n个卡特兰数数,前几个卡特兰数数是:1, 1, 2, 5, 14, 42, 132, 429, 1430, 4862, 16796, 58786, 208012, 742900, …运用卡特兰数可以解决许多实际问题上的计数问题

卡特兰数的几个基本性质以及变形公式:(提示括号一上n一下m表示n中选择m个的组合数)

1、C_n = /frac{1}{n+1}{2n/choose n} = {2n/choose n} -  /frac{n}{n+1}{2n/choose n} = {2n/choose n} -  {2n/choose n + 1}-->>C_n = {2n/choose n} - {2n/choose n+1} /quad n/ge 0

2、C_0 = 1 /quad , /quad C_{n+1}=/frac{2(2n+1)}{n+2}C_n

3、/begin{displaymath}C_0 = 1 /quad , /quad C_{n+1}=/sum_{i=0}^{n}C_i/,C_{n-i}/quad n/ge 0/end{displaymath}

4、/begin{displaymath}C_n= /frac 1{n+1} /sum_{i=0}^n {n /choose i}^2/end{displaymath}

以上的推导公式为其基本性质总结,如果有计数问题能够装换为以上几个公式那么他们就是卡特兰数的变形

直接运用卡特兰数的公式:f(n+1)=(4*n-6)/n*f(n)进行计算。

卡特兰数变形运用:

n个+1和n个-1构成2n项a_1,a_2,...,a_n,其部分和满足a_1 + a_2 + ... + a_k /ge 0 /quad , /quad 0 /le k /le 2n的序列个数等于卡特兰数C_n

证明:

我们假设不满足条件的序列个数为U_n,那么就有C_n + U_n = {2n /choose n}。接着就是求U_n了,我们假设有一个最小的k令a_1 + a_2 + ... + a_k < 0。由于这里k是最小的(注k为最小的令a_1 + a_2 + ... + a_k < 0的值,所以在K之前肯定是>=0的),所以必有a_1 + a_2 + ... + a_{k - 1} = 0 /quad , /quad a_k = -1,并且k是一个奇数不是偶数。此时我们只将前k项中的+1变为-1,将-1变为+1,那么对于0-2*n,就能得到一个有(n+1)个+1和(n-1)个-1的序列了,如此,从2*n中提取出n+1个+1或者n-1个-1,便是我们所求的U_n,数值大小为 U_n = {2n/choose n + 1}。那么我们就得到了C_n = {2n/choose n} - U_n = {2n/choose n} - {2n/choose n + 1}}}就是我们基本性质中的第一个。

变形:

1.将-1看成右括号,+1看成左括号,就变成了合法括号表达式的个数。

2.n+1个数连乘,乘法顺序有C_n

3.n个节点的二叉树的所有可能形态数为C_n

我们考虑随便取一个节点作为根,那么他左边和右边的儿子节点个数就确定了,假定根节点标号为x,那么左子树的标号就从1到x-1,共x-1个,右子树的标号就从x+1到n,共n-x个,那么我们的x从1取到n,就获得了所有的情况数/begin{displaymath}C_n = /sum_{i = 0}^{n - 1}C_i/,C_{n - i - 1}/end{displaymath}就是我们基本性质中的第三个


4.对于一个n*n(记住是n*n,当然,如果你使用n*m也可,但是需要改变公式)的正方形网格,每次我们能向右或者向上移动一格,那么从左下角到右上角的所有在副对角线右下方的路径总数为C_n

我们将一条水平边记为+1,垂直边记为-1,那么就组成了一个n个+1和n个-1的序列,我们所要保证的就是前k步中水平边的个数不小于垂直边的个数,换句话说前k个元素的和非负即a_1 + a_2 + ... + a_k /ge 0 /quad , /quad 0 /le k /le 2n,就是我们证明的第一个。


5.凸n+2边形进行三角形分割(只连接顶点对形成n个三角形)数:以下是n=4的情况

卡特兰数-Catalan数_第1张图片


6. n个数入栈后的出栈的排列总数是 C_n 。例如1,2,3入栈的出栈排序有123,132,213,231和321五种

7.对于集合/{1,2,...,2n/}的不交叉划分的数目为C_n,不交叉划分即两个区间可以包含或者相离,但是不能够交叉,就像两个圆之间的关系一样,可以圆包含圆,相离,但是不能相交

8.n层的阶梯切割为n个矩形的切法数也是C_n。如下图所示:(以下为n=4的情况)

卡特兰数-Catalan数_第2张图片


证明暂无

9.在一个2*n的格子中填入1到2n这些数值使得每个格子内的数值都比其右边和上边的所有数值都小的情况数也是C_n

10.平面上连接可以形成凸包的2n个点分成2个一组连成n条线段,两两线段之间不相交的情况总数是C_n


你可能感兴趣的:(卡特兰数-Catalan数)