扩展欧几里得算法详解(exgcd)

一、前言

本博客适合已经学会欧几里得算法的人食用~~~

二、扩展欧几里得算法

为了更好的理解扩展欧几里得算法，首先你要知道一个叫做贝祖定理的玄学定理：即如果a、b是整数，那么一定存在整数x、y使得$ax+by=gcd(a,b)$。

通俗的说就是：如果$ax+by=c$有解，那么$c\%gcd(a,b)=0$

扩展欧几里得算法就是来求解$ax+by=c$这个方程的(判断有无解仅需使用欧几里得算法即可)。

我们不妨从递归到底的情况来入手。

当$b==0$时，显然有：

$\begin{cases}x=1\\y=0\end{cases}$

为一组合法解

问题是如何解决不是递归最底层的情况。

考虑往下递归时候的操作，不妨设本层的$a$为$a_1$,$b$为$b_1$下一层的$a$为$a_2$,$b$为$b_2$

结合gcd的递归过程，显然有$a_2=b_1,b_2=a_1\%b_1$

由于递归算法总是先get到下层的解，因此我们可以直接设$a_2x_2+b_2y_2=gcd(a_2,b_2)$的解为$x_2,y_2$

然后我们来思考如何根据下层解得到上层的解。

考虑取余运算的性质：显然有：$a\%b=a-(\lfloor a\div b\rfloor)*b$

然后我们把这个结论套进刚刚的式子中，用$a_1$和$b_1$替换$a_2$和$b_2$,这个过程大概是这个样子的：

$a_2x_2+b_2y_2=gcd(a_2,b_2)\\=>b_1x_2+(a_1\%b_1)y_2=gcd(a_2,b_2)\\=>b_1x_2+(a_1-a_1\div b_1*b_1)y_2=gcd(a_2,b_2)\\=>b_1x_2+a_1y_2-(a_1\div b_1)b_1y_2=gcd(a_2,b_2)\\=>a_1y_2+b_1(x_2-a_1\div b_1*y_2)=gcd(a_2,b_2)$

经过以上非常基础的推算，我们可以得到$a_1,b_1,x_1,y_1,x_2,y_2$如下的关系：

$\begin{cases}x_1=y_2\\y_1=x_2-a_1\div b_1*y_2\end{cases}$

于是递归计算即可。

exgcd的代码实现大概长这样：

 void exgcd(int a,int b,int &x,int &y)

 {

     if(b==)

     {

         x=;y=;

         return;

     }

     exgcd(b,a%b,x,y);

     int x1=x,y1=y;

     x=y1;y=x1-a/b*y1;

 }

exgcd代码实现

三、例题分析

洛谷P1082同余方程

这道题开门见山，直接就说出了要求什么，可谓NOIP茫茫毒瘤题中一股清流

我们要求的是$ax≡1 (mod b)$,不妨设$ax+by=1$，接下来我们就可以搬出我们的exgcd的模板，轻松秒掉这道题。

值得注意的是，我们求出来的是最小解，而题目要求的是最小正整数解，因此如果不符合条件的话还要往上累加。

 #include<iostream>

 #include<cstdio>

 #define int long long

 using namespace std;

 int x,y,a,b;

 void exgcd(int a,int b,int &x,int &y)

 {

     if(b==)

     {

         x=;y=;

         return;

     }

     exgcd(b,a%b,x,y);

     int x1=x,y1=y;

     x=y1;y=x1-a/b*y1;

 }

 signed main()

 {

     cin>>a>>b;

     exgcd(a,b,x,y);

     while(x<)x=(x+b)%b;

     cout<<x<<endl;

     return ;

 }

洛谷P1082同余方程

(贝祖定理内容部分来自这位大佬的博客)

巴特西

扩展欧几里得算法详解(exgcd)

最新文章

热门文章