【BZOJ4710】【JSOI2011】分特产（容斥原理）

Description

JYY 带队参加了若干场ACM/ICPC 比赛，带回了许多土特产，要分给实验室的同学们。
JYY 想知道，把这些特产分给N 个同学，一共有多少种不同的分法？当然，JYY 不希望任
何一个同学因为没有拿到特产而感到失落，所以每个同学都必须至少分得一个特产。
例如，JYY 带来了2 袋麻花和1 袋包子，分给A 和B 两位同学，那么共有4 种不同的
分配方法：
A：麻花，B：麻花、包子
A：麻花、麻花，B：包子
A：包子，B：麻花、麻花
A：麻花、包子，B：麻花

Solution

考虑容斥，枚举至少有多少同学没有分到特产即可。
答案是：

$$\sum_{i=0}^n \binom{n}{i}\left(-1\right)^{i} \prod_{j=1}^m \binom{n-i-1+a_j}{n-i-1}$$

Source

/************************************************
 * Au: Hany01
 * Date: [BZOJ4710][JSOI2011] 分特产
 * Prob: Mar 29th, 2018
 * Email: hany01@foxmail.com
************************************************/

#include<bits/stdc++.h>

using namespace std;

typedef long long LL;
typedef pair<int, int> PII;
#define File(a) freopen(a".in", "r", stdin), freopen(a".out", "w", stdout)
#define rep(i, j) for (register int i = 0, i##_end_ = (j); i < i##_end_; ++ i)
#define For(i, j, k) for (register int i = (j), i##_end_ = (k); i <= i##_end_; ++ i)
#define Fordown(i, j, k) for (register int i = (j), i##_end_ = (k); i >= i##_end_; -- i)
#define Set(a, b) memset(a, b, sizeof(a))
#define Cpy(a, b) memcpy(a, b, sizeof(a))
#define x first
#define y second
#define pb(a) push_back(a)
#define mp(a, b) make_pair(a, b)
#define ALL(a) (a).begin(), (a).end()
#define SZ(a) ((int)(a).size())
#define INF (0x3f3f3f3f)
#define INF1 (2139062143)
#define Mod (1000000007)
#define debug(...) fprintf(stderr, __VA_ARGS__)
#define y1 wozenmezhemecaia

template <typename T> inline bool chkmax(T &a, T b) { return a < b ? a = b, 1 : 0; }
template <typename T> inline bool chkmin(T &a, T b) { return b < a ? a = b, 1 : 0; }

inline int read()
{
    register int _, __; register char c_;
    for (_ = 0, __ = 1, c_ = getchar(); c_ < '0' || c_ > '9'; c_ = getchar()) if (c_ == '-') __ = -1;
    for ( ; c_ >= '0' && c_ <= '9'; c_ = getchar()) _ = (_ << 1) + (_ << 3) + (c_ ^ 48);
    return _ * __;
}

inline LL Pow(LL a, LL b)
{
    LL Ans = 1;
    for ( ; b; b >>= 1, (a *= a) %= Mod) if (b & 1) (Ans *= a) %= Mod;
    return Ans;
}

const int maxn = 1005;

int n, m, a[maxn], N;
LL fac[maxn << 1], ifac[maxn << 1], ans, Ans;

inline LL C(int n, int m) { return fac[n] * ifac[m] % Mod * ifac[n - m] % Mod; }

int main()
{
#ifdef hany01
    File("bzoj4710");
#endif

    n = read(), m = read();
    For(i, 1, m) chkmax(N, a[i] = read());

    N += n, fac[0] = 1;
    For(i, 1, N) (fac[i] = fac[i - 1] * i) %= Mod;
    ifac[N] = Pow(fac[N], Mod - 2);
    Fordown(i, N, 1) ifac[i - 1] = ifac[i] * (LL)i % Mod;

    For(i, 0, n) {
        LL ans = C(n, i);
        For(j, 1, m) {
            (ans *= C(n - i + a[j] - 1, n - i - 1)) %= Mod;
        }
        (Ans += ((i & 1) ? -1 : 1) * ans) %= Mod;
    }

    if (Ans < 0) Ans += Mod;
    printf("%lld\n", Ans);

    return 0;
}
//见面怜清瘦，呼儿问苦辛。
//    -- 蒋士铨《岁暮到家》