中国剩余定理

别人的blog

假设现在有关于x的同余方程组(p1,p2均为质数)

\(x=a_1\pmod {p_1}\)

\(x=a_2\pmod {p_2}\)

可以转化成如下形式

\(x=a_1+k_1p_1\)

\(x=a_2+k_2p_2\)

联立就有\(a_1+k_1p_1=a_2+k_2p_2\)

显然可以扩欧求一组特解,设为\(k_1',k_2'\)

那么全部的解可以表示成

\(k_1=k_1'+p_2t\)

\(k_2=k_2'+p_1t\)

其中t为整数

回带就有\(x=a_1+(k_1'+p_2t)p_1=a_1+p_1k_1'+p_1p_2t\)

设\(x_0=a_1+p_1k_1'\)就有\(x=x_0\pmod{p_1p_2}\)

那么如果有多组方程,我们就可以按照上面的方法合并方程,最后只剩一个

即\(x=x_0\pmod{p_1p_2...p_n}\)

例题1[TJOI2009]猜数字

例题2曹冲养猪

#define ll long long
#include<bits/stdc++.h>
using namespace std;
int n;
ll a[20],b[20];
void exgcd(ll a,ll b,ll&x,ll&y){
if(!b){x=1,y=0;return;}
exgcd(b,a%b,x,y);
ll t=x;x=y;y=t-a/b*y;
}
ll crt(){
ll A=a[1],B=b[1],x,y;
for(int i=2;i<=n;i++){
exgcd(A,a[i],x,y);
x*=((b[i]-B)%a[i]+a[i])%a[i];//不定方程ax+by=c两边同时加上b的倍数,x的结果不改变
B+=A*x;A*=a[i];B=(B%A+A)%A;//注意到x有可能为负,所以每次把B模一下A把负的转成正的
}
return B;
}
int main(){
cin>>n;
for(int i=1;i<=n;i++)
cin>>a[i]>>b[i];
cout<<crt()<<endl;
return 0;
}

扩展CRT

用于解决模数不互质的情况(这么多ex都是模数不互质...),

还是先考虑两个方程

\(x_1=a_1\pmod {m_1}\)

\(x_2=a_2\pmod {m_2}\)

联立得\(a_1+k_1m_1=a_2+k_2m_2\)

当\(gcd(m_1,m_2)\)不整除\((a_1-a_2)\)时是无解的

如果有解,那么可以改成\(\frac{a_1-a_2}{gcd(m_1,m_2)}=k_2\frac{m_2}{gcd(m_1,m_2)}-k_1\frac{m_1}{gcd(m_1,m_2)}\)

继续exgcd求解,按照CRT的推法,最终能得到\(x=x_0\pmod{lcm(m_1,m_2,...,m_n)}\)

[模板]扩展中国剩余定理

#define ll long long
#include<bits/stdc++.h>
using namespace std;
const int N=1e5+5;
ll re(){
ll x=0,w=1;char ch=getchar();
while(ch<'0'||ch>'9'){if(ch=='-')w=-1;ch=getchar();}
while(ch>='0'&&ch<='9')x=x*10+ch-'0',ch=getchar();
return x*w;
}
int n;
ll a[N],m[N];
ll exgcd(ll a,ll b,ll&x,ll&y){
if(!b){x=1,y=0;return a;}
ll g=exgcd(b,a%b,x,y);
ll t=x;x=y;y=t-a/b*y;
return g;
}
ll ksc(ll x,ll y,ll p){
ll s=0;
while(y){
if(y&1)s=(s+x)%p;
x=(x+x)%p;
y>>=1;
}
return s;
}
ll excrt(){
ll M=m[1],A=a[1],d,a1,b1,g,x,y;
for(int i=2;i<=n;i++){
a1=M,b1=m[i],d=((a[i]-A)%b1+b1)%b1;
g=exgcd(a1,b1,x,y);
x=ksc(x,d/g,b1);A+=x*M;M=M*(b1/g);
A=(A%M+M)%M;
}
return (A%M+M)%M;
}
int main(){
n=re();
for(int i=1;i<=n;i++)
m[i]=re(),a[i]=re();
printf("%lld\n",excrt());
return 0;
}

[note]CRT&exCRT的更多相关文章

  1. [笔记] CRT & exCRT

    [笔记] CRT & exCRT 构造法 求多组\(x \equiv r_i (\bmod d_i)\)的解,\(d_i\)互质 余数\((r_i = remainder)\),除数\((d_ ...

  2. CRT&EXCRT 中国剩余定理及其扩展

    前言: 中国剩余定理又名孙子定理.因孙子二字歧义,常以段子形式广泛流传. 中国剩余定理并不是很好理解,我也理解了很多次. CRT 中国剩余定理 中国剩余定理,就是一个解同余方程组的算法. 求满足n个条 ...

  3. CRT && exCRT模板

    CRT从各种方面上都吊打exCRT啊...... 短,好理解... 考虑构造bi使得bi % pi = ai,bi % pj = 0.然后全加起来就行了. 显然bi的构造就是ai * (P/pi) * ...

  4. crt,excrt学习总结

    \(crt,Chinese\ Remainder\ Theorem\) 概述 前置技能:同余基础性质,\(exgcd\). \(crt\),中国剩余定理.用于解决模数互质的线性同余方程组.大概长这样: ...

  5. CRT & EXCRT 学习笔记

    这玩意解决的是把同余方程组合并的问题. CRT的核心思想和拉格朗日插值差不多,就是构造一组\(R_i\)使得$\forall i,j(i \neq j) $ \[R_im_i = 1, R_im_j ...

  6. CRT&EXCRT学习笔记

    非扩展 用于求解线性同余方程组 ,其中模数两两互质 . 先来看一看两个显然的定理: 1.若 x \(\equiv\) 0 (mod p) 且 y \(\equiv\) 0 (mod p) ,则有 x+ ...

  7. BZOJ 3782: 上学路 Lucas+ExCRT+容斥+dp

    其实呢,扩展中国剩余定理还有一种理解方式:就是你有一坨东西,形如:$A[i]\equiv B[i](mod$ $P[i])$. 对于这个东西,你可以这么思考:如果最后能求出一个解,那么这个解的增量一定 ...

  8. BZOJ 1951: [Sdoi2010]古代猪文 ExCRT+欧拉定理+Lucas

    欧拉定理不要忘记!! #include <bits/stdc++.h> #define N 100000 #define ll long long #define ull unsigned ...

  9. NOIp2018停课刷题记录

    Preface 老叶说了高中停课但是初中不停的消息后我就为争取民主献出一份力量 其实就是和老师申请了下让我们HW的三个人听课结果真停了 那么还是珍惜这次机会好好提升下自己吧不然就\(AFO\)了 Li ...

随机推荐

  1. 2017.6.30 IDEA插件--gsonfomat的安装与使用

    参考来自:http://www.cnblogs.com/1024zy/p/6370305.html 1.安装 2.使用 (1)新建一个空类 (2)在空类里按快捷键:alt+s,打开gsonformat ...

  2. 配置 FIS 来适配 go revel 框架以优化前端缓存策略

    对于前端工程师来说,浏览器缓存优化是个永远的话题.前几天看了知乎上的一个问答:<大公司里怎样开发和部署前端代码?>,深以为然,所以决心使用 FIS 来优化自身的前端文件. 我们的项目使用了 ...

  3. javascript 回车实现 tab 切换功能完美解决

    最经有一个项目是给化工厂做的在使用的过程中需要输入大量的数据,使用的都是小键盘区,在以前都是通过excel录入数据的现在, 在网页上需要实现excel 那样的回车换行的功能在网上找了有关这方面的问题但 ...

  4. hdu 4630 No Pain No Game(线段树+离线操作)

    No Pain No Game Time Limit: 4000/2000 MS (Java/Others)    Memory Limit: 65536/32768 K (Java/Others) ...

  5. 文件压缩和解压 FileStream GZipStream

    using (FileStream reader=new FileStream (@"c:\1.txt",FileMode.Open,FileAccess.Read)) { usi ...

  6. vuex mapActions

    在组件中使用 this.$store.dispatch('xxx') 分发 action,或者使用 mapActions 辅助函数将组件的 methods 映射为 store.dispatch 调用( ...

  7. 实战Jquery(一)--username校验

    歇息了好几天,最终又開始学习了.jQuery? JQuery is designed to change the way that you write JavaScript. The focus of ...

  8. 偶遇 smon 进程cpu 开销高异常分析

    今天突然发现线上一台oracle 数据库 servercpu 跑的非常高.感觉不是非常正常,细致看了下.发现是smon 进程吃掉了一个cpu. 那么这个smon 进程究竟在倒腾啥玩意 对smon 进程 ...

  9. 奥巴马(Obama)获胜演讲全文[中英对照]+高清视频下载

    http://www.amznz.com/obama-speech/如果还有人对美国是否凡事都有可能存疑,还有人怀疑美国奠基者的梦想在我们所处的时代是否依然鲜活,还有人质疑我们的民主制度的力量,那么今 ...

  10. 隐藏ion-nav-back-button的文字

    <ion-nav-bar class="bar-positive"> <ion-nav-back-button> </ion-nav-back-but ...