Make Equal With Mod（数论/贪心）

题目
题意：给定n个数$a$，可以执行任意次操作，每次操作，选取数$x>=2$，并将所有数$a_i$都对这个数取模，即$a_i=a_i\%x$，问最后能否让这n个数都相同。

思路：考虑这n个数没有1的情况。那么我们只要将数组中所有非0元素，都取模一遍。由于$a_i\%a_i=0$，最后所有数都为0，即可满足题意。
考虑存在1的情况，那么最终只能使所有数都等于1。如果存在相邻元素，即差值为1的两个元素$a_i,a_j$，那么此时，对这两个元素执行任意次取模操作，都不可能让它们同时都为1，因为它们的奇偶性会一直保持不同。而如果不存在相邻元素，那么对于所有大于1的元素$a_i$，我们只需执行$a_i$，即可让所有元素都变为1。

#include<bits/stdc++.h>
using namespace std;
#define ll long long
const int maxn = 200010;

int n, k;
int a[maxn];

void solve() {
	scanf("%d", &n);
	int x;
	bool flag1 = 0;
	for (int i = 0; i < n; ++i) {
		scanf("%d", &x);
		if (x == 1) {
			flag1 = 1;
		}
		a[i] = x;
	}
	sort (a, a + n);
	bool neighbor = 0;
	for (int i = 1; i < n; ++i) {
		if (a[i] == a[i-1] + 1) {
			neighbor = 1;
			break;
		}
	}
	printf("%s\n", (!flag1 || !neighbor) ? "YES" : "NO");
}
int main() {
	int t;
	scanf("%d", &t);
	while (t--) {
		solve();
	}
}