标签：return int res ll 容斥 AcWing214 Devu include mod

经典容斥原理，这其实是离散数学解不定方程或者高中组合数学的隔板法。

原问题可以转换为 x1+x2+x3+...xn=M+N;

又因为每个都有限制需要<=a[i]，因此我们可以反向考虑，总数-不合法数

而不合法数是所有>a[i]的合集，因此可以用容斥原理拆分，这里可以用二进制的表示方法表示取哪几个。

代码中还有其他细节：

请注意一定要防止爆int或者爆ll，随时取模+观察

#include<algorithm>
#include<iostream>
#include<cstdio>
#include<vector>
#include<cstring>
#include<string> 
#include<set>
#include<map>
#include<queue>
using namespace std;
typedef long long ll;
const int N=1e5+10;
const int mod=1e9+7;
ll n,m;
ll s[N];
int down=1;
int qmi(int a,int k){
    int res=1;
    while(k){
        if(k&1)
        res=(ll)res*a%mod;
        a=(ll)a*a%mod;
        k>>=1;
    }
    return res;
}
int C(ll a,ll b){
    if(a<b) //有可能存在减去数量很多的花导致要求的a小于b，那么这种情况是不存在的，所以返回0; 
    return 0;
    ll i;
    int up=1;
    for(i=a;i>a-b;i--){
        up=(i%mod*up%mod)%mod;
    }
    return (ll)up*down%mod;
}
int main(){
   cin>>n>>m;
   int i;
   for(i=0;i<n;i++)
   cin>>s[i];
   for(i=1;i<=n-1;i++)
   down=(ll)down*i%mod;
   down=qmi(down,mod-2);
   int res=0;
   for(i=0;i<1<<n;i++){
       ll a=m+n-1,b=n-1;
       int sign=1;
       for(int j=0;j<n;j++){
           if(i>>j&1){
               sign*=-1;
               a-=s[j]+1;//这+1是因为我们在求隔板的时候都要求至少有一个，而-s[j]会有取0的情况 
           }
       }
       res=(res+sign*C(a,b))%mod;
   }
   cout<<(res+mod)%mod<<endl;
}

标签：return,int,res,ll,容斥,AcWing214,Devu,include,mod
来源： https://www.cnblogs.com/ctyakwf/p/12368971.html

本站声明： 1. iCode9 技术分享网（下文简称本站）提供的所有内容，仅供技术学习、探讨和分享；
2. 关于本站的所有留言、评论、转载及引用，纯属内容发起人的个人观点，与本站观点和立场无关；
3. 关于本站的所有言论和文字，纯属内容发起人的个人观点，与本站观点和立场无关；
4. 本站文章均是网友提供，不完全保证技术分享内容的完整性、准确性、时效性、风险性和版权归属；如您发现该文章侵犯了您的权益，可联系我们第一时间进行删除；
5. 本站为非盈利性的个人网站，所有内容不会用来进行牟利，也不会利用任何形式的广告来间接获益，纯粹是为了广大技术爱好者提供技术内容和技术思想的分享性交流网站。