程序自动分析

【题目描述】

在实现程序自动分析的过程中，常常需要判定一些约束条件是否能被同时满足。

考虑一个约束满足问题的简化版本：假设$x_1,x_2,x_3,...x_n$代表程序中出现的变量，给定$n$个形如$x_i=x_j$或者$x_i≠x_j$的变量相等/不等的约束条件，请判定是否可以分别为每一个变量赋予恰当的值，使得上述条件同时被满足。

【输入格式】

输入文件第一行包含一个正整数$T$,表示需要判定的问题个数。注意这些问题之间相互独立。

对于每个问题，包含若干行：

第一行一个正整数$n$,表示约束条件个数。

接下来$n$行，每行三个正整数$i,j,e$,描述一个相等/不等的约束条件。若$e=1$,则约束条件为$x_i=x_j$，若$e=0$,则约束条件为$x_i≠x_j$

【输出格式】

输出文件包括T行。

输出文件的第k行输出一个字符串"YES"或者"NO"(不包含引号，字母全部大写).

【样例输入1】

2
2
1 2 1
1 2 0
2
1 2 1
2 1 1

【样例输出1】

NO
YES

【样例输入2】

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

【样例输出2】

YES
NO

【数据规模】

$1<=T<=10$

对于1,2:$1<=n<10$

对于3,4:$10<n<=100$

对于5,6,7:$100<n<=100,000$

对于8,9,10:$100<n<=100,000$

对于前70%的数据：$1<=i,j<=10,000$

对于100%的数据：$1<=i,j<=1,000,000,000$

【来源】

$NOI2015$