CRT, lucas及其扩展形式
CRT, lucas及其扩展形式
exgcd
int exgcd(int a, int b, int &x, int &y) {
if (b == 0) return a, x = 1, y = 0;
int y = exgcd(b, a % b, x, y), t;
t = x, x = y, y = t - a / b * y;
}
证明:
gcd的过程中, 假设我们已经求出了\(b * x + (a~\%~b) * y = gcd(a, b)\)推导到\(a*x + b*y = gcd(a, b)\)的形式
a * y + b * (x - \frac ab * y) = \gcd(a, b)
\]
中国剩余定理(CRT)
问题: 求最小整数解x, 其中\(P_1,P_2\cdots P_n\)互素
x \equiv a_1 \mod P_1\\
x \equiv a_2 \mod P_2\\
\vdots \\
x \equiv a_n \mod P_n\\
\end{matrix}\right.
\]
设\(M = \Pi^n_{i=1} P_i~~~ M_i=\frac M{P_i}~~~M_i^{i-1}\)为\(modM_i\)意义下的逆元 那么
\]
扩展中国剩余定理(exCRT)
问题同中国剩余定理但各模数P不互质
假设已经求出前\(k-1\)个方程组成的同余方程组的一个解为\(x\), 且有 \(M=LCM_{i-1}^{k-1}P_i\), 则满足前k个方程的解为\(x + t * M\)
加入第k个方程得\(x + t * M = a_i \mod P_k\)
即 \(t*M=a_i-x \mod P_i\)
\(exgcd\)求解即可, 同时可以判是否有解
Lucas定理
解决的问题, P是质数且不大, 而n, m可以很大
\]
证明咕咕咕, 其实没啥用
\]
其实可以理解为转化为p进制下
ll C(int n,int m) {
if (m > n) return 0;
return jie[n] * fpw(jie[m], P-2) % P * fpw(jie[n-m], P-2) % P;
}
ll lau(ll x, ll y) {
if (!y) return 1;
return C(x % P, y % P) * lau(x / P, y / P) % P;
}
exLucas定理
这个比较有用, 不要求P是质数了
设\(P= \prod p_i^k\), 如果求出了\(\binom{n}{m}\bmod{p_i^{k_i}}\) 就可以利用CRT合并答案了
\]
把p都提取出来, 可以先计算上面有多少p, 下面有多少p
然后考虑其他的数, 即求\(K!\mod P\), 发现在模\(p^k\)的时候有循环节, 因为\(p^k+i \equiv p^k\)
所以对于与p互质的数直接暴力扫描一个\(p^k\)然后快速幂即可
对与不与p互质的数, 去除所有p后, 仍会有其他因子, 不妨递归解决子问题, 即先提取出一个p来, p的倍数为\(1p, 2p, 3p \cdots \frac npp\) ,都去掉一个p然后相乘等于\(\frac np!\) , 递归下去就好喽
#include<iostream>
#include<cstring>
#include<cmath>
#include<cstdio>
#define ll long long
using namespace std;
ll m, n, p;
ll exgcd(ll a, ll b, ll &x, ll &y) {
if (!b) return x = 1, y = 0, a;
ll gcd = exgcd(b, a % b, x, y), t;
t = x, x = y, y = t - a / b * y;
return gcd;
}
ll inline inv(ll n, ll mod) {
ll x, y; exgcd(n, mod, x, y);
return (x % mod + mod) % mod;
}
ll fpw(ll x, ll mi, ll mod) {
ll res = 1;
while (mi) {
if (mi & 1) res = res * x % mod;
mi >>= 1;
x = x * x % mod;
}
return res;
}
ll fac(ll n, ll pi, ll pk) {
if (!n) return 1;
ll res = 1;
for (ll i = 2;i <= pk; i++)
if (i % pi) res = res * i % pk;
res = fpw(res, n / pk, pk);
for (ll i = 2;i <= n % pk; i++)
if (i % pi) res = res * i % pk;
return res * fac(n / pi, pi, pk) % pk;
}
inline ll ptime(ll x, ll pi) {
ll res = 0;
for (;x ; x /= pi) res += x / pi;
return res;
}
ll C(ll n, ll m, ll pi, ll pk) {
ll up = fac(n, pi, pk), d1 = fac(m, pi, pk), d2 = fac(n - m, pi, pk);
ll k = ptime(n, pi) - ptime(n-m, pi) - ptime(m, pi);
return up * inv(d1, pk) % pk * inv(d2, pk) % pk * fpw(pi, k, pk) % pk;
}
ll CRT(ll b, ll mod) {
return b * inv(p / mod, mod) % p * (p / mod) % p;
}
inline ll exlucus(ll n, ll m) {
ll res = 0, tmp = p, pk;
ll lim = sqrt(p);
for (int i = 2;i <= lim; i++) {
if (tmp % i == 0) {
pk = 1;
while(tmp % i == 0) pk *= i, tmp /= i;
res = (res + CRT(C(n, m, i, pk), pk)) % p;
// cout << tt << endl;
}
}
if (tmp > 1) res = (res + CRT(C(n, m, tmp, tmp), tmp)) % p;
return res;
}
int main() {
cin >> n >> m >> p;
printf ("%lld\n", exlucus(n, m));
return 0;
}
CRT, lucas及其扩展形式的更多相关文章
- codeforces2015ICL,Finals,Div.1#J Ceizenpok’s formula 扩展Lucas定理 扩展CRT
默默敲了一个下午,终于过了, 题目传送门 扩展Lucas是什么,就是对于模数p,p不是质数,但是不大,如果是1e9这种大数,可能没办法, 对于1000000之内的数是可以轻松解决的. 题解传送门 代码 ...
- HDU 5446——Unknown Treasure——————【CRT+lucas+exgcd+快速乘+递推求逆元】
Each test case starts with three integers n,m,k(1≤m≤n≤1018,1≤k≤10) on a line where k is the number o ...
- luogu 2480 古代猪文 数论合集(CRT+Lucas+qpow+逆元)
一句话题意:G 的 sigma d|n C(n d) 次幂 mod 999911659 (我好辣鸡呀还是不会mathjax) 分析: 1.利用欧拉定理简化模运算 ,将上方幂设为x,则x=原式mod ...
- 扩展Lucas定理 扩展Lucas板子
题意概述:多组询问,给出N,K,M,要求回答C(N,K)%M,1<=N<=10^18,1<=K<=N,2<=M<=10^6 分析: 模数不为质数只能用扩展Lucas ...
- 欧几里得(辗转相除gcd)、扩欧(exgcd)、中国剩余定理(crt)、扩展中国剩余定理(excrt)简要介绍
1.欧几里得算法(辗转相除法) 直接上gcd和lcm代码. int gcd(int x,int y){ ?x:gcd(y,x%y); } int lcm(int x,int y){ return x* ...
- 中国剩余定理(crt)和扩展中国剩余定理(excrt)
数论守门员二号 =.= 中国剩余定理: 1.一次同余方程组: 一次同余方程组是指形如x≡ai(mod mi) (i=1,2,…,k)的同余方程构成的组 中国剩余定理的主要用途是解一次同余方程组,其中m ...
- [NOIP模拟测试7]visit 题解(组合数学+CRT+Lucas定理)
Orz 因为有T的限制,所以不难搞出来一个$O(T^3)$的暴力dp 但我没试 据说有30分? 正解的话显然是组合数学啦 首先$n,m$可能为负,但这并没有影响, 我们可以都把它搞成正的 即都看作向右 ...
- [xdoj1227]Godv的数列(crt+lucas)
解题关键:1001=7*11*13,模数非常小,直接暴力lucas.递归次数几乎为很小的常数.最后用中国剩余定理组合一下即可. 模数很小时,一定记住lucas定理的作用 http://acm.xidi ...
- HDU 5446 CRT+Lucas+快速乘
Unknown Treasure Problem Description On the way to the next secret treasure hiding place, the mathem ...
随机推荐
- 工具博客转载-ftrace
https://linux.cn/article-9273-1.html https://lwn.net/Articles/365835/ Documentation/trace/events.txt ...
- 这些表情包你有吗?来 Battle 啊
"能用表情包解决的问题,绝不多说一个字." "当不知道回复什么的时候,甩过去一个表情包就好了." 放眼望去,谁的 QQ/微信 收藏中没有几页代表性的表情包,那真 ...
- python之路《五》字符串的操作
python的里的字符串的操作是可以说是最常见也是最实用的 我们通常使用双引号来表示字符串" "创建字符串很简单,定义一个变量就可以了 1 name = 'my name \t i ...
- @AliasFor注解
@AliasFor注解 @AliasFor是一个注解,用于为注解属性声明别名. 代码如下:它有两个属性value和attribute @AliasFor注解注释了 自身,并且value和attribu ...
- echarts折线图,数据切换时(最近七天)绘图不合理现象
echarts折线图,当进行数据切换时存在绘制不合理的问题,数据没错,但绘制不对. 两个0之间的连线应该是平滑直线,如图: 正确的显示: 解决: 在myCharts.setOption(option) ...
- Python_算法汇总
1. 约瑟夫环: # 约瑟夫环:共31个数,每隔9个删除一个,要求输出前15个号码 a=[x for x in range(1,31)] #生成编号 del_number = 8 #该删除的编号 fo ...
- 早期javac编译器优化
学习<深入了解Java虚拟机>有一段时间了,大概理解了Java从源代码编译到执行出结果的过程,也能明确的知道Java是半解释性语言.在执行源代码时,先通过Javac编译器对源代码进行词法分 ...
- Go语言实现excel导入无限级菜单结构
目录 需求 实现 测试 简单例子 复杂例子 需求 最近有一个需求,要实现一个无限级结构的树型菜单,差不多长下面这个样子 我们知道无限级实现思路都是用一个parent_id将各种层级串联起来,顶级的pa ...
- 采集post传输的数据
采集数据,网页上的数据是开发者通过ajax的post方式显示的,就得用到curl以及它的跨域方法 代码: $post_data------post传过去的参数 $ch = curl_init(); $ ...
- Vue看板娘教程1.0
Live2D看板娘 前言(PS:本教程使用的Vue项目) 一.下载文件 二.使用步骤 1.引入文件 2.引入js 3.修改app.vue 4.如何换模型? 更换模型的效果 5.如何换语音? 结尾(后续 ...