卡特兰数


Catalan 数列

以下问题属于 Catalan 数列:

  1. 个人排成一行进入剧场。入场费 5 元。其中只有 个人有一张 5 元钞票,另外 人只有 10 元钞票,剧院无其它钞票,问有多少种方法使得只要有 10 元的人买票,售票处就有 5 元的钞票找零?
  2. 一位大城市的律师在她住所以北 个街区和以东 个街区处工作。每天她走 个街区去上班。如果他从不穿越(但可以碰到)从家到办公室的对角线,那么有多少条可能的道路?
  3. 在圆上选择 个点,将这些点成对连接起来使得所得到的 条线段不相交的方法数?
  4. 对角线不相交的情况下,将一个凸多边形区域分成三角形区域的方法数?
  5. 一个栈(无穷大)的进栈序列为 有多少个不同的出栈序列?
  6. 个结点可构造多少个不同的二叉树?
  7. 构成 ,其部分和满足 对与 该数列为?

其对应的序列为:

...
11251442132...

(Catalan 数列)

递推式

该递推关系的解为:

关于 Catalan 数的常见公式:

题目大意:入栈顺序为 ,求所有可能的出栈顺序的总数。

=== "C++"

```cpp
#include <iostream>
using namespace std;
int n;
long long f[25];

int main() {
  f[0] = 1;
  cin >> n;
  for (int i = 1; i <= n; i++) f[i] = f[i - 1] * (4 * i - 2) / (i + 1);
  // 这里用的是常见公式2
  cout << f[n] << endl;
  return 0;
}
```

=== "Python"

```python
f = [0] * 25
f[0] = 1
n = int(input())
for i in range(1, n + 1):
    f[i] = int(f[i - 1] * (4 * i - 2) // (i + 1))
    # 这里用的是常见公式2
print(f[n])
```

封闭形式

卡特兰数的递推式为

其中 。设它的普通生成函数为

我们发现卡特兰数的递推式与卷积的形式很相似,因此我们用卷积来构造关于 的方程:

解得

那么这就产生了一个问题:我们应该取哪一个根呢?我们将其分子有理化:

代入 ,我们得到的是 的常数项,也就是 。当 的时候有 ,满足要求。而另一个解会出现分母为 的情况(不收敛),舍弃。

因此我们得到了卡特兰数生成函数的封闭形式:

接下来我们要将其展开。但注意到它的分母不是斐波那契数列那样的多项式形式,因此不方便套用等比数列的展开形式。在这里我们需要使用牛顿二项式定理。我们来先展开

注意到

这里使用了双阶乘的化简技巧。那么带回 得到

带回原式得到

这样我们就得到了卡特兰数的通项公式。

路径计数问题

非降路径是指只能向上或向右走的路径。

  1. 的非降路径数等于 的排列数,即

  2. 的除端点外不接触直线 的非降路径数:

    先考虑 下方的路径,都是从 出发,经过 ,可以看做是 不接触 的非降路径数。

    所有的的非降路径有 条。对于这里面任意一条接触了 的路径,可以把它最后离开这条线的点到 之间的部分关于 对称变换,就得到从 的一条非降路径。反之也成立。从而 下方的非降路径数是 。根据对称性可知所求答案为

  3. 的除端点外不穿过直线 的非降路径数:

    用类似的方法可以得到:

贡献者:@Menci@purple-vine@refinedcoding@Ir1dXD@WenzelTian@Great-designer

本页面最近更新:2/3/2023, 12:00:00 AM更新历史

发现错误?想一起完善? 在 GitHub 上编辑此页!

本页面的全部内容在 CC BY-SA 4.0SATA 协议之条款下提供,附加条款亦可能应用

评论

0 条评论
未登录用户


Copyright © 2016 - 2023 OI Wiki Team

最近更新:fd2ec2c, 2023-02-03

联系方式:Telegram 群组 / QQ 群组