生成字符串

问题：
把 n 个 1 和 n 个 0 组成字符串，在任意的前 k 个字符中，1的个数不能少于 0 的个数，满足要求的字符串共有多少个，这个数可能会很大，只需输出这个数除以1e9+9的余数
—————————————————————————————————
样例输入
10

样例输出
16796

#include<stdio.h>
typedef long long LL;
LL MOD=1000000009ll;
LL pow1(LL x, LL n, LL mod){//求逆元
    LL res=1;
    while(n>0){
        if(n&1)res=res*x%mod;
        x=x*x%mod;
        n>>=1;
    }
    return res;
}
LL c(int a,int b){//求组合数
    long long i1,j1;
    i1=j1=1;
    for(long long i=1;i<=a;i++){
        i1*=i;
        i1%=MOD;
    }
    for(long long j=1;j<=a;j++,b--){
        j1*=b;
        j1%=MOD;
    }
  	i1=pow1(i1,MOD-2,MOD);
    return ((j1%MOD)*(i1%MOD))%MOD;
}
int main(){
    int n;
    scanf("%d",&n);//c(n,2*n);
    printf("%lld",(c(n,2*n)-c(n-1,2*n)+MOD)%MOD);
    return 0;
}

理解：
1：防溢出
(a÷b)%n==((a%n)×(b-1%n))%n;//b-1为b关于n的逆元
2：求逆元
费马小定理
a^(p-1)恒等于1(mod p)
a*a^(p-2)恒等于1(mod p)
a的逆元为a^(p-2)
3：
线性规划，作图