4448: 程序自动分析

题目描述 在实现程序自动分析的过程中，常常需要判定一些约束条件是否能被同时满足。 考虑一个约束满足问题的简化版本：假设 � 1 , � 2 , � 3 , ⋯ x 1 ​ ,x 2 ​ ,x 3 ​ ,⋯ 代表程序中出现的变量，给定 � n 个形如 � � = � � x i ​ =x j ​ 或 � � ≠ � � x i ​  =x j ​ 的变量相等/不等的约束条件，请判定是否可以分别为每一个变量赋予恰当的值，使得上述所有约束条件同时被满足。例如，一个问题中的约束条件为： � 1 = � 2 , � 2 = � 3 , � 3 = � 4 , � 4 ≠ � 1 x 1 ​ =x 2 ​ ,x 2 ​ =x 3 ​ ,x 3 ​ =x 4 ​ ,x 4 ​  =x 1 ​ ，这些约束条件显然是不可能同时被满足的，因此这个问题应判定为不可被满足。 现在给出一些约束满足问题，请分别对它们进行判定。

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

NO
YES