CF1933D Turtle Tenacity: Continual Mods

给定一个数组 $a_1, a_2, \ldots, a_n$，判断是否可以将其元素重新排列为 $b_1, b_2, \ldots, b_n$，使得 $b_1 \bmod b_2 \bmod \ldots \bmod b_n \neq 0$。 这里 $x \bmod y$ 表示 $x$ 除以 $y$ 的余数。取模运算按照从左到右的顺序依次进行。即 $x \bmod y \bmod z = (x \bmod y) \bmod z$。例如，$2024 \bmod 1000 \bmod 8 = (2024 \bmod 1000) \bmod 8 = 24 \bmod 8 = 0$。

输入的第一行包含一个整数 $t$（$1 \le t \le 10^4$），表示测试用例的数量。 每个测试用例的第一行包含一个整数 $n$（$2 \le n \le 10^5$）。 每个测试用例的第二行包含 $n$ 个整数 $a_1, a_2, \ldots, a_n$（$1 \le a_i \le 10^9$）。 所有测试用例中 $n$ 的总和不超过 $2 \times 10^5$。

对于每个测试用例，如果存在满足条件的排列，输出 "YES"；否则输出 "NO"。 你可以以任意大小写输出答案（如 "yEs"、"yes"、"Yes"、"YES" 都视为肯定回答）。

在第一个测试用例中，将数组排列为 $b = [1, 2, 3, 4, 5, 6]$（不做任何改变），结果为 $1 \bmod 2 \bmod 3 \bmod 4 \bmod 5 \bmod 6 = 1$，因此可以实现目标。 在第二个测试用例中，数组 $b$ 必须为 $[3, 3, 3, 3, 3]$，结果为 $3 \bmod 3 \bmod 3 \bmod 3 \bmod 3 = 0$，因此无法实现目标。 在第三个测试用例中，将数组排列为 $b = [3, 2, 2]$，结果为 $3 \bmod 2 \bmod 2 = 1$，因此可以实现目标。 由 ChatGPT 4.1 翻译