算法六：等式

免费版：算法六：等式

描述

有n个变量和m个“相等”或“不相等”的约束条件，请你判定是否存在一种赋值方案满足所有m个约束条件。

输入

第一行一个整数T，表示数据组数。

接下来会有T组数据，对于每组数据：

第一行是两个整数n,m，表示变量个数和约束条件的个数。

接下来m行，每行三个整数a,b,e，表示第a个变量和第b个变量的关系：

• 若e=0则表示第a个变量不等于第b个变量；
• 若e=1则表示第a个变量等于第b个变量

输出

输出T行，第i行表示第i组数据的答案。若第i组数据存在一种方案则输出"Yes"；否则输出"No"（不包括引号）。

输入样例

2 (有两组数据)
5 5 （5个变量，5个约束条件）
1 2 1 （第1个变量=第2个变量）
2 3 1
3 4 1
1 4 1
2 5 0（第2个变量!=第5个变量）
3 3
1 2 1
2 3 1
1 3 0
<