BZOJ3129 [Sdoi2013]方程 【扩展Lucas】
题目
给定方程
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】的更多相关文章
- BZOJ3129 SDOI2013方程(容斥原理+扩展lucas)
没有限制的话算一个组合数就好了.对于不小于某个数的限制可以直接减掉,而不大于某个数的限制很容易想到容斥,枚举哪些超过限制即可. 一般情况下n.m.p都是1e9级别的组合数没办法算.不过可以发现模数已经 ...
- bzoj3129[Sdoi2013]方程 exlucas+容斥原理
3129: [Sdoi2013]方程 Time Limit: 30 Sec Memory Limit: 256 MBSubmit: 582 Solved: 338[Submit][Status][ ...
- bzoj千题计划267:bzoj3129: [Sdoi2013]方程
http://www.lydsy.com/JudgeOnline/problem.php?id=3129 如果没有Ai的限制,就是隔板法,C(m-1,n-1) >=Ai 的限制:m减去Ai &l ...
- 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} ...
- BZOJ3129: [Sdoi2013]方程
拓展Lucas+容斥原理 #include<cstdio> #include<cstdlib> #include<algorithm> #include<cs ...
- 【BZOJ3129】[SDOI2013]方程(容斥,拓展卢卡斯定理)
[BZOJ3129][SDOI2013]方程(容斥,拓展卢卡斯定理) 题面 BZOJ 洛谷 题解 因为答案是正整数,所先给每个位置都放一个就行了,然后\(A\)都要减一. 大于的限制和没有的区别不大, ...
- 扩展CRT +扩展LUCAS
再次感谢zyf2000超强的讲解. 扩展CRT其实就是爆推式子,然后一路合并,只是最后一个式子上我有点小疑惑,但整体还算好理解. #include<iostream> #include&l ...
- 【learning】 扩展lucas定理
首先说下啥是lucas定理: $\binom n m \equiv \binom {n\%P} {m\%P} \times \binom{n/P}{m/P} \pmod P$ 借助这个定理,求$\bi ...
- 【科技】扩展Lucas随想
扩展Lucas解决的还是一个很Simple的问题: 求:$C_{n}^{m} \; mod \; p$. 其中$n,m$都会比较大,而$p$不是很大,而且不一定是质数. 扩展Lucas可以说和Luca ...
随机推荐
- VC-基础-WebBrowser控件中弹出新网页窗口
用webbrowser控件浏览网页时,常弹出新的网页窗口,若不做任何控制的话,会在默认浏览器(一般是IE)中打开,这样就在新的窗口打开了,原程序就很难控制了,且存在webbrowser控件和IE的se ...
- C#赋值运算符
一.C#赋值运算符 C#语言的赋值运算符用于将一个数据赋予一个变量.属性或者引用.数据可以是常量.变量或者表达式. 1. 简单赋值 “=”操作符被称为简单赋值操作符.在一个简单赋值中,右操作数必须为某 ...
- nodejs 爬虫
参考了各位大大的,然后自己写了个爬虫 用到的modules:utils.js --- moment module_url.js var http = require("http ...
- 两种简单的servlet实现反向代理
以下两种方法都需要引入jar包: <dependency> <groupId>org.mitre.dsmiley.httpproxy</groupId> <a ...
- wepy框架构建小程序(1)
wepy框架构建小程序(1) 基本操作: # 安装脚手架工具 npm install wepy-cli -g # 创建一个新的项目 npm init standard myproject # 进入新项 ...
- 第30题:LeetCode155. Min Stack最小栈
设计一个支持 push,pop,top 操作,并能在O(1)时间内检索到最小元素的栈. push(x) -- 将元素 x 推入栈中. pop() -- 删除栈顶的元素. top() -- 获取栈顶元素 ...
- 爬虫学习(六)——异常处理URLerrors异常处理
# 异常处理都在urllib.error中进行处理 import urllib.requestimport urllib.error # 第一种异常:该网址不存在url = "http:// ...
- git Bash 学习
,ranh新建一个本地仓库并与github连接的方法 注:该终端也具有按tab键补全功能,应该合理应用 1. 新建一个文件夹,并将git bash的位置转到相应文件夹下(cd 命令转移) 2.git ...
- nginx平滑升级的过程
1.开始之前首先查看当前的使用版本以及编译时的参数: [root@www ~]# /usr/local/nginx/sbin/nginx -V nginx version: nginx/1.12.2 ...
- python列表中的赋值与深浅拷贝
首先创建一个列表 a=[[1,2,3],4,5,6] 一.赋值 a=[[1,2,3],4,5,6]b=aa[0][1]='tom'print(a)print(b)结果: [[1, 'tom', 3], ...