EXGCD （拓展欧几里得）

Link

EXGCD （拓展欧几里得）

引入

解不定方程Ax+By=K（得到的x和y只是其中一组解）,已知gcd（a,b）=K,
给出A、B、K，求出x和y，满足Ax+By=K。

暴力CODEING

int x,y;
void solve (int a, int b, int c) {
   
	for (int i = -maxn; i <= maxn; i ++) {
   
		for (int j = -maxn; j <= maxn; j ++) {
   
			if (a * i + b * j == c) {
   
				x = i;
				y = j;
				break;
			}
		}
	}
}

很好打，但是，时间它不允许我这么打。时间复杂度：O（$4\times max{n}^2$）。

证明思路

正解

二元一次不定方程求解和欧几里得算法到底有什么关系呢？

推导过程：

题面 ： 求解 $a\times x+b\times y=c$。

$\because$ $gcd(a,b)=c$

$\therefore$ 设$a\times x1+b\times y1=gcd(a，b)$

$\because$ $x=x1\times \frac{c}{gcd(a,b)}，y=y1\times \frac{c}{gcd(a,b)}$

如果 $gcd(a，b)$ 不能整除 c 那么此不定方程无整数解

我们需要求出不定方程 $a\times x1+b\times y1=gcd(a，b$