//By SiriusRen
#include <cstdio>
using namespace std;
int n,m,a[1005];
typedef long long ll;
ll C[2005][2005],f[2005][2005],g[2005],mod=1000000007ll;
int main(){
scanf("%d%d",&n,&m);
for(int i=1;i<=m;i++)scanf("%d",&a[i]);
for(int i=1;i<=2000;i++){
C[i][0]=C[i][i]=1ll;
for(int j=1;j<i;j++)
C[i][j]=(C[i-1][j-1]+C[i-1][j])%mod;
}
for(int i=1;i<=n;i++)f[0][i]=1;
for(int i=1;i<=m;i++)
for(int j=1;j<=n;j++)
f[i][j]=f[i-1][j]*C[a[i]+j-1][j-1]%mod;
for(int i=1;i<=n;i++){
g[i]=f[m][i];
for(int j=1;j<i;j++)
g[i]=((g[i]-C[i][j]*g[j])%mod+mod)%mod;
}
printf("%lld\n",g[n]);
}
BZOJ 4710 容斥原理+dp
最新推荐文章于 2019-04-28 12:02:00 发布