思路：

此题其实很简单，不要被邪恶的出题人迷惑了双眼。

此题判断有解一共有两种情况。

通过题意可以知道将原数组排序后如果 $b{1} \ne b{2}$，那么最后的结果一定 $\ne 0$，这是第一种情况。

第二种情况其实就是第一种情况的变形，在排序后 $b{1} = b{2}$ 的情况下，如果 $b$ 中有一个数 $\bmod b_{1} \ne 0$，就可以把这个数放在第一位来满足第一种情况，所以输出 YES。

除这两种情况外其它都无解。

AC 代码：

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
#include <iostream>
#include <algorithm>
using namespace std;
int n,a[114514],m;
bool f;
int main() {
	cin>>n;
	for(int i=1;i<=n;i++){
		cin>>m;
		for(int j=1; j<=m; j++){
			cin>>a[j];
		}
		sort(a+1,a+m+1);
		if(a[1]!=a[2]) {
			cout<<"YES"<<endl;
			continue;
		}
		else {
			f=0;
			for(int j=2; j<=m; j++){
				if(a[j]%a[1]!=0){
					f=1;
				}
			}
			if(f==1){
				cout<<"YES"<<endl;	
			}
			else{
				cout<<"NO"<<endl;
			}
		}
	}
	return 0;
}