题目解析

对于每个三元组 $(a_i, a_{i+1}, a_{i+2})$，要求满足：

$$\operatorname{mex}([a_i, a_{i+1}, a_{i+2}]) = \max([a_i, a_{i+1}, a_{i+2}]) - \min([a_i, a_{i+1}, a_{i+2}]) $$

分类讨论

情况 1：$\operatorname{mex} = 0$

此时左边为 $0$，右边为 $\max - \min$，因此：

$$\max - \min = 0 \quad\Rightarrow\quad \max = \min$$

即三个数全部相等。
又因为 $\operatorname{mex}=0$ 说明 $0$ 不在三元组中，所以这三个相等的数必须 非零。

结论：此时三元组形如 $(x, x, x)$，其中 $x \ge 1$。

情况 2：$\operatorname{mex} \neq 0$

设 $\operatorname{mex} = m \ge 1$。
由于 $0$ 是最小的非负整数，如果 $0$ 不在三元组中，则 $\operatorname{mex}$ 必定为 $0$，矛盾。因此 $0$ 必须在三元组中，即：

$$\min([a_i, a_{i+1}, a_{i+2}]) = 0$$

于是右边 $\max - \min = \max - 0 = \max$，条件变为：

$$m = \max$$

但 $m = \operatorname{mex}$ 的定义是 不在三元组中的最小非负整数，而 $\max$ 是三元组中的最大值，它一定出现在三元组中。因此 $m = \max$ 意味着 $\max$ 不在三元组中，矛盾。

所以 情况 2 不可能成立。

---

对整个数组的约束

每一个长度为 $3$ 的连续子数组都必须满足情况 1，即每个三元组都由相同的非零数构成。

考虑相邻的三元组 $(a_1, a_2, a_3)$ 和 $(a_2, a_3, a_4)$：

• 由第一个三元组知 $a_1 = a_2 = a_3 = x$（$x \ge 1$）。
• 由第二个三元组知 $a_2 = a_3 = a_4 = y$（$y \ge 1$）。
  于是 $x = y$，所以 $a_4 = x$。依此类推，整个数组的所有元素必须 全部相等且非零。

---

处理缺失值（$-1$）

• 如果数组中所有已知（非 $-1$）的元素都相等且不等于 $0$，那么我们可以将每个 $-1$ 替换为这个相同的非零数（例如 $1$），这样整个数组就全部相等且非零，满足条件。
• 如果已知元素中有两个不同的值，或者存在 $0$，则无论如何填充都无法使所有三元组都相等且非零，因此不可能。

特别地，如果所有元素都是 $-1$（没有已知值），我们可以全部填 $1$，也是可行的。

---

算法步骤

对于每个测试用例：

1. 读取 $n$ 和数组 $a$。
2. 收集所有 $a_i \neq -1$ 的值到列表 $v$。
3. 如果 $v$ 为空，输出 "YES"。
4. 否则，检查 $v$ 中所有元素是否都等于某个 $x$，并且 $x \neq 0$。
   • 如是，输出 "YES"。
   • 否则，输出 "NO"。

时间复杂度：$O(n)$ 每个测试用例，满足 $n \le 100$。

---

代码实现（C++ 风格）

#include <bits/stdc++.h>
using namespace std;

int main() {
    int t;
    cin >> t;
    while (t--) {
        int n;
        cin >> n;
        vector<int> a(n);
        vector<int> known;
        for (int i = 0; i < n; i++) {
            cin >> a[i];
            if (a[i] != -1) known.push_back(a[i]);
        }
        bool ok = true;
        if (!known.empty()) {
            int val = known[0];
            if (val == 0) ok = false;
            else {
                for (int x : known) {
                    if (x != val) {
                        ok = false;
                        break;
                    }
                }
            }
        }
        cout << (ok ? "YES" : "NO") << endl;
    }
    return 0;
}