#L5204. 「UOI 2025 Stage 4 Day1」凸数组

「UOI 2025 Stage 4 Day1」凸数组

题目描述 题目译自 Ukrainian Olympiads in Informatics 2025 Stage 4 Day1 T3. Випуклий масив

给定一个长度为 nn 的整数数组 aa

你需要判断是否存在数组元素的一种排列 bb,使得对于每一个 2in12 \leq i \leq n-1,都满足 bi1+bi+12bib_{i-1} + b_{i+1} \ge 2 \cdot b_i

在本题中,每个测试点包含多个输入数据组。你需要为每个数据组独立解决问题。

输入格式 输入的第一行包含一个整数 TT (1T105)(1 \le T \le 10^5),表示输入数据组的数量。接下来是各数据组的描述。

每个数据组的第一行包含一个整数 nn (3n3105)(3 \le n \le 3 \cdot 10^5),表示数组 aa 的长度。

每个数据组的第二行包含 nn 个整数 a1,a2,,ana_1, a_2, \ldots, a_n (0ai109)(0 \le a_i \le 10^9),表示数组 aa 的元素。

保证所有数据组中 nn 的总和不超过 31053 \cdot 10^5

输出格式 对于每个数据组,单独输出一行。如果存在满足条件的排列,则输出 YES;否则输出 NO

样例 输入

10
4
0 3 4 6
4
5 4 1 4
8
1 4 4 8 6 10 10 4
7
2 1 5 1 9 4 6
6
7 1 6 10 2 3
7
6 6 10 2 5 3 8
4
9 9 1 5
4
8 4 3 4
7
1 2 1 6 4 2 9
7
3 9 7 5 9 10 10

输出

YES
NO
NO
YES
YES
NO
YES
YES
YES
NO

在第一个样例的第一个数据组中,对于数组 [0,3,4,6][0, 3, 4, 6],满足条件的排列包括 [4,0,3,6][4, 0, 3, 6][6,3,0,4][6, 3, 0, 4]

数据范围与提示SS 为单个测试中所有数据组的 nn 之和。详细子任务附加限制及分值如下表所示:

子任务 分值 附加限制
1 3 n=4n = 4
2 4 T=1,n7T = 1, n \le 7
3 7 T=1,n15T = 1, n \le 15
4 5 如果存在满足条件的排列,则存在一个排列满足 b1b2b_1 \ge b_2b2b3b_2 \le b_3
5 17 S50S \le 50
6 10 S400S \le 400
7 13 S2000S \le 2000
8 9 S8000S \le 8000
9 18 ai106a_i \le 10^6(对于 1in1 \le i \le n
10 14 无附加限制