链接
题解
所有的情况数是 ( n + m n ) \binom{n+m}{n} (nn+m)
下面分析不合法的数量怎么算:
对于一个不合法的序列,肯定存在一个最小的 k k k使得 0 0 0的个数比 1 1 1的个数恰好多 1 1 1, k k k必定是奇数,设 k = 2 t + 1 k=2t+1 k=2t+1,那么前 2 t + 1 2t+1 2t+1个数字中有 t + 1 t+1 t+1个 0 0 0和 t t t个 1 1 1
假设 d = m − n d=m-n d=m−n,也就是 0 0 0的总数比 1 1 1的总数多 d d d
从第 2 t + 2 2t+2 2t+2个数字到最后一个数字,这些数字中 0 0 0有 m − t − 1 m-t-1 m−t−1个, 1 1 1有 n − t n-t n−t个
我把从第 2 t + 2 2t+2 2t+2个到第最后一个数字都取反,即 0 0 0变成 1 1 1, 1 1 1变成 0 0 0,这个时候 0 0 0的总个数变为 t + 1 + ( n − t ) = n + 1 t+1+(n-t)=n+1 t+1+(n−t)=n+1, 1 1 1的总个数变为 t + ( m − t − 1 ) = m − 1 t+(m-t-1)=m-1 t+(m−t−1)=m−1
对于任何一个不合法序列,设其为 A A A,通过上述变换得到的序列设为 A ′ A' A′, A ′ A' A′是一个具有 n + 1 n+1 n+1个 1 1 1和 m − 1 m-1 m−1个 0 0 0的序列
对于 A A A序列,通过“找到 0 0 0比 1 1 1多的第一个位置,并把后方的数字取反”,得到了 A ′ A' A′
显然将 A ′ A' A′再次应用“找到 0 0 0比 1 1 1多的第一个位置,并把后方的数字取反”,可以原封不动的得到 A A A
换句话说, A A A与 A ′ A' A′一一对应
那么我可以统计 A ′ A' A′的数量来得到 A A A的数量
显然,任何一个具有 n + 1 n+1 n+1个 1 1 1和 m − 1 m-1 m−1个 0 0 0的序列都可以成为 A ′ A' A′,数量是 ( n + m n + 1 ) \binom{n+m}{n+1} (n+1n+m)
所以答案就等于
( n + m n ) − ( n + m n + 1 ) \binom{n+m}{n} - \binom{n+m}{n+1} (nn+m)−(n+1n+m)
代码
#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;
}