关于求最大公约数（辗转相除法）的解读

求最大公约数是我们在实际解题是的一个中间方法，也是一个影响程序运行时间的关键！！！

今天我们就来深入了解它：

例题：

有三个正整数a,b,c(0 < a,b,c < 10^12)，其中c不等于b。若a和c的最大公约数为b，现已知a和b，求满足条件的最小的c。

第一行输入一个n，表示有n组测试数据，接下来的n行，每行输入两个正整数a,b。

样例：

输入：

2
6 2
12 4

输出：

4
8

在解题之前，我们应该先了解如何去找最大公因数，下面我来介绍两个思路：

假设两个数分别为a,b(a>b)

方法一：枚举法：从b开始向下枚举直到这个数能同时整除a和b为止。

代码实现：

int main() {
	int m, n, s, i, t;
	while (scanf("%d%d", &m, &n) != EOF) {
		if (m > n) {    //判断大小确定循环次数
			t = m;
			m = n;
			n = t;
		}
		for (i = m; i >= 1; i--)
			if (m % i == 0 && n % i == 0) {  //能整除就输出并停止
				printf("%d\n", i);
				break;
			}
	}
	return 0;
}

当然思路简单的代价就得是程序复杂度的提升这个代码的时间复杂度就相对很大了，最为一个中间工具就有使代码超时的风险。

下面我要使用的另一种方法便能很好的降低时间复杂度。

方法二：辗转相除法

辗转相除法：
            给你两个数  m,n  不妨设m>n
            m=n*g0+r0  如果r!=0
            m=n   n=r0
            n=r0*g1+r1
            ......
            最后直到 rn==0时停止
            最大公约数即为（rn-1）

代码实现

long long gcd(long long x, long long y) {
	long long t;
	while (1) {
		if (y > x) {         
			t = x;
			x = y;       //确定大小关系
			y = t;
		}
		x = x % y;
		if (x == 0)
			break;
	}
	return y;
}

举个例子  

如果 a=2022  b=615

2022=615*3+177

615=177*3+84

177=84*2+9

84=9*9+3

9=3*3

所以2022和615最大公约数就是3

而我们可以将上面的函数简化成一句话

long long gcd(long long x, long long y) {
	return y==0? x;gcd(y,x%y);
}

运用三目运算符表达的是同一个意思。
那么学会这些后我们开始正式解题：

例题：

有三个正整数a,b,c(0 < a,b,c < 10^12)，其中c不等于b。若a和c的最大公约数为b，现已知a和b，求满足条件的最小的c。

第一行输入一个n，表示有n组测试数据，接下来的n行，每行输入两个正整数a,b。

样例：

输入：

2
6 2
12 4

输出：

4
8

已知一个数a和它和另一个数的最大公约数b求最小的另一个数c

解题思路：

将a/b这个数和c一定是互质的就利用这一点来撬开整个题：

代码实现：

#include <bits/stdc++.h>
using namespace std;

long long gcd(long long x, long long y) {
	return y==0? x;gcd(y,x%y);
}
long long a, b, c, d, n, i;

int main() {
	cin >> n;
	for (i = 1; i <= n; i++) {
		scanf("%lld%lld", &a, &b);
		c = a / b;
		d = 2;
		while (gcd(c, d) != 1) {
			d++;
		}	
		cout << d *b << '\n';     //别忘了乘回去
	}
	return 0;
}

这样就解答完了，如有疑问请在评论区提出。