一道GCD问题

链接：https://ac.nowcoder.com/acm/contest/10743/A
来源：牛客网

题目描述
给定一个数组。现在让每个数都加上同一个非负整数 ，使得所有数的gcd（最大公约数）尽可能大。
求这个gcd最大值以及的值。如果有多个能得到这个最大的gcd，那么输出的最小值。

保证数组长度不小于2，且至少有两个不相同的数！
输入描述:
第一行一个正整数 (2\leq n \leq 100000)(2≤n≤100000)
第二行个正整数a_ia
i
​
(1\leq a_i \leq 10^9)(1≤a
i
​
≤10
9
)
输出描述:
一行两个数，分别代表最终gcd的最大值、以及达到这个最大值的最小的 。
示例1
输入
复制
2
1 3
输出
复制
2 1
说明
k=1的时候，每个数加一，数组变成{2,4}，最大公约数为2
示例2
输入
复制
3
4 6 9
输出
复制
1 0
说明
可以证明，无论k取什么值，最终的gcd都是1。所以k取最小值0。

我们可以发现这样的性质，一堆数的最大公约数一定是这些数的差的最大公约数，辗转相除法
而两个数加同一个数他们的差是不变的
特判：如果这些差的最大公约数为1，得求本身的最大公约数

#include <iostream>
#include <cstdio>
#include <cstring>
#include <algorithm>

using namespace std;

const int N = 1e5 + 10;

typedef long long LL;

int a[N];

int gcd(int a, int b){
	return b ? gcd(b, a % b) : a;
}

int main(){
	int n;
	scanf("%d", &n);
	for (int i = 1; i <= n; i ++)    scanf("%d", &a[i]);
	
	sort(a + 1, a + 1 + n);
	
	int cha = a[2] - a[1];
	bool flag = false;
	for (int i = 3; i <= n; i ++){
		int temp = cha;
		cha = gcd(temp, a[i] - a[i - 1]);
	}
	
	if (cha == 1)    flag = true;
	int k;
	int ans;
	if (!flag){
		if (a[1] % cha == 0)   k = 0;
		else k = (cha - (a[1] % cha));
	}
	else{
		int temp = a[1];
		for (int i = 2; i <= n; i ++){
			ans = gcd(temp, a[i]);
			temp = ans;
		}
		k = 0;
	} 
	
	if (!flag){
		cout << cha << " " << k << endl;
	}
	else{
		cout << ans << " " << k << endl;
	}
	
	return 0;
}