组合数学-卡兰特数-满足条件的01串

卡特兰数（英语：Catalan number），又称卡塔兰数、明安图数，是组合数学中一种常出现于各种计数问题中的数列。以比利时的数学家欧仁·查理·卡特兰的名字来命名。1730年左右被蒙古族数学家明安图使用于对三角函数幂级数的推导而首次发现，1774年被发表在《割圜密率捷法》。

                                                                                                                 ------度娘

2、满足条件的01序列
给定n个0和n个1，它们将按照某种顺序排成长度为2n的序列，求它们能排列成的所有序列中，能够满足任意前缀序列中0的个数都不少于1的个数的序列有多少个。

输出的答案对109+7取模。

输出格式
共一行，包含整数n。

输出格式
共一行，包含一个整数，表示答案。

数据范围
1≤n≤105

当n=6时，我们假设当前字符为0时向右走一格，当前字符为1时向上走一格

这样，每一种01排序都对应一种从（0,0）到（6，6）的路径。从上面的题意，我们可以知道的是每一个前缀0的个数小于等于1的个数，满足条件的就是不过我们的红色线段的全部情况，但是为了计算方便，我们用全部的情况到达（n,n）的次数C2n n 减去到达（n-1,n+1）的次数C 2n n-1

然后化简就是我们上述的卡特兰数了，因为模数是质数，我们采用费马小定理+快速幂求逆元求解

#include <iostream>
#include <algorithm>
#include <cstring>

using namespace std;
typedef long long ll;
const int mod=1e9+7;

int qum(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=2*n,b=n;
    int res=1;
    for(int i=a;i>a-b;i--)res=(ll)res*i%mod;
    
    for(int i=1;i<=a-b;i++)res=(ll)res*qum(i,mod-2,mod)%mod;
    res=(ll)res*qum(n+1,mod-2,mod)%mod;
    cout<<res<<endl;
    
    return 0;
    
}