CF2242B Predominant Frequency Division

你会得到一个数组 $a$，由数字 $1$、$2$ 和 $3$ 组成。判断是否可以将其拆分为三个连续的非空部分，以便对于从 $1$ 到 $3$ 的每个部分 $i$，满足以下条件： - 大于 $i$ 的元素数量最多为部分的一半。 换句话说，您需要将数组 $a$ 划分为三个成对的不相交的连续非空部分，这样在左边部分，$1$ 的数量至少是 $2$ 和 $3$ 的总数，在中间部分，$1$ 和 $2$ 的总数至少是3的数量，而右边部分可以是任何东西，但它必须是非空的。 例如，数组 $[2, 1, 1, 3, 3, 1, 2, 3]$ 可以分为三个部分：$[2, 1, 1, 3]$、$[3, 1, 2]$ 和 $[3]$。数组 $[2, 1, 3, 3, 3, 2, 2, 3]$ 不能以这种方式拆分。

每个测试包含多个测试用例。 第一行包含测试用例的数量 $t$（$1 \le t \le 10^4$）。测试用例的描述如下。 每个测试用例的第一行包含一个整数 $n$（$3 \le n \le 2 \cdot 10^5$）——数组的长度。 每个测试用例的第二行包含 $n$ 整数 $a_i$（$1 \le a_i \le 3$）。 - **保证所有测试用例中 $n$ 的总和不超过 $2 \cdot 10^5$。**

对于每个测试用例，如果存在按需拆分数组的方法，请打印 `YES`，否则打印 `NO`。 你可以以任何形式打印答案。例如，`YeS`、`YeS`、`NO`、`nO` 也将被接受。

题目描述中解释了前两个测试用例。 在第三个测试用例中，左侧部分可能是 $[1]$，但中间部分（$[3]$、$[3, 3]$、$[3, 3, 2]$）的任何选择都不起作用。左侧部分也可能是 $[1, 3]$；那么中间部分必须是 $[3, 2]$，在这种情况下，右边部分是空的。因此，第三个例子的答案是否定的。 在第四个测试用例中，唯一有效的左侧部分是整个数组，因为在任何非空的较短前缀上，$1$ 的数量都小于 $2$ 的数量，因此中间和右侧部分不能都是非空的。 在第五个测试用例中，拆分 $[3, 2, 1, 2, 1, 1], [2], [3]$ 有效。 在第六个测试用例中，唯一可能的拆分是 $[2], [1], [2]$，但左侧部分不起作用。 在第七个测试用例中，拆分的 $[1], [2], [3]$ 有效。 在第八个测试用例中，拆分 $[1, 3], [3, 1], [1]$ 有效。 在第九个测试用例中，拆分 $[1], [1], [3, 3, 1]$ 有效。 在第十个测试用例中，唯一可能的分割是 $[1], [3], [1]$，但中间部分不起作用。