HDU--ACMSteps--又见GCD

Title:又见GCD
Time Limit: 1000/1000 MS (Java/Others) Memory Limit: 32768/32768 K (Java/Others)

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

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

Output
输出对应的c，每组测试数据占一行。

Sample Input
2
6 2
12 4

Sample Output
4
8

题目分析：
1、最初犯错：题中要求c不等于b且c与a的最大公因数为b，则推断a一定是b的倍数，所以只需要从c=b+1开始求b的最小倍数就是答案c，但是写了如下的程序，oj报错。

#include<iostream>
using namespace std;
int main()
{
	int n;
	cin>>n;
	while(n--)
	{
		int a,b;
		cin>>a>>b;
		for(int i=b+1;;i++)
		{
			if(i%b==0)
			{
				cout<<i<<endl;
				break;
			}
		}
	}
	return 0;
}

2、后来一时还没想明白为何会报错，就去CSDN搜索了别人的代码，用别人的代码oj，结果ac。仔细思考，发现如果a是b的倍数，比如a=36，b=6，则正确的答案c=30，但是用以前的代码会发现c=12；所以我最开始是在就题做题，思考不够。这个题目还是应该用欧几里得算法中的求两个数的最大公因数的思想来解决。
ac代码如下：

#include<iostream>
using namespace std;
int gcd(int a,int b)
{
	return b==0?a:gcd(b,a%b);
}
int main()
{
	int n;
	cin>>n;
	while(n--)
	{
		int a,b,c;
		cin>>a>>b;
		for(int c=b+1;;c++)
		{
			if(gcd(a,c)==b)
			{
				cout<<c<<endl;
				break;
			}
		}
	}
	return 0;
}