洛谷：P1082 同余方程（数学，普及+/提高）------扩展欧几里得算法！！！

题目：

分析：

ax=by+1
其中y为整数，按照题意的要求x也为整数。

ax+by=d，存在x，y为整数解的必要条件是d mod gcd（a，b）=0.

在该题中，1，一定有解了。

gcd2的d参数为a，b的最大公因子。即用gcd1求出最大公因子，然后用gcd2求出一组解。

最小化原理：

洛谷大佬的最小化方法： x=(x%b+b)%b;

代码：

#include<bits/stdc++.h>
using namespace std;
int gcd1(int a,int b)
{
 return b==0?a:gcd1(a,a%b);
}
void gcd2(int a,int b,int& d,int& x,int& y)
{
 if(!b){
  d=a;x=1;y=0;
 }
 else{
  gcd2(b,a%b,d,y,x);y-=x*(a/b);
 }
}
int main()
{
 int a,b;
 scanf("%d %d",&a,&b);
 int gcd=gcd1(a,b);
 int x,y;
 gcd2(a,b,gcd,x,y);
 x=(x%b+b)%b;
 cout<<x; 
} 

扩展欧几里得：

算了，不理解了，直接记住三点：

1.对ax+by=c这个式子敏感，

x是gcd（x，y）的若干倍，y是gcd（x，y）的若干倍，a，b都是整数解，那么c也是gcd（x，y）的倍数。

特别的，c=1，c只能是gcd（x，y）的若干倍，那么c的因子只能是1，gcd（x，y）=1，说明x，y互质。

2.扩展欧几里得，是求x，y的一组解。

直接套用上述代码便求出了一组解。

3.每一组解之间的关系：（即，由一组解便可以求出所有解）