【BZOJ4402】Claris的剑（组合数学）

传送门

---

题解：

我们认为两把剑本质不同，当且仅当存在至少一个宽度，在两把剑的宽度序列里面出现次数不一样。

这个定义和我们平时所熟知的本质不同的定义是有较大区别的，这道题中的本质不同需要通过$cnt$来比较。

我们考虑利用$cnt$数组来构造出字典序最小的符合条件的字符串。

很显然地，我们发现这个字符串只有两种可能的形式，设出现了的最大值为$m$，则这个字符串只可能长这样：

1. $1,2,1,2,3,2,3,2,3,4,3,4,5,\cdots ,m-1,m$
2. $1,2,1,2,3,2,3,2,3,4,3,4,5,\cdots ,m-1,m,m-1$

对于第二种情况，可以单独把$m-1$补上，我们发现，再把$1-m$全部提出来之后，序列中每出现一个$i(i<m)$，就需要一个$i+1$来把它拉回应该在的位置。

相当于有$m-1$个桶，假设有$t$个数字的值还没有确定，就是$\lfloor \frac{t}{2}\rfloor$个物品要放到$m-1$个有区别的桶里面，注意到序列长度可以小于$n$，我们再准备一个桶放丢到的东西，一共$m$个桶。

经典的球盒问题。

---

代码：

#include<bits/stdc++.h>
#define ll long long
#define re register
#define cs const

using std::cout;
using std::cerr;

cs int mod=1e9+7;
inline int add(int a,int b){return (a+=b)>=mod?a-mod:a;}
inline int dec(int a,int b){return (a-=b)<0?a+mod:a;}
inline int mul(int a,int b){ll r=(ll)a*b;return r>=mod?r%mod:r;}
inline int power(int a,int b,int res=1){
	for(;b;b>>=1,a=mul(a,a))(b&1)&&(res=mul(res,a));
	return res;
}
inline void Inc(int &a,int b){(a+=b)>=mod&&(a-=mod);}
inline void Dec(int &a,int b){(a-=b)<0&&(a+=mod);}

cs int P=2e6+6;
int fac[P],ifac[P];
inline int C(int n,int m){return mul(fac[n],mul(ifac[m],ifac[n-m]));}
inline int calc(int r,int n){
	return r<0?0:C(n+r-1,r);
}

int n,m,ans;
signed main(){
//	freopen("sword.in","r",stdin);
	scanf("%d%d",&n,&m);
	fac[0]=ifac[0]=1;for(int re i=1;i<=n;++i)fac[i]=mul(fac[i-1],i);
	ifac[n]=power(fac[n],mod-2);for(int re i=n-1;i;--i)ifac[i]=mul(ifac[i+1],i+1);
	ans=n&&m;
	for(int re i=2,lim=std::min(n,m);i<=lim;++i){
		Inc(ans,calc(n-i>>1,i));
		Inc(ans,calc(n-i-1>>1,i));
	}
	cout<<ans<<"\n";
	return 0;
}