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 ...
随机推荐
- linux nf_conntrack 连接跟踪机制
PRE_ROUTING和LOCAL_OUT点可以看作是整个netfilter的入口,而POST_ROUTING和LOCAL_IN可以看作是其出口; 报文到本地:PRE_ROUTING----LOCAL ...
- Sound Forge批量转换音频格式,实现高效编辑音频
Sound Forge的批量处理功能可以实现批量格式转换.批量添加效果等功能,让用户可以在处理其他音频编辑任务的同时,自动完成格式转换.效果添加等重复性任务.接下来,一起来看看如何借助批处理转换器实现 ...
- FL Studio进行侧链的三种方式(上)
在本系列教程中,我们将学习如何在FL Studio中进行侧链.侧链是一种信号处理技术,通过它我们可以使用一个信号波形的振幅(音量)来控制另一个信号的某些参数.在电子音乐中,例如trance,house ...
- Mac读写ntfs软件究竟哪一款适合我们?
生活中我们免不了会使用一些硬盘设备来存储文件或者是数据,然而绝大多数的移动硬盘都是ntfs格式.Mac读写ntfs软件有很多,究竟哪一款适合我们? 首先,我们一起了解一下什么是ntfs格式.ntfs, ...
- MGR(MySQL Group Replication)部署测试
1. 环境说明 192.168.11.131 mgr1 主节点 192.168.11.132 mgr2 从节点 192.168.11.133 mgr3 从节点 2. 在mgr1.mgr2.mgr3上安 ...
- Tarjan 算法总结
一些概念 连通:无向图中的任意两点都可以互相到达. 强连通:有向图中的任意两点都可以互相到达. 连通分量:无向图的极大连通子图. 强连通分量:有向图的极大强连通子图. DFS 生成树:对一张图(有向无 ...
- java数组作为函数返回值
1 //将一个二维数组行和列元素互换.存到另一个二维数组 2 package test; 3 4 public class test1_8 { 5 public static int[][] huhu ...
- kafka入门之broker-副本与ISR设计
kafka把分区的所有副本均匀地分配到所有broker上,并从这些副本中挑选一个作为leader副本对外提供服务,而其他副本被称为follower副本,只能被动地向leader副本请求数据,从而保持与 ...
- 测试中:ANR是什么
1.ANR 的定义 ANR(Application Not Responding),用户可以选择"等待"而让程序继续运行,也可以选择"强制关闭".所以一个流畅的 ...
- 不是程序员,代码也不能太丑!python官方书写规范:任何人都该了解的 pep8
不是程序员,代码也不能太丑!python官方书写规范:任何人都该了解的 pep8 简介:为什么要强调 书写规范 ?这其实并不关乎"美丑",而是为了 更高的效率(代码阅读.开发.维护 ...