【卡特兰数】BZOJ1856(Scoi2010)[字符串]题解

题目概述

给出 $n,m$ ，若一个 $01$ 序列在任意位置满足 $1$ 的个数大于 $0$ 的个数，则该序列是满足条件的。求由 $n$ 个 $0$ ， $m$ 个 $1$ 组成的满足条件的序列个数。

解题报告

$n=m$ 的时候显然是卡特兰数， $n>m$ 其实和卡特兰数类似。

先算出所有序列的个数，方案是 $n+m\choose n$ ，然后算出不满足条件的序列个数。

怎么算？将 $1$ 看成向上走， $0$ 看成向下走，然后我们令起点为 $(0,-2)$ ，把 $-1$ 以下的路径对称上去，就对应了一种不满足条件的序列个数，方案为 $n+m\choose n+1$ 。

示例程序

#include<cstdio>
using namespace std;
typedef long long LL;
const int maxn=2000000,MOD=20100403;

int n,m,fac[maxn+5],INV[maxn+5];

void Make()
{
    INV[0]=INV[1]=1;for (int i=2;i<=maxn;i++) INV[i]=MOD-(LL)(MOD/i)*INV[MOD%i]%MOD;fac[0]=1;
    for (int i=1;i<=maxn;i++) fac[i]=(LL)fac[i-1]*i%MOD,INV[i]=(LL)INV[i-1]*INV[i]%MOD;
}
inline int C(int x,int y) {if (x<y) return 0;return (LL)fac[x]*INV[y]%MOD*INV[x-y]%MOD;}
int main()
{
    freopen("program.in","r",stdin);
    freopen("program.out","w",stdout);
    scanf("%d%d",&n,&m);Make();
    return printf("%d\n",(C(n+m,n)+MOD-C(n+m,n+1))%MOD),0;
}