动态规划求卡特兰数

题目：1.括号匹配

学过数据结构的小伙伴看到此题可能第一反应就是这不是栈的数学性质嘛

栈的数学性质：当n个不同元素进栈时，出栈元素不同排列个数为

这个公式成为卡特兰公式，可以采用数学归纳发证明。

不难发现：可以使用dp[ n ] [n ]来表示元素个数为n时的不同排列个数，初始每列为1（组合数性质）

此后每个元素都可以表示为它的左边和上面的元素的和

代码：

#include <bits/stdc++.h>
using namespace std;
const int N = 1010;
typedef long long LL;
LL dp[N][N];
int n;
​
int main()
{
    cin >> n;
    for(int i = 0; i <= n; i ++)
        dp[i][0] = 1;
    
    for(int i = 1; i <= n; i ++)
        for(int j = 1; j <= i; j ++)
            dp[i][j] = (dp[i - 1][j] + dp[i][j - 1])%LL(1e9+7);
    
    cout << dp[n][n] << endl;
    return 0;
}