题目：D. Turtle Tenacity: Continual Mods
题目链接：https://codeforces.com/contest/1933/problem/D
算法：数论、贪心。
一开始没思路，后面看了别人的题解才搞懂的。
思路：
1.将原数组a从大到小排序后可以得到的数组b有两种情况。一种是b0!=b1,另一种则是b0=b1(下标从0开始)。对于第一种情况并结合样例可以发现在b1!=b2的情况下，数组元素依次取模后结果必然不为0的，此为恒成立。
2.对于第二中情况，若b0=b1,那么b0modb1=0，这将导致最终结果为0，所以我们只需要找到b0之后有无存在一个bi使得bimodb0!=0,有则将其放到b0之前，满足第一种情况。没有则为NO。
详细AC码：
点击查看代码
#include <iostream>
#include <algorithm>
using namespace std;
const int N = 1e5 + 10;
int a[N];
void quick_sort(int l, int r) //快速排序算法
{
if (l >= r) return;
int i = l - 1, j = r + 1, x = a[(l + r) >> 1];
while (i < j)
{
do i++;while (a[i] < x);
do j--;while (a[j] > x);
if (i < j) swap(a[i], a[j]);
}
quick_sort(l, j);
quick_sort(j + 1, r);
}
int main()
{
int t, n;
cin >> t;
while (t--)
{
cin >> n;
for (int i = 0;i < n;i++)
{
cin >> a[i];
}
quick_sort(0, n - 1); //排序
//1.若排序后a1!=a2 取模后结果必不为0
if (a[0] != a[1])
{
cout << "YES" << endl;
continue;
}
else { //2.
int flag = -1;
for (int i = 2;i < n;i++)
{
if (a[i] % a[0] != 0)
{
flag = 1;
break;
}
}
if (flag == 1)
{
cout << "YES" << endl;
}
else {
cout << "NO" << endl;
}
}
}
return 0;
}