学习笔记——扩展欧几里得

扩展欧几里得

欧几里得算法

众所周知，扩欧是从欧几里得来的。

本部分来自这里
链接内有两种证明

欧几里德算法又称辗转相除法，是指用于计算两个非负整数a，b的最大公约数。应用领域有数学和计算机两个方面。计算公式$gcd(a,b)=gcd(b,a\mathrm{m}\mathrm{o}\mathrm{d}b)。$

算法来自于这个定理

两个整数的最大公约数等于其中较小的那个数和两数相除余数的最大公约数。

证明
a可以表示成$a=kb+r$（a，b，k，r皆为正整数，且r<b），则$r=a\mathrm{m}\mathrm{o}\mathrm{d}b$

假设d是a,b的一个公约数，记作$d|a,d|b$，即a和b都可以被d整除。

而$r=a-kb$，两边同时除以d，$r/d=a/d-kb/d=m$，由$a/d-kb/d=m$可知m为整数，因此$d|r$

因此d也是$b,a\mathrm{m}\mathrm{o}\mathrm{d}b$的公约数

再假设一个新的$d$是$b,a\mathrm{m}\mathrm{o}\mathrm{d}b$的公约数, 则$d|b,d|(a-k\ast b),k$ 是一个整数。
进而$d|a$.因此d也是a,b的公约数

因此$(a,b)$和$(b,a\mathrm{m}\mathrm{o}\mathrm{d}b)$的公约数是一样的，其最大公约数也必然相等，得证。

代码

#include <iostream>
using namespace std;
int gcd(int a, int b)
{
    if (a < b) swap(a, b);
    return b == 0 ? a : gcd(b, a % b);
}
int x, y; 
int main(){
     
    cin >> x >> y;
    cout << gcd(x, y);
     
    return 0;
}

扩展欧几里得

来自这里！

贝祖定理：$若a，b是整数，且gcd(a,b)=d，那么对于任意的整数x，y，ax+by=m中的m一定是d的倍数。特别地，如果a、b是整数，那么一定存在整数x、y使得ax+by=gcd(a,b)$

证明：
欧几里得算法，它总是把gcd(a,b)转化为求解gcd(b,a%b)，而当b变为0时返回a，此时的a就等于gcd。也就是说，欧几里得算法结束时变量a中存放的是gcd，变量b中存放的是0，因此此时显然有a×1+b×0=gcd成立，此时有x=1，y=0成立。

我们不妨利用上面的欧几里得算法的过程来计算x和y。目前已知的是递归边界成立时为x=1、y=0，需要想办法反推出最初始的x和y。

当计算$gcd(a,b)$时，有$ax1+bx1=gcd$成立。

而在下一步计算 $gcd(b,a\mathrm{m}\mathrm{o}\mathrm{d}b)$ 时，又有$bx2+(a\mathrm{m}\mathrm{o}\mathrm{d}b)y2=gcd$成立。

因此$ax1+by1=bx2+(a\mathrm{m}\mathrm{o}\mathrm{d}b)y2$成立。

又考虑到有关系$a\mathrm{m}\mathrm{o}\mathrm{d}b=a-(a/b)\times b$成立（此处除法为整除），代入有$ax1+by1=ay1+b(x2-(a/b)y2)$

对比等号左右两边，有如下关系
$$f(x)=\{\begin{array}{rl}x1& =y2\\ y1& =x2-(a/b)y2\end{array}$$

此我们便可以通过x2和y2
​来进行反推出x1y1了

int exGcd(int a, int b, int &x, int &y)   //x和y使用引用
{
    if(b==0)
    {
        x=1;
        y=0;
        return a;
    }
    int g=exGcd(b,a%b,x,y);    //递归计算exGcd（b,a%b）
    int temp=x;             //存放x的值
    x=y;
    y=temp-(a/b)*y;       //更新y = x(old) - a/b*y(old)
    return g;                 //g是gcd
}

​
由于这里我们使用了引用，因此当exGcd函数结束时x和y就是所求的解。

显然，在得到这样一组解之后，就可以通过下面的式子得到全部解（其中K为任意整数）：

$$f(x)=\{\begin{array}{rl}{x}^{\prime }& =x+b/gcd\ast k\\ y^{\prime }& =y-a/gcd\ast k\end{array}$$
原文有证明，我这里就不写了，大家有疑惑可以看原文。

方程ax+by=c的求解

首先，假设$ax+by=gcd$有一组解$(x0,y0)$，
$a\ast x0+b\ast y0=gcd$
现在在其等号的左右两边同时乘以$c/gcd$
即有
$a\ast c\ast x0/gcd+b\ast c\ast y0/gcd=c$
成立，
因此$(x,y)=(cx0/gcd,cy0/gcd)$是$ax+by=c$的一组解。
但是显然这样做的充要条件是$c\mathrm{m}\mathrm{o}\mathrm{d}gcd=0$（因为：$a\ast x/gcd+b\ast y/gcd=c/gcd$（其中左边为整数因此右边也为整数）
否则第一步将无法做到。
求全部解的方式类似于上面，不明白的读者可以自行查阅原文，这里不再赘述。

3.同余式ax≡c(mod m)的解

$ax\equiv c(modm)$ 就是
$ax=my+c$
$ax-my=c$
设$y=-y$
有$ax+my=c$
转化成为了上面的问题，全部解同样可以查询原文 （因为我说我懒实在是不好意思）

4.逆元的求解

逆元就是
设$a,b,m$为整数，$a\ast b\equiv 1(modm)$
那么a与b互为模m的逆元
由定义知，求a模m的逆元，就是求解同余式$ax\equiv 1(modm)$，并且在实际使用中，一般把x的最小正整数解称为a模m的逆元.
又转化为上面的问题。
抄的代码

int inverse(int a,int m)
{
	int x, y;
	int g = exGcd(a, m, x, y);   //求解ax+my=1
    return (x%m+m)%m;            //a模m的逆元为(x%m+m)%m
}