#P16580. [Euc2024]Division Avoidance

[Euc2024]Division Avoidance

题目描述

一种新发现的生物可以表示为无限网格上的若干单元格。网格上建立了坐标系,每个单元格都有两个整数坐标 x,yx,y。坐标为 x=a,y=bx=a,y=b 的单元格记作 (a,b)(a,b)

初始时,生物只包含单元格 (0,0)(0,0)。随后可以进行零次或多次分裂。

一次分裂会移除一个单元格 (a,b)(a,b),并用两个单元格

(a+1,b),(a,b+1)(a+1,b),\qquad (a,b+1)

替换它。

例如,第一次分裂后,生物一定由 (1,0)(1,0)(0,1)(0,1) 两个单元格组成。第二次分裂后,它可能由

(2,0),(1,1),(0,1)(2,0),(1,1),(0,1)

组成,也可能由

(1,0),(1,1),(0,2)(1,0),(1,1),(0,2)

组成。

只有当 (a+1,b)(a+1,b)(a,b+1)(a,b+1) 都尚未属于该生物时,单元格 (a,b)(a,b) 才允许分裂。

例如,当生物当前由 (1,0),(1,1),(0,2)(1,0),(1,1),(0,2) 三个单元格组成时,(1,0)(1,0) 不能分裂,因为分裂产生的 (1,1)(1,1) 已经存在。

现在给定一组禁用单元格 (ci,di)(c_i,d_i)。请判断,能否经过零次或多次分裂,使最终的生物不包含任何禁用单元格。

输入格式

每个输入包含多组测试数据。

第一行包含一个整数 tt1t100001\le t\le 10000),表示测试数据组数。

每组测试数据:

  • 第一行包含一个整数 nn1n1061\le n\le 10^6),表示禁用单元格数量;
  • 接下来 nn 行,第 ii 行包含两个整数 ci,dic_i,d_i0ci,di1090\le c_i,d_i\le 10^9),表示一个禁用单元格。

保证同一组测试数据中的禁用单元格互不相同,并且所有测试数据中 nn 的总和不超过 10610^6

输出格式

对于每组测试数据,若可以使最终生物不包含任何禁用单元格,输出 YES;否则输出 NO

样例

输入

2
4
0 0
1 0
0 1
1 1
16
0 0
0 1
0 2
0 3
1 0
1 1
1 2
1 3
2 0
2 1
2 2
2 3
3 0
3 1
3 2
3 3

输出

YES
NO

说明

在第一组测试数据中,依次分裂下列单元格:

(0,0), (1,0), (1,1), (0,1), (2,1), (2,2), (1,2), (1,1)

即可得到一个不包含任何禁用单元格的生物。过程如下图所示。

第一组样例的分裂过程

在第二组测试数据中,无论进行多少次分裂,生物在正方形区域

0x3,0y30\le x\le 3,\qquad 0\le y\le 3

内总会至少包含一个单元格,因此答案为 NO