嘟嘟嘟
这题思路还是非常显然的，烦人的就是模数不是质数。
只考虑限制2，就是插板法，先强制让后面的未知数选那么多球。
加上了限制1，因为(n1 leqslant 8)，那直接(O(2 ^ 8))暴力容斥即可。
细节就在于解必须是正整数，即每一个盒子至少放一个球，那么对于限制2，我们要强制先选(a _ i - 1)个球，而不是(a_i)个；同理限制1，容斥的时候至少超出限制的数得选(a_i)个球，而不是(a_i + 1)个。
至此这道题已经全部搞完了。还剩下一个大问题：模数不是质数。
把模数质因数分解，发现最大的质因数也很小，因此要用扩展lucas。
推荐一个很好的教程博客：【知识总结】扩展卢卡斯定理（exLucas）。
不过这个博客的代码效率不是很高，这道题会TLE两个点。然后我找了另一种写法，就是在求(n! \% p ^ k)的时候，我们可以先预处理前缀积(f[i](i < p ^ k))，满足如果(i | p)，则(f[i] = f[i - 1])，否则(f[i] = f[i - 1] * i \% p ^ k)。
这样在递归的每一层，原先从1到(p ^ k)和从(1)到(n \% p ^ k)分别扫一遍计算就改成(O(1))的了，快的飞起。
#include<cstdio>
#include<iostream>
#include<cmath>
#include<algorithm>
#include<cstring>
#include<cstdlib>
#include<cctype>
#include<vector>
#include<stack>
#include<queue>
#include<assert.h>
using namespace std;
#define enter puts("")
#define space putchar(' ')
#define Mem(a, x) memset(a, x, sizeof(a))
#define In inline
typedef long long ll;
typedef double db;
const int INF = 0x3f3f3f3f;
const db eps = 1e-8;
const int maxn = 20;
In ll read()
{
ll ans = 0;
char ch = getchar(), last = ' ';
while(!isdigit(ch)) last = ch, ch = getchar();
while(isdigit(ch)) ans = (ans << 1) + (ans << 3) + ch - '0', ch = getchar();
if(last == '-') ans = -ans;
return ans;
}
In void write(ll x)
{
if(x < 0) x = -x, putchar('-');
if(x >= 10) write(x / 10);
putchar(x % 10 + '0');
}
In void MYFILE()
{
#ifndef mrclr
freopen("ha.in", "r", stdin);
freopen("ha.out", "w", stdout);
#endif
}
ll n, n1, n2, m, mod, a[maxn];
In ll inc(ll a, ll b, ll mod) {return a + b < mod ? a + b : a + b - mod;}
In ll quickpow(ll a, ll b, ll mod)
{
ll ret = 1;
for(; b; b >>= 1, a = a * a % mod)
if(b & 1) ret = ret * a % mod;
return ret;
}
In void exgcd(ll a, ll b, ll& x, ll& y)
{
if(!b) x = 1, y = 0;
else exgcd(b, a % b, y, x), y -= a / b * x;
}
In ll inv(int a, ll p)
{
ll x, y;
exgcd(a, p, x, y);
return (x % p + p) % p;
}
const int maxN = 1e6 + 5;
struct ExL
{
ll f[maxN];
In ll Fac(ll n, ll p, ll pk)
{
if(n < p) return f[n];
return quickpow(f[pk - 1], n / pk, pk) * f[n % pk] % pk * Fac(n / p, p, pk) % pk;
}
In ll C(ll n, ll m, ll p, ll pk)
{
if(m > n) return 0;
f[0] = 1;
for(int i = 1; i < pk; ++i)
if(i % p) f[i] = f[i - 1] * i % pk;
else f[i] = f[i - 1];
ll f1 = Fac(n, p, pk), f2 = Fac(m, p, pk), f3 = Fac(n - m, p, pk), cnt = 0;
for(ll i = n; i; i /= p) cnt += i / p;
for(ll i = m; i; i /= p) cnt -= i / p;
for(ll i = n - m; i; i /= p) cnt -= i / p;
return f1 * inv(f2, pk) % pk * inv(f3, pk) % pk * quickpow(p, cnt, pk) % pk;
}
ll a[maxN], c[maxN], d[maxN], cnt;
In ll CRT()
{
ll M = 1, ans = 0;
for(int i = 1; i <= cnt; ++i) M *= c[i];
for(int i = 1; i <= cnt; ++i)
ans = inc(ans, a[i] * (M / c[i]) % M * inv(M / c[i], c[i]) % M, M);
return ans;
}
In ll exlucas(ll n, ll m, ll p)
{
if(m > n) return 0;
for(int i = 1; i <= cnt; ++i) a[i] = C(n, m, d[i], c[i]);
return CRT();
}
In void init(ll mod)
{
if(mod == 10007)
{
cnt = 1;
d[1] = c[1] = 10007;
}
if(mod == 262203414)
{
cnt = 5;
d[1] = c[1] = 2, d[2] = c[2] = 3, d[3] = c[3] = 11;
d[4] = c[4] = 397, d[5] = c[5] = 10007;
}
if(mod == 437367875)
{
cnt = 3;
d[1] = 5, d[2] = 7, d[3] = 101;
c[1] = 125, c[2] = 343, c[3] = 10201;
}
}
}E;
int main()
{
MYFILE();
db Beg = clock();
int T = read(); mod = read();
E.init(mod);
while(T--)
{
n = read(), n1 = read(), n2 = read(), m = read();
for(int i = 1; i <= n1 + n2; ++i) a[i] = read();
ll ans = 0, sum2 = 0;
for(int i = n1 + 1; i <= n1 + n2; ++i) sum2 += a[i] - 1;
for(int S = 0; S < (1 << n1); ++S)
{
ll sum1 = 0, cnt = 0;
for(int i = 1; i <= n1; ++i)
if((S >> (i - 1)) & 1) sum1 += a[i], ++cnt;
ll tp = E.exlucas(m - 1 - sum1 - sum2, n - 1, mod);
ans = inc(ans, (cnt & 1) ? mod - tp : tp, mod);
}
write(ans), enter;
}
db End = clock();
//printf("%.3lf
", (End - Beg) / CLOCKS_PER_SEC);
return 0;
}