题目

给定方程

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的余数。

输入格式

  1. 输入含有多组数据,第一行两个正整数TpT表示这个测试点内的数据组数,p的含义见题目描述。
  2. 对于每组数据,第一行四个非负整数nn1n2m
  3. 第二行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在计算前预处理一下阶乘会快很多

  1. #include<iostream>
  2. #include<cstdio>
  3. #include<cmath>
  4. #include<cstring>
  5. #include<algorithm>
  6. #define LL long long int
  7. #define Redge(u) for (int k = h[u],to; k; k = ed[k].nxt)
  8. #define REP(i,n) for (int i = 1; i <= (n); i++)
  9. #define BUG(s,n) for (int i = 1; i <= (n); i++) cout<<s[i]<<' '; puts("");
  10. #define res register
  11. using namespace std;
  12. const int maxn = 11000,maxm = 100005,INF = 1000000000;
  13. inline int read(){
  14. int out = 0,flag = 1; char c = getchar();
  15. while (c < 48 || c > 57){if (c == '-') flag = -1; c = getchar();}
  16. while (c >= 48 && c <= 57){out = (out << 3) + (out << 1) + c - 48; c = getchar();}
  17. return out * flag;
  18. }
  19. int md,A[11];
  20. int pi[11],pk[11],cnt,fac[maxn];
  21. void pre(int pi,int pk){
  22. fac[0] = 1;
  23. for (int i = 1; i <= pk; i++)
  24. if (i % pi) fac[i] = 1ll * fac[i - 1] * i % pk;
  25. else fac[i] = fac[i - 1];
  26. }
  27. void init(){
  28. int x = md;
  29. for (res int i = 2; i * i <= x; i++)
  30. if (x % i == 0){
  31. ++cnt; pi[cnt] = i; pk[cnt] = 1;
  32. while (x % i == 0) pk[cnt] *= i,x /= i;
  33. }
  34. if (x - 1) ++cnt,pi[cnt] = pk[cnt] = x;
  35. }
  36. inline int qpow(int a,int b,int md){
  37. int ans = 1;
  38. for (; b; b >>= 1,a = 1ll * a * a % md)
  39. if (b & 1) ans = 1ll * ans * a % md;
  40. return ans % md;
  41. }
  42. void exgcd(LL a,LL b,LL& d,LL& x,LL &y){
  43. if (!b) {x = 1; y = 0; d = a;}
  44. else exgcd(b,a % b,d,y,x),y -= a / b * x;
  45. }
  46. inline LL inv(LL a,LL P){
  47. if (!a) return 0;
  48. LL d,x,y; exgcd(a,P,d,x,y);
  49. x = (x % P + P) % P; if (!x) x += P;
  50. return x;
  51. }
  52. inline LL Fac(LL n,LL pi,LL pk){
  53. if (!n) return 1;
  54. int ans = qpow(fac[pk],n / pk,pk);
  55. return 1ll * ans * fac[n % pk] % pk * Fac(n / pi,pi,pk) % pk;
  56. }
  57. inline int C(int n,int m,int pi,int pk){
  58. if (m > n) return 0;
  59. int a = Fac(n,pi,pk),b = Fac(m,pi,pk),c = Fac(n - m,pi,pk),ans,k = 0;
  60. for (res int i = n; i; i /= pi) k += i / pi;
  61. for (res int i = m; i; i /= pi) k -= i / pi;
  62. for (res int i = n - m; i; i /= pi) k -= i / pi;
  63. ans = 1ll * a * inv(b,pk) % pk * inv(c,pk) % pk * qpow(pi,k,pk) % pk;
  64. return 1ll * ans * (md / pk) % md * inv(md / pk,pk) % md;
  65. }
  66. inline int exlucas(int n,int m){
  67. if (m > n) return 0;
  68. int ans = 0;
  69. for (res int i = 1; i <= cnt; i++)
  70. pre(pi[i],pk[i]),ans = (ans + C(n,m,pi[i],pk[i])) % md;
  71. return ans;
  72. }
  73. void solve(){
  74. int N = read(),n1 = read(),n2 = read(),M = read();
  75. M -= N;
  76. for (res int i = 1; i <= n1; i++) A[i] = read();
  77. for (res int i = 1; i <= n2; i++) M -= read() - 1;
  78. int maxv = (1 << n1) - 1;
  79. int re = 0;
  80. for (res int s = 0; s <= maxv; s++){
  81. int m = M,pos = 1;
  82. for (res int i = 1,t = s; i <= n1; i++, t >>= 1)
  83. if (t & 1) m -= A[i],pos = -pos;
  84. if (m + N - 1 < 0) continue;
  85. re = (re + 1ll * pos * exlucas(m + N - 1,N - 1) % md) % md;
  86. }
  87. re = (re % md + md) % md;
  88. printf("%d\n",re);
  89. }
  90. int main(){
  91. int T = read(); md = read();
  92. init();
  93. while (T--) solve();
  94. return 0;
  95. }

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. TypeScript task

    Ctrl+Shift+B 生成 js 文件.

  2. 浏览器 DNS缓存与DNS prefetch (DNS预解析)

    浏览器 DNS缓存 浏览器DNS缓存的时间跟DNS服务器返回的TTL值无关. 注:TTL(Time-To-Live),就是一条域名解析记录在DNS服务器中的存留时间. 浏览器在获取网站域名的实际IP地 ...

  3. SyntaxHighlighter使用方法

    原名:SyntaxHighlighter,是一款用于web页面的代码着色工具,可以用来着色多种语言,可以是HTML,CSS,Javascript,还可以是C,JAVA等编程语言.最早见于Yahoo的Y ...

  4. 换了台电脑tomcat自己运行没问题,eclipse中配置tomcat开启了浏览器却404错误解决

    如果发现下图中 apache tomcat 的Overview 视图中发现 Server Locations 灰色显示 那么首先需要配置好TomCat的TOMCAT_HOME 和 CATALINA_H ...

  5. let和const在es6中的异同点

    let和const这两个都是声明一个变量或函数的方法与var差不太多的效果 let的声明在for循环中,当你定义的是多少,最后你的值就是多少开始的,它只进行一次循环,不会像var那样去一遍一遍的去遍历 ...

  6. Python_循环判断表达式

    一.if判断 计算机之所以能做很多自动化的任务,因为它可以自己做条件判断. if判断结构: if 条件: 动作 elif 条件: 动作 else: 动作 if判断年龄: age_of_princal ...

  7. Nginx配置根据客户端设备转发

    #user nobody; worker_processes ; #error_log logs/error.log; #error_log logs/error.log notice; #error ...

  8. 使用natapp本地映射外网服务

    官网:https://natapp.cn/ 软件很好用,这对于前端工程师来说,有了这个工具就很爽了,当你的领导或者不在你公司内网范围内的人,想要看你的页面效果,就很简单了. 详细的不用更多介绍,直接去 ...

  9. POJ 3320 尺取法(基础题)

    Jessica's Reading Problem Description Jessica's a very lovely girl wooed by lots of boys. Recently s ...

  10. 线性回归 python小样例

    线性回归优点:结果易于理解,计算上不复杂缺点:对非线性的数据拟合不好适用数据类型:数值型和标称型数据horse=0.0015*annualSalary-0.99*hoursListeningToPul ...