Codeforces 1770 C. Koxia and Number Theory

题意：

给定 n 个数的数组，是否可以有一个数 x > 0,使得任意两数 + x 后的 gcd 值仍然为 1。

思路：

一开始往奇偶角度考虑的，例如任意配对存在两个奇数显然 x 不能为奇数，否则新的 gcd 一定有约数 = 2.

两个偶数显然 x 不能为偶数，否则新的 gcd 一定有约束 = 2。

奇偶看着无限制。

这样的话会过不去第四组数据。

于是转为一般性考虑，关键在于例如对于 5 6 7 8 而言，如果按照奇偶分类，对 2(2是一个质数) 取模得到 [1,0,1,0] ，那么对于质数 2 他的取值域为 [0 - 2(个), 1 - 2(个)]，那么可见 x 无论是奇还是偶，一定会使得某个配对是 2 的倍数。

那么从质因数角度出发，我们需要找所有质数的因子，且取值域最小的次数不能大于等于 2 个，否则一定会有配对使得 +x 后除尽该质数，根据鸽巢原理，取值域最小的次数不能大于等于 2 个的话，质数最大是 n/2 ,否则余数塞不满个数，于是我们只需 check n/2 的数即可。

按照这个思路去做check。

#include<cstdio>
#include<iostream>
#include<vector>
#include<algorithm>
#include<map>
#include<set>
using namespace std;

map<int,int> mp;
set<int> st;
long long arr[105],prime[105];
int cnt = 0;
void init()
{
    for(int i = 2;i<=100;++i)
    {
        bool flag = true;
        for(int j = 2;j*j<=i;++j)
        {
            if(i%j==0) flag = false;
        }
        if(flag) prime[cnt++] = i;
    }
}
int CNT[105];
int main()
{
    init();
    int t;
    scanf("%d",&t);
    while(t--)
    {
        mp.clear();
        bool flag = true;
        int n;
        scanf("%d",&n);
        for(int i = 1;i<=n;++i)
        {
            scanf("%lld",&arr[i]);
            if(mp.find(arr[i])==mp.end()) mp[arr[i]] = 1;
            else mp[arr[i]]++,flag = false;
        }
        for(int i = 0;i<cnt;++i)
        {
            if(prime[i] > n/2) break;
            for(int j = 0;j<prime[i];++j) CNT[j] = 0;
            for(int j = 1;j<=n;++j)
            {
                CNT[arr[j]%prime[i]]++;
            }
            int minn = 0x3f3f3f3f;
            for(int j = 0;j<prime[i];++j)
            {
                minn = min(minn, CNT[j]);
            }
            if(minn >= 2) flag = false;
        }
        if(flag) printf("YES\n");
        else printf("NO\n");
    }
    return 0;
}