-卡塔兰数是组合数学中一个常在各种计数问题中出现的数列。以比利时的数学家欧仁·查理·卡特兰(1814–1894)命名。历史上,清朝数学家明安图(1692年-1763年)在其《割圜密率捷法》中最先发明这种计数方式,远远早于卡塔兰。
-
卡塔兰数字的一般项公式为:
-
组合数学中有非常多的组合结构可以用卡塔兰数来计数。 -
Cn表示长度2n的dyck word的个数。Dyck word是一个有n个X和n个Y组成的字串,且所有的前缀字串皆满足X的个数大于等于Y的个数。以下为长度为6的dyck words:
XXXYYY XYXXYY XYXYXY XXYYXY XXYXYY -
计算包含n对正确匹配的括号的表达式的数量,例如n=3时,满足的共有五个
((())) ()(()) ()()() (())() (()()) -
Cn表示有2n+1个节点组成不同构满二叉树(full binary tree)的方案数。满二叉树是指每个点有两个子节点或者没有子节点。在下图中,n等于3,圆形表示内部节点,月牙形表示外部节点
-
Cn表示所有在n × n格点中不越过对角线的单调路径的个数。一个单调路径从格点左下角出发,在格点右上角结束,每一步均为向上或向右。计算这种路径的个数等价于计算Dyck word的个数:X代表“向右”,Y代表“向上”。下图为n = 4的情况:
Cn表示通过连结顶点而将n + 2边的凸多边形分成三角形的方法个数。下图中为n = 4的情况:
如何求卡塔兰数,主要有两种方法:
- 递归方法
卡塔兰数满足下列递归公式
class CatalnNumber</