Problem - C - Codeforces

题意：

给定一个数列a，问你是否存在一个数 x 使得所有数加上x之后两两互质

思路：

一、

我们知道一个结论，一些数两两之间互质，就说明所有数之间的质因子都不重合

如果要我们去判断一堆数之间是不是两两互质，就去给每个数都去分解质因数，然后把质因数放进map里，看存不存在某个质因数使得 mp[p]>=2，如果存在就说明没有两两互质

所以问题就转化为：是否存在 x ，使得所有数加上 x 之后，彼此之间质因数没有重合

二、

我们需要明白这样一件事情，对于一个数 a ，我们把它分解质因数为

然后我们把a加上x，会发生什么

对于a的一个质因子pk：（下图中一个小格子代表pk长度，因为能整除pk，所以可以画成这样，黄色部分就代表 a）

 

 

加上 x 之后：（其中新加的黄色部分就是 x）

 这样的话，a就不再有质因子pk，因为加上 x 之后模pk不再为0

三、

知道了一的结论和二的感性理解后，我们再去看题目：

我们是否能构造出 x ，使得所有数加 x 之后没有重合的质因子

首先，如果数列中存在一样的数就是NO，因为这样一定不存在 x 使得 gcd(ai+x,ai+x)=1

这个gcd一定等于 ai+x 嘛

我们去枚举质因子

对于一个质因子pi，如果在加x之前的数列中，存在两个数 ai , aj，使得 ai%pi==aj%pi

比如

ai ：

 

aj：

 

那么我们取 x = pi - ai%pi ，这样加了 x 之后，ai 和 aj 会有同一个质因子 p

（下图中绿色部分就是 x ，因为加了 x 之后模 pi 都为 0，因此 ai+x 和 aj+x 含有同一个质因子 pi）

ai+x：

 aj+x：

 那我们要避免 ai+x 和 aj+x 有同一个质因子的情况发生，就不能取 x = pi - ai%pi

这样只是在数列 a 中拿出了两个数 ai 和 aj 而已，对于数列 a 中的数 ai，x 都不能等于pi - ai%pi

而 pi - ai%pi 的取值在 [0,p-1]之间，也就是说它只有 p 种取值，因此如果说这 p 种取值都被取到了且每种取值都出现了两次及以上，就说明 x 就没得选了，因为这样的话无论 x 取什么值，总存在两个数 ai 和 aj ，使得 ai+x 和 aj+x 有相同质因子 pi

所以做法就是：我们去枚举质因子 pk ，对于每一个质因子 pk ，都去统计 ai % pk 的出现次数，如果所有的 ai% pk 的出现次数全都 >=2，x 就没得选了，否则就取 ai % pk 的出现次数<=1 的 pk ，然后令 x= pk - ai%pk 就行

Code：

#include <bits/stdc++.h>
using namespace std;
#define int long long
const int mxn=1e2+10;
int n;
int a[mxn];
void solve(){
	cin>>n;
	map<int,int> mp2;
	for(int i=1;i<=n;i++) cin>>a[i],mp2[a[i]]++;
	for(int i=1;i<=n;i++){
		if(mp2[a[i]]>1){
			cout<<"NO"<<'\n';
			return;
		}
	}
	for(int p=2;p<=n;p++){
		map<int,int> mp;
		for(int i=1;i<=n;i++) mp[a[i]%p]++;
		int cnt=0;
		for(auto it:mp){
			if(it.second>=2) cnt++;
		}
		if(cnt==p){
			cout<<"NO"<<'\n';
			return;
		}
	}
	cout<<"YES"<<'\n';
}
signed main(){
	ios::sync_with_stdio(0),cin.tie(0),cout.tie(0);
	int __=1;cin>>__;
	while(__--)solve();return 0;
}