卡特兰数：一通百通

三余知行

已于 2024-08-07 22:46:00 修改

阅读量734

点赞数 10

分类专栏：「算法通解」文章标签： leetcode 卡特兰数栈排序二叉树括号匹配路径计数

于 2024-08-07 22:44:02 首次发布

本文链接：https://blog.csdn.net/ChaoMing_H/article/details/141002913

版权

「算法通解」专栏收录该内容

3 篇文章 0 订阅

订阅专栏

卡特兰数（Catalan number）是一组自然数序列，以法国数学家欧仁·卡特兰命名，常用于组合数学中。它具有许多应用，包括栈排序问题、二叉树构造、括号匹配、路径计数等。

卡特兰数的第 (n) 项可以通过以下公式计算：

$C_n = \frac{1}{n+1} \binom{2n}{n} = \frac{(2n)!}{(n+1)!n!}$

卡特兰数及其性质

定义

$C_n = \frac{1}{n+1} \binom{2n}{n} = \frac{(2n)!}{(n+1)!n!}$

递推关系

卡特兰数也可以通过递推关系来定义：

$\ast 0 = 1$

$\ast {n+1} = \sum \ast {i=0}^{n} C_i \cdot C\ast{n-i}$

卡特兰数的应用

卡特兰数在许多组合数学问题中出现，以下是一些经典的应用场景：

二叉树的结构：
- 满二叉树（完全二分树）的数量：有 (n) 个内部节点的满二叉树有 (C_n) 种不同的结构。
合法括号序列：
- 有 (n) 对括号的合法括号序列个数为 (C_n)。
凸多边形的三角剖分：
- (n+2) 边凸多边形的三角剖分方式数为 (C_n)。
栈排序问题：
- 长度为 (n) 的出栈顺序可能性的个数为 (C_n)。
Dyck 路径：
- 从 ((0, 0)) 到 ((n, n)) 不越过对角线的路径数为 (C_n)。

Python 实现卡特兰数

下面是用 Python 计算卡特兰数的两种方法：直接公式和动态规划（递推关系）。

直接公式计算

import math

def catalan_direct(n):
    return math.comb(2 * n, n) // (n + 1)

# 示例
print([catalan_direct(i) for i in range(10)])
# 输出：[1, 1, 2, 5, 14, 42, 132, 429, 1430, 4862]

递推关系实现

def catalan_recursive(n):
    if n == 0:
        return 1
    catalan_numbers = [0] * (n + 1)
    catalan_numbers[0] = 1
    for i in range(1, n + 1):
        for j in range(i):
            catalan_numbers[i] += catalan_numbers[j] * catalan_numbers[i - 1 - j]
    return catalan_numbers[n]

# 示例
print([catalan_recursive(i) for i in range(10)])
# 输出：[1, 1, 2, 5, 14, 42, 132, 429, 1430, 4862]