中国剩余定理

别人的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. 转: 苹果APNS的说明

    转: http://toutiao.com/a6276578687162040578/?tt_from=weixin&utm_campaign=client_share&app=new ...

  2. [Tools] Deploy a Monorepo to Now V2

    Now by Zeit has recently been updated and now supports multi-language monorepos. In this lesson we'l ...

  3. 倍福TwinCAT(贝福Beckhoff)基础教程 松下伺服驱动器报错 40怎么办

    出现这种错误的时候,我把一套测试完好的电机和驱动器,直接把跟电机连接的线拔掉换另一个电机,驱动器所有参数不变,这样由于是绝对值编码器的,所以驱动器已经记住了上一个电机的圈数,换了新的电机之后圈数不对了 ...

  4. Database returned an invalid value in QuerySet.datetimes(). Are time zone definitions for your datab

    Database returned an invalid value in QuerySet.datetimes(). Are time zone definitions for your datab ...

  5. 关于汉诺塔,C++代码,代码效果演算

     1.故事介绍 汉诺塔:汉诺塔(又称河内塔)问题是源于印度一个古老传说的益智玩具.大梵天创造世界的时候做了三根金刚石柱子,在一根柱子上从下往上依照大小顺序摞着64片黄金圆盘.大梵天命令婆罗门把圆盘 ...

  6. 【LeetCode-面试算法经典-Java实现】【030-Substring with Concatenation of All Words(串联全部单词的子串)】

    [030-Substring with Concatenation of All Words(串联全部单词的子串)] [LeetCode-面试算法经典-Java实现][全部题目文件夹索引] 原题 Yo ...

  7. nginx內建模块使用

    目录 nginx內建模块使用 1. 內建模块的引入 1.1 查看安装信息 1.2 重新指定配置信息 2. 內建模块的使用 2.1 http_stub_status_module 2.2 http_ra ...

  8. Ubuntu14下Hadoop开发&lt;1&gt; 基础环境安装

    准备了一台淘汰的笔记本.单核CPU.3G内存.160G硬盘:准备一个2G的U盘 在官网下载了64位的14.04版本号(麒麟)的ISO.下载UNetbootin(Ubuntu专用U盘安装工具) 使用UN ...

  9. The best way to predict the future is to invent it,预测未来最好的方法是创造它!

    The best way to predict the future is to invent it,预测未来最好的方法是创造它! ——Smalltalk发明人Alan Kay “预测未来的最好方法, ...

  10. centos6下手工编译vitess

    vitess是youtub开源的一款mysql代理,在ubuntu下编译非常方便.可是在centos下且不能訪问google的情况下坑比較多.近期依据其bootstrap.sh脚本手工编译成功.把过程 ...