gcd 和同余方程（Exgcd）

求关于

对于 100%的数据，

NOIP 2012 提高组第二天第一题

(只看Exgcd的自行跳过这段文字)

先撇开扩展欧几里得什么的不管，首先证明辗转相除法。

gcd(greatest common divisor)，是一种计算两个数最大公约数的算法，时间复杂度为O(1)。简单来说，我们定义gcd(a,b)为a、b的最大公约数，那么gcd(a,b)=gcd(b,a mod b)。一般使用递归计算，在最后一层，a≡0(mod b)的时候，这一层的b即为答案。

下面给出证明：

令a>b，则存在正整数k、r，使得a=kb+r，而r≡a(mod b)，所以我们要证明的结论就是gcd(a,b)=gcd(b,r)。

若r=0，那么以上结论显然。

那么，若r≠0呢？

假设gcd(a,b)=d，那么存在正整数p、q，使得a=pd，b=qd(p>q)。

所以pd=kqd+r，整理得r=(p-kq)d。因为r>0，所以pd>kqd，显然p-kq为正整数，所以r必为d的倍数，不难证明gcd(a,b)=gcd(b,r)，也就是gcd(a,b)=gcd(b,a mod b)。

 1 #include<bits/stdc++.h>
 2 #define LL long long
 3 using namespace std;
 4 
 5 LL a,b;//不开long long见祖宗 
 6 
 7 LL gcd(LL a,LL b)
 8 {
 9     if(b==0) return a;
10     return gcd(b,a%b);
11 }
12 int main(){
13     scanf("%d%d",&a,&b);
14     printf("%lld",gcd(a,b));
15     return 0;
16 }

View Code

踏入正题~

问题是求解同余方程

。

将问题转化一下，这个方程的实质是ax+by=1(其中y为整数)。

扩欧求的是ax+by=gcd(a,b)的解。

那显然，这里的gcd(a,b)=1，所以这里a,b互质。

扩展欧几里得算法~前置知识：辗转相除法。

对于ax+by=gcd，输入中已经给了a、b我们只要求出一组x,y解，满足x是无数组解中最小的正整数。

假设我们求出了另一组数x₂、y₂，使得bx₂+(a mod b)y₂=gcd(b,a mod b)，则因为gcd(a,b)=gcd(b,a mod b)，所以bx₂+(a mod b)y₂=gcd(a,b);

联立等式，得到ax+by=bx₂+(a mod b)y₂。

我们可以将a mod b转化成a-(a/b)*b。

所以ax+by=bx₂+(a-(a/b)*b)y₂

ax+by=ay₂-b(x₂-(a/b)y₂)

解得x=y₂，y=

x

 1 #include<bits/stdc++.h>
 2 #define int long long
 3 using namespace std;
 4 
 5 int a,b,x,y;
 6 
 7 void Exgcd(int a,int b)
 8 {
 9     if(b==0)
10     {
11         x=1,y=0;//最终的x、y 
12         return;
13     }
14     Exgcd(b,a%b);
15     int tmp=x; 
16     x=y;//更新上一层x 
17     y=tmp-(a/b)*y;//更新上一层y 
18 }
19 signed main()//main函数不能为long long 
20 { 
21     scanf("%lld%lld",&a,&b);
22     Exgcd(a,b);
23     x=(x%b+b)%b;//最小正整数解 
24     cout<<x<<endl;
25     return 0;
26 }

View Code

数学题多手算模拟几遍就理解了~

原文地址：https://www.cnblogs.com/Darkring/p/11371094.html

gcd 和 同余方程（Exgcd）

gcd 和同余方程（Exgcd）