Let be variables. constraints of form or are given. The task asks for whether it is possible to assign values to the variables so that all constraints can be satisfied. For example, if the constraints are , then those constraints cannot be satisfied simultaneously.
Input Specification
The first line of the input is an integer representing the number of instances to solve. The instances are independent. For each instance, the first line is an integer representing the number of constraints to be satisfied. In the following lines, each line has three integers representing an equality/inequality constraint. If , the constraint shall be . If , the constraint shall be .
Output Specification
The output has lines. The -th line of the output is a string YES
or NO
.
Output YES
if the constraints in that instance can be satisfied and NO
otherwise.
Sample Input 1
2
2
1 2 1
1 2 0
2
1 2 1
2 1 1
Sample Output 1
NO
YES
Sample Input 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
Sample Output 2
YES
NO
Constraints
Test Case | Additional Constraints | ||
---|---|---|---|
1 | |||
2 | |||
3 | |||
4 | |||
5 | |||
6 | |||
7 | |||
8 | |||
9 | |||
10 |
Comments