题目

给定方程

X1+X2+. +Xn=M

我们对第l..N1个变量进行一些限制:

Xl < = A

X2 < = A2

Xn1 < = An1

我们对第n1 + 1..n1+n2个变量进行一些限制:

Xn1+l > = An1+1

Xn1+2 > = An1+2

Xnl+n2 > = Anl+n2

求:在满足这些限制的前提下,该方程正整数解的个数。

答案可能很大,请输出对p取模后的答案,也即答案除以p的余数。

输入格式

输入含有多组数据,第一行两个正整数T,p。T表示这个测试点内的数据组数,p的含义见题目描述。
对于每组数据,第一行四个非负整数n,n1,n2,m。
第二行nl+n2个正整数,表示A1..n1+n2。请注意,如果n1+n2等于0,那么这一行会成为一个空行。

输出格式

共T行,每行一个正整数表示取模后的答案。

输入样例

3 10007

3 1 1 6

3 3

3 0 0 5

3 1 1 3

3 3

输出样例

3

6

0

【样例说明】

对于第一组数据,三组解为(1,3,2),(1,4,1),(2,3,1)

对于第二组数据,六组解为(1,1,3),(1,2,2),(1,3,1),(2,1,2),(2,2,1),(3,1,1)

提示

n < = 10^9 , n1 < = 8 , n2 < = 8 , m < = 10^9 ,p<=437367875

对于l00%的测试数据: T < = 5,1 < = A1..n1_n2 < = m,n1+n2 < = n

题解

组合数经典套路:

对于下限的限制,我们预先分配那么多的数,就去掉了这个下限

对于上限的限制,我们容斥一下哪些数超过了限制,就去掉了上限

被卡常卡哭了,,

膜了一下别人的代码才发现扩展Lucas在计算前预处理一下阶乘会快很多

#include<iostream>
#include<cstdio>
#include<cmath>
#include<cstring>
#include<algorithm>
#define LL long long int
#define Redge(u) for (int k = h[u],to; k; k = ed[k].nxt)
#define REP(i,n) for (int i = 1; i <= (n); i++)
#define BUG(s,n) for (int i = 1; i <= (n); i++) cout<<s[i]<<' '; puts("");
#define res register
using namespace std;
const int maxn = 11000,maxm = 100005,INF = 1000000000;
inline int read(){
int out = 0,flag = 1; char c = getchar();
while (c < 48 || c > 57){if (c == '-') flag = -1; c = getchar();}
while (c >= 48 && c <= 57){out = (out << 3) + (out << 1) + c - 48; c = getchar();}
return out * flag;
}
int md,A[11];
int pi[11],pk[11],cnt,fac[maxn];
void pre(int pi,int pk){
fac[0] = 1;
for (int i = 1; i <= pk; i++)
if (i % pi) fac[i] = 1ll * fac[i - 1] * i % pk;
else fac[i] = fac[i - 1];
}
void init(){
int x = md;
for (res int i = 2; i * i <= x; i++)
if (x % i == 0){
++cnt; pi[cnt] = i; pk[cnt] = 1;
while (x % i == 0) pk[cnt] *= i,x /= i;
}
if (x - 1) ++cnt,pi[cnt] = pk[cnt] = x;
}
inline int qpow(int a,int b,int md){
int ans = 1;
for (; b; b >>= 1,a = 1ll * a * a % md)
if (b & 1) ans = 1ll * ans * a % md;
return ans % md;
}
void exgcd(LL a,LL b,LL& d,LL& x,LL &y){
if (!b) {x = 1; y = 0; d = a;}
else exgcd(b,a % b,d,y,x),y -= a / b * x;
}
inline LL inv(LL a,LL P){
if (!a) return 0;
LL d,x,y; exgcd(a,P,d,x,y);
x = (x % P + P) % P; if (!x) x += P;
return x;
}
inline LL Fac(LL n,LL pi,LL pk){
if (!n) return 1;
int ans = qpow(fac[pk],n / pk,pk);
return 1ll * ans * fac[n % pk] % pk * Fac(n / pi,pi,pk) % pk;
}
inline int C(int n,int m,int pi,int pk){
if (m > n) return 0;
int a = Fac(n,pi,pk),b = Fac(m,pi,pk),c = Fac(n - m,pi,pk),ans,k = 0;
for (res int i = n; i; i /= pi) k += i / pi;
for (res int i = m; i; i /= pi) k -= i / pi;
for (res int i = n - m; i; i /= pi) k -= i / pi;
ans = 1ll * a * inv(b,pk) % pk * inv(c,pk) % pk * qpow(pi,k,pk) % pk;
return 1ll * ans * (md / pk) % md * inv(md / pk,pk) % md;
}
inline int exlucas(int n,int m){
if (m > n) return 0;
int ans = 0;
for (res int i = 1; i <= cnt; i++)
pre(pi[i],pk[i]),ans = (ans + C(n,m,pi[i],pk[i])) % md;
return ans;
}
void solve(){
int N = read(),n1 = read(),n2 = read(),M = read();
M -= N;
for (res int i = 1; i <= n1; i++) A[i] = read();
for (res int i = 1; i <= n2; i++) M -= read() - 1;
int maxv = (1 << n1) - 1;
int re = 0;
for (res int s = 0; s <= maxv; s++){
int m = M,pos = 1;
for (res int i = 1,t = s; i <= n1; i++, t >>= 1)
if (t & 1) m -= A[i],pos = -pos;
if (m + N - 1 < 0) continue;
re = (re + 1ll * pos * exlucas(m + N - 1,N - 1) % md) % md;
}
re = (re % md + md) % md;
printf("%d\n",re);
}
int main(){
int T = read(); md = read();
init();
while (T--) solve();
return 0;
}

BZOJ3129 [Sdoi2013]方程 【扩展Lucas】的更多相关文章

  1. BZOJ3129 SDOI2013方程(容斥原理+扩展lucas)

    没有限制的话算一个组合数就好了.对于不小于某个数的限制可以直接减掉,而不大于某个数的限制很容易想到容斥,枚举哪些超过限制即可. 一般情况下n.m.p都是1e9级别的组合数没办法算.不过可以发现模数已经 ...

  2. bzoj3129[Sdoi2013]方程 exlucas+容斥原理

    3129: [Sdoi2013]方程 Time Limit: 30 Sec  Memory Limit: 256 MBSubmit: 582  Solved: 338[Submit][Status][ ...

  3. bzoj千题计划267:bzoj3129: [Sdoi2013]方程

    http://www.lydsy.com/JudgeOnline/problem.php?id=3129 如果没有Ai的限制,就是隔板法,C(m-1,n-1) >=Ai 的限制:m减去Ai &l ...

  4. BZOJ 3129 [SDOI2013]方程 (拓展Lucas)

    题目大意:给定一个方程$X_{1}+X_{2}+X_{3}+X_{4}+...+X_{n}=M$,$\forall X_{i}<=A_{i} (i<=n1)$ $\forall X_{i} ...

  5. BZOJ3129: [Sdoi2013]方程

    拓展Lucas+容斥原理 #include<cstdio> #include<cstdlib> #include<algorithm> #include<cs ...

  6. 【BZOJ3129】[SDOI2013]方程(容斥,拓展卢卡斯定理)

    [BZOJ3129][SDOI2013]方程(容斥,拓展卢卡斯定理) 题面 BZOJ 洛谷 题解 因为答案是正整数,所先给每个位置都放一个就行了,然后\(A\)都要减一. 大于的限制和没有的区别不大, ...

  7. 扩展CRT +扩展LUCAS

    再次感谢zyf2000超强的讲解. 扩展CRT其实就是爆推式子,然后一路合并,只是最后一个式子上我有点小疑惑,但整体还算好理解. #include<iostream> #include&l ...

  8. 【learning】 扩展lucas定理

    首先说下啥是lucas定理: $\binom n m \equiv \binom {n\%P} {m\%P} \times \binom{n/P}{m/P} \pmod P$ 借助这个定理,求$\bi ...

  9. 【科技】扩展Lucas随想

    扩展Lucas解决的还是一个很Simple的问题: 求:$C_{n}^{m} \; mod \; p$. 其中$n,m$都会比较大,而$p$不是很大,而且不一定是质数. 扩展Lucas可以说和Luca ...

随机推荐

  1. Oracle小技巧_不同表空间不同用户导入导出数据dmp

    [博主注:数据库方面 ITPUB网站及博客内容非常丰富]   转载来源ITPUB 博客 经常有人会问:原来的数据在USERS表空间里面,我想把它IMP进APP表空间,我已经修改了目的用户的默认表空间, ...

  2. Vue源码学习二 ———— Vue原型对象包装

    Vue原型对象的包装 在Vue官网直接通过 script 标签导入的 Vue包是 umd模块的形式.在使用前都通过 new Vue({}).记录一下 Vue构造函数的包装. 在 src/core/in ...

  3. 20180909 解析JS Cookie的设置,获取和检索

    引用: JavaScript Cookie - by runoob.com Cookie是储存在电脑文本文件中的数据,用于保存访问者的信息,并可以在下次打开页面时引用. 页面在设置/引用访问者信息时, ...

  4. Uva 组装电脑 12124 - Assemble

    主要运用二分法查找最优解 #include<iostream> #include<string> #include<vector> #include<map& ...

  5. Mysql--数据操作语言(DML)

    定义:数据操作语言主要实现对数据库表中的数据进行操作,主要包括插入(insert).更新(update).删除(delete).查询(select),本节主要介绍增删改. 数据准备: 一.数据的插入( ...

  6. 【Ecshop】v2.7.3模板变量标签改进

    改进代码后虽可解决大多数函数参数的问题,但也同样产生了参数问题:ecshop模板函数参数有部分没有被引号包裹,所以正则并不能匹配到,要修改为引号包裹,那是个大工程. 为了使ecshop模板支持date ...

  7. 【CodeBase】通过层级键在多维数组中获取目标值

    通过层级键在多维数组中获取目标值 /* *Author : @YunGaZeon *Date : 2017.08.09 *param data : Data Array *param keys : K ...

  8. hprose 1.0(rpc 框架) - 执行时序图

  9. Python装饰器使用规范案例详解

    由于函数也是一个对象,而且函数对象可以被赋值给变量,所以,通过变量也能调用该函数. >>> def now(): ... print('2015-3-25') ... >> ...

  10. debug模式开启会做哪些事(源码分析)

    以往开发中不管是django框架下开发还是其它框架下开发, 只知道在开发阶段要开启debug模式, 却一直没有深究它会我们做哪些事, 今天使用tornado时偶然看到源码中写的很清楚,故写下来加深印象 ...