nowcoder15077 造一造

最新推荐文章于 2024-09-02 16:33:07 发布

*ACoder*

最新推荐文章于 2024-09-02 16:33:07 发布

阅读量193

点赞数

分类专栏： # 卡特兰数 # 排列组合

本文链接：https://blog.csdn.net/FSAHFGSADHSAKNDAS/article/details/104120072

版权

排列组合同时被 2 个专栏收录

54 篇文章 0 订阅

订阅专栏

卡特兰数

7 篇文章 0 订阅

订阅专栏

链接

点击跳转

题解

令出栈次数 $t = (m - 1) - (k - 1)$

第一阶段，先从 $(0, 0)$ 走到 $(t, m - 1)$

根据卡特兰数的构造方法，方案数为

$\binom{m-1+t}{t} - \binom{m-1+t}{t+1}$

第二个阶段，是要从 $(t, m)$ 走到 $(n, n)$

根据卡特兰数的构造方法，方案数为

$\binom{(n-t)+(n-m)}{n-t} - \binom{(n-t)+(n-m)}{n-t+1}$

代码

#include <bits/stdc++.h>
#include <ext/pb_ds/assoc_container.hpp>
#include <ext/pb_ds/tree_policy.hpp>
#define iinf 0x3f3f3f3f
#define linf (1ll<<60)
#define eps 1e-8
#define maxn 2000010
#define cl(x) memset(x,0,sizeof(x))
#define rep(_,__) for(_=1;_<=(__);_++)
#define em(x) emplace(x)
#define emb(x) emplace_back(x)
#define emf(x) emplace_front(x)
#define fi first
#define se second
#define de(x) cerr<<#x<<" = "<<x<<endl
using namespace std;
using namespace __gnu_pbds;
typedef long long ll;
typedef pair<int,int> pii;
typedef pair<ll,ll> pll;
ll read(ll x=0)
{
    ll c, f(1);
    for(c=getchar();!isdigit(c);c=getchar())if(c=='-')f=-f;
    for(;isdigit(c);c=getchar())x=x*10+c-0x30;
    return f*x;
}
#define mod 1000000007ll
ll fact[maxn], _fact[maxn], a[maxn], inv[maxn];
ll C(ll n, ll m)
{
    if(m>n or m<0 or n<0)return 0;
    return fact[n]*_fact[m]%mod*_fact[n-m]%mod;
}
int main()
{
    ll T=read(), n, m, k, i;
    inv[1]=1;
    for(int i=2;i<maxn;i++)inv[i]=inv[mod%i]*(mod-mod/i)%mod;
    fact[0]=_fact[0]=1;
    rep(i,maxn-1)fact[i]=fact[i-1]*i%mod, _fact[i]=_fact[i-1]*inv[i]%mod;
    while(T--)
    {
        n=read(), m=read(), k=read();
        ll t=(m-1)-(k-1);
        ll ans = ( C(m-1+t,t) - C(m-1+t,m) ) %mod;
        ( ans *= C((n-t)+(n-m),n-t) - C((n-t)+(n-m),n-t+1) ) %=mod;
        printf("%lld\n",(ans+mod)%mod);
    }
    return 0;
}