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

题目背景

能否等到梦醒了的时候。 ![图片与题目做法无关,图片来源网络,侵删。QWQ。](https://cdn.luogu.com.cn/upload/image_hosting/wksp5b48.png?x-oss-process=image/resize,m_lfit,h_500,w_500)

题目描述

月做了一个梦。在梦中,她拿到了一个长度为 $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

3
5 3
1 1
4 4
5 5
6 6
1 1
3 7
2 4
5 5
4 1
6 4
5 0

输出样例 #1

Yes
No
Yes

输入样例 #2

1
5 2
1 -2
5 -10

输出样例 #2

Yes

输入样例 #3

2
9 6
1 -856675560
8 479857596
5 -92942328
4 -283875636
3 -474808944
9 670790904
10 7
4 -32297373
10 -633066970
9 831032854
5 -43726758
2 -699796467
1 -918486370
8 612342951

输出样例 #3

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):无特殊限制。