P10852 【MX-X2-T1】「Cfz Round 4」Awaken

原题链接：。 --- 能否等到梦醒了的时候。 

月做了一个梦。在梦中，她拿到了一个长度为 $n$ 的**整数**序列 $a_1, \ldots, a_n$，**其中 $\bm{n \ge 5}$**。 梦醒了。月忘记了这个序列中的一部分元素，留下了空白。所幸，月还记得 $m$ 个非空白的位置。月希望将空白的位置填上，还原整个序列。 月还记得梦中的序列有性质：对于所有满足 $x_2+x_3=x_1+x_4$ 的互异下标 $x_1,x_2,x_3,x_4$，总有 $a_{x_2}+a_{x_3}=a_{x_1}+a_{x_4}$ 成立。 月想知道是否可以还原出一个满足性质的序列（如果不能的话，就是她记错了）。若可以，输出 ```Yes```；否则输出 ```No```。

**本题有多组测试数据。** 输入的第一行包含一个整数 $T$，表示测试数据组数。 接下来依次输入每组测试数据。对于每组测试数据： - 第一行两个整数 $n,m$，其中 $n \ge 5$，$m$ 表示 $a_i$ 中不为空的位置的个数。 - 接下来 $m$ 行，每行两个整数 $p_i,x_i$，表示 $a_{p_i}$ 不为空，且 $a_{{p_i}}=x_i$。保证 $p_i$ 两两不同。

对于每组测试数据，输出一个字符串 `Yes` 或 `No`，表示原序列是否存在。 本题中字符串大小写不敏感，即 `yes`、`yeS`、`yEs`、`Yes`、`YEs`、`YeS`、`yES`、`YES` 都被认为是 `Yes`，`No` 同理。

**【样例解释 #1】** 对于第 $1$ 组测试数据，当前序列为 $[1,?,?,4,5]$。可以构造出原序列 $[1,2,3,4,5]$，你可以检查此序列满足性质。 对于第 $2$ 组测试数据，当前序列为 $[1,4,7,1,5,4]$。可以证明不存在满足性质的原序列。这组样例提醒你，**$\bm p$ 不一定升序给出**。 对于第 $3$ 组测试数据，当前序列为 $[?,?,?,?,?]$。可以构造出原序列 $[0,0,0,0,0]$，当然 $[-1,-1,-1,-1,-1]$ 也可以。这组样例提醒你，$m$ 可以等于 $0$，以及原序列可以含有负数或 $0$。 **【数据范围】** 设 $\sum n$ 表示单个测试点中 $n$ 的和。 对于所有测试数据，$1 \le T\le 4\times10^4$，$5\le n\le2\times 10^5$，$\sum n\le 2\times10^5$，$0\le m\le n$，$1\le p_i\le n$，$-10^{9} \le x_i \le 10^{9}$。保证在同一组数据内 $p_i$ 两两不同。 **本题采用捆绑测试。** - Subtask 1（20 points）：$n\le2000$ 且 $m=n$。 - Subtask 2（30 points）：$n\leq 6$，$|x|\le7$。 - Subtask 3（20 points）：$m=2$。 - Subtask 4（30 points）：无特殊限制。