容斥原理解一般不定方程——cf451E经典题

/*
给定n个盒子，第i个盒子有ai朵花，现在从中选取m朵花，问选取方案数
用容斥定理解决 m=x1+x2+..+xn
C(m+n-1,n-1)+sum{ (-1)^p * C(m+n-1-(1+n1)-(1+np),n-1) }
   
*/
#include<bits/stdc++.h>
using namespace std;
#define ll long long
#define mod 1000000007
ll ans,n,s,A[],inv[];

ll Pow(ll a,ll b){
    ll res=;
    while(b){
        if(b%)
            res=res*a%mod;
        b>>=;a=a*a%mod;
    }
    return res;
}
ll C(ll y,ll x){
    if(y<||x<||y<x)return ;
    y%=mod;
    if(y==|| x==)return ;
    ll ans=;
    for(ll i=;i<x;i++)
        ans=(ll)ans*(y-i)%mod;
    for(ll i=;i<=x;i++)
        ans=ans*inv[i]%mod;
    return ans;
}

int main(){
    cin>>n>>s;
    for(ll i=;i<=;i++)
        inv[i]=Pow(i,mod-);

    for(int i=;i<n;i++)cin>>A[i];

    for(ll i=;i<(<<n);i++){
        ll a=n-,b=s+n-,tmp=;
        if(i==){
            ans=(ans+C(b,a))%mod;
            continue;
        }
        for(int j=;j<n;j++)
            if(i & ((ll)<<j)){
                tmp++;
                b-=A[j]+;
            }
        if(tmp%){//减法
            ans=(ans-C(b,a))%mod;
            ans=(ans+mod)%mod;
        }
        else {
            ans=(ans+C(b,a))%mod;
        }
    }
    cout<<ans<<'\n';
}