正解:容斥+$Lucas$+组合数学
解题报告:
和上一篇题解的题差不多,,,双倍经验趴大概算
还是说下还是有点儿区别的来着$QwQ$
两个小差别分别港下$QwQ$
首先有$m-n$件是无穷个的,,,$so$在ans的求值的时候本来是$\binom{n-1}{n+s-1}$来着,显然就要变成$\binom{m-1}{m+s-1}$
啊对了说下,因为这题代码我是直接由上题的代码魔改来的,,,$so$命名和题目不太一样,,,我这儿的按读入顺序排是,$m,n,s,mod$
然后还一个是说只用选不超过$s$件,这个可以理解为另外添了一个物品,有无数个,这样就可以当做是$s$件来做辣,少的就当全用这个新增的填上了就欧克了
还有一个小细节,,,因为和解法没什么关系只是优化复杂度的,,,就这题里的mod范围是<=1e5,$so$可以预处理一下组合数,否则就会获得$TLE$的好成绩,,,(为什么上一题不用预处理呢,一个是上一题的mod是1e9开不下,另一个是上一题是和$n$有关,$n$的范围在20以内就很欧克$QwQ$,这题里是和$m$有关就不太欧克了$QAQ$
$over!$
#include<bits/stdc++.h>
using namespace std;
#define il inline
#define gc getchar()
#define t(i) edge[i].to
#define int long long
#define ri register int
#define rb register bool
#define rc register char
#define rp(i,x,y) for(ri i=x;i<=y;++i)
#define my(i,x,y) for(ri i=x;i>=y;--i)
#define e(i,x) for(ri i=head[x];i;i=edge[i].nxt) const int N=+,M=1e5+;
int tot,poww[N]={},m,n,s,mod,f[N],as,jc[M],inv[M]; il int read()
{
rc ch=gc;ri x=;rb y=;
while(ch!='-' && (ch>'' || ch<''))ch=gc;
if(ch=='-')ch=gc,y=;
while(ch>='' && ch<='')x=(x<<)+(x<<)+(ch^''),ch=gc;
return y?x:-x;
}
il int power(ri x,ri y){ri ret=;while(y){if(y&)ret=1ll*ret*x%mod;x=1ll*x*x%mod;y>>=;}return ret;}
il void pre(ri x)
{
jc[]=;rp(i,,x)jc[i]=1ll*jc[i-]*i%mod;
inv[x]=power(jc[x],mod-);my(i,x-,)inv[i]=1ll*inv[i+]*(i+)%mod;
}
il int C(ri x,ri y){if(x< || y< || x<y)return ;return 1ll*jc[x]*inv[y]%mod*inv[x-y]%mod;}
int lucas(ri x,ri y){if(!x && !y)return ;return 1ll*C(x%mod,y%mod)*lucas(x/mod,y/mod)%mod;}
il void cal(ri zt)
{
ri del=,cnt=s;
rp(i,,n-)if(zt&(poww[i])){del=-del,cnt-=f[i+]+;if(cnt<)return;}
as=(as+1ll*lucas(cnt+m-,m-)*del%mod+mod)%mod;
} signed main()
{
// freopen("4640.in","r",stdin);freopen("4640.out","w",stdout);
m=read()+;n=read();s=read();mod=read();rp(i,,n)poww[i]=poww[i-]<<,f[i]=read();pre(mod-);
rp(i,,poww[n]-)cal(i);printf("%lld\n",as);
return ;
}
这儿是代码鸭!