什么是卡特兰数?
C[2n][n] - C[2n][n-1] = C[2n][n] / (n+1)
其中C[2n][n]= 2n! / n!*n!
由于有除法并且有取模,又恰好模为质数时可以用逆元来计算。
a/b%mod等价于a*b^(-1)%mod。
卡特兰数的应用1:
给出一个n,表示n个1、n个0,要求一个长度为2n的0、1序列,使得序列的任意前缀中0的个数不少于1的个数。
可用一个二维坐标轴来模拟:
向右为0,向上为1。
n=6时有:
即当经过的点均在y=x以下(包括y=x上的点)为符合要求,一旦,有点经过y=x+1及以上,则不符合(0的个数大于1的个数)。我们可以看出来所有不符合要求的点都会经过点(5,7)。
所有到点(6,6)的方案数为C[12][6],减去不符合要求的C[12][5](或者C[12][7]),就是n=6的方案数。
也就是一个卡特兰数。
例题:889. 满足条件的01序列 - AcWing题库https://www.acwing.com/problem/content/891/
题面:
代码:
#include<bits/stdc++.h>
using namespace std;
typedef long long ll;
const int mod=1e9+7;
//快速幂模板(用来求逆元)
int qmi(int a,int k,int p)
{
int res=1;
while(k)
{
if(k&1) res=(ll)res*a%p;
a=(ll)a*a%p;
k>>=1;
}
return res;
}
int main()
{
int n;
cin>>n;
int a=n*2,b=n;
int res=1;
for(int i=a;i>a-b;i--) res=(ll)i*res%mod;
for(int i=b;i>=1;i--) res=(ll)res*qmi(i,mod-2,mod)%mod;
res=(ll)res*qmi(n+1,mod-2,mod)%mod;
cout<<res<<endl;
return 0;
}
卡特兰数的应用2:
给顶节点组成二叉树的问题。
给定n个节点,能构成多少种形状不同的二叉树?
答案:C[2n][n] / (n+1)。