【XSY3726】大猫熊和他的k边形（三角剖分，卡特兰数）

记录一下两个结论。

• 有标号 $n$ 边形的三角剖分数等于 $B_{n-2}$，其中 $B$ 是卡特兰数。

证明：

考虑 DP，设 $C_n$ 为有标号 $n$ 边形的三角剖分数，考虑与 $1$ 号点相连的最小的那条边 $(1,1+i)$（若没有与 $1$ 号点相连的边则钦定与 $1$ 号点相连的最小的那条边为 $(1,n)$），有：
$$C_n=\sum _{i=2}^{n-1}{C}_i{C}_{n-i+1}$$
注意和式里面不是 $C_{i+1}{C}_{n-i+1}$ 的原因是我们钦定了与 $1$ 号点相连的最小的那条边为 $(1,1+i)$，那么在这条边分割出的那个 $i+1$ 边形中，$1$ 需要满足没有出边，也就是说一定有边 $(2,1+i)$，然后就转化为了 $i$ 边形的三角剖分问题。

将这个式子稍作位移：
$$\begin{array}{rl}{C}_{n+2}& =\sum _{i=2}^{n+1}{C}_i{C}_{n-i+3}\\ & =\sum _{i=0}^{n-1}{C}_{i+2}{C}_{n-i+1}\end{array}$$
令 $B_n=C_{n+2}$，发现就是卡特兰数的递推式：
$$B_n=\sum _{i=0}^{n-1}{B}_i{B}_{n-i-1}$$

顺便说一下为啥这是卡特兰数的递推式：考虑枚举最后一次碰到 $y=x$ 是位置 $(i,i)$，然后就是从 $(i+1,i)$ 走到 $(n,n-1)$，即为 $B_{n-i-1}$。

• $[x^n]B(x{)}^k$ 为从 $(0,0)$ 走到 $(n+k-1,n)$ 且不越过 $y=x$ 的方案数。

证明是一个比较妙的组合意义。

首先 $[x^n]B(x{)}^k$ 相当于如下路径的方案数：这是一条 $k$ 段的路径，每一段都是从 $(i,i)$ 走到 $(j,j)$（$i\le j$）。

然后我们考虑对这条路径做一个映射。先设这 $k$ 段分别是 $(0,0)\to (p_1,p_1)\to (p_2,p_2)\to \cdots \to (p_{k-1},p_{k-1})\to (n,n)$，然后把每一段在前面的路径的基础上向右偏移一位，就映射到了一条 $(0,0)$ 到 $(n+k-1,n)$ 且不越过 $y=x$ 的路径。

然后证明每一条 $(0,0)$ 到 $(n+k-1,n)$ 且不越过 $y=x$ 的路径都能一一对应回原来那条路径：我们先找到这条路径最后一次碰到 $y=x$ 的位置 $(p_1,p_1)$，再找到这条路径最后一次碰到 $y=x-1$ 的位置 $(p_2+1,p_2)$，……，再找到这条路径最后一次碰到 $y=x-(k-2)$ 的位置 $(p_{k-1}+k-2,p_{k-1})$。这样我们就得到了 $p_1,\cdots ,p_k$，不难发现路径 $(0,0)\to (p_1,p_1)\to (p_2,p_2)\to \cdots \to (p_{k-1},p_{k-1})\to (n,n)$ 恰好就是映射回这条路径。

另外提一句，求出 $[x^n]B(x{)}^k$ 还可以用扩展拉格朗日反演。