nowcoder20277 [SCOI2010]字符串_20277[scoi2010]字符串-CSDN博客

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

链接

题解

所有的情况数是 $\binom{n+m}{n}$

下面分析不合法的数量怎么算：

对于一个不合法的序列，肯定存在一个最小的 $k$ 使得 $0$ 的个数比 $1$ 的个数恰好多 $1$ ， $k$ 必定是奇数，设 $k = 2 t + 1$ ，那么前 $2 t + 1$ 个数字中有 $t + 1$ 个 $0$ 和 $t$ 个 $1$

假设 $d = m - n$ ，也就是 $0$ 的总数比 $1$ 的总数多 $d$

从第 $2 t + 2$ 个数字到最后一个数字，这些数字中 $0$ 有 $m - t - 1$ 个， $1$ 有 $n - t$ 个

我把从第 $2 t + 2$ 个到第最后一个数字都取反，即 $0$ 变成 $1$ ， $1$ 变成 $0$ ，这个时候 $0$ 的总个数变为 $t + 1 + (n - t) = n + 1$ ， $1$ 的总个数变为 $t + (m - t - 1) = m - 1$

对于任何一个不合法序列，设其为 $A$ ，通过上述变换得到的序列设为 $A^{'}$ ， $A^{'}$ 是一个具有 $n + 1$ 个 $1$ 和 $m - 1$ 个 $0$ 的序列

对于 $A$ 序列，通过“找到 $0$ 比 $1$ 多的第一个位置，并把后方的数字取反”，得到了 $A^{'}$

显然将 $A^{'}$ 再次应用“找到 $0$ 比 $1$ 多的第一个位置，并把后方的数字取反”，可以原封不动的得到 $A$

换句话说， $A$ 与 $A^{'}$ 一一对应

那么我可以统计 $A^{'}$ 的数量来得到 $A$ 的数量

显然，任何一个具有 $n + 1$ 个 $1$ 和 $m - 1$ 个 $0$ 的序列都可以成为 $A^{'}$ ，数量是 $\binom{n+m}{n+1}$

所以答案就等于

$\binom{n+m}{n} - \binom{n+m}{n+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;
}
struct EasyMath
{
    ll prime[maxn], phi[maxn], mu[maxn];
    bool mark[maxn];
    ll fastpow(ll a, ll b, ll c)
    {
        ll t(a%c), ans(1ll);
        for(;b;b>>=1,t=t*t%c)if(b&1)ans=ans*t%c;
        return ans;
    }
    void shai(ll N)
    {
        ll i, j;
        for(i=2;i<=N;i++)mark[i]=false;
        *prime=0;
        phi[1]=mu[1]=1;
        for(i=2;i<=N;i++)
        {
            if(!mark[i])prime[++*prime]=i, mu[i]=-1, phi[i]=i-1;
            for(j=1;j<=*prime and i*prime[j]<=N;j++)
            {
                mark[i*prime[j]]=true;
                if(i%prime[j]==0)
                {
                    phi[i*prime[j]]=phi[i]*prime[j];
                    break;
                }
                mu[i*prime[j]]=-mu[i];
                phi[i*prime[j]]=phi[i]*(prime[j]-1);
            }
        }
    }
    ll inv(ll x, ll p)  //p是素数
    {return fastpow(x%p,p-2,p);}
}em;
#define mod 20100403ll
ll fact[maxn], _fact[maxn];
ll C(ll n, ll m)
{
    if(m>n or m<0)return 0;
    return fact[n]*_fact[m]%mod*_fact[n-m]%mod;
}
int main()
{
    ll n=read(), m=read(), i, d=m-n;
    fact[0]=_fact[0]=1;
    rep(i,2e6)fact[i]=fact[i-1]*i%mod, _fact[i]=em.inv(fact[i],mod);
    ll ans = ( C(n+m,n) - C(n+m,n+1) + mod ) %mod;
    cout<<ans;
    return 0;
}