说扩展欧几里得之前先提一下欧几里得
扩展欧几里得就是以这个为基础证明出来的(证明看算法笔记page176)
exgcd板子
#include<iostream>
#include<algorithm>
using namespace std;
int exGcd(int a,int b,int &x,int &y){
if(b==0){
x=1;
y=0;
return a;
}
int g=exGcd(b,a%b,x,y);
int temp=x;
x=y;
y=temp-a/b*y;
return g;
}
int main(){
return 0;
}
这里求出的是通解再根据下面的式子求出全部解
如果要求最小非负整数解得话 利用特解x 最小非负整数解=【x%(b/gcd)+b/gcd】%(b/gcd)
ax+by=c 求解
只需要求出ax+by=gcd 的特解(x1,y1) 然后两边同时乘(c/gcd)即可 求出ax+by=c的特解( 求通解直接带入上面图片的公式即可)
(eg:求最小非负整数解也可以带上面的公式)
注意 必须c%gcd==0 才可以进行操作 否则无解