样例2中，

10 10
T 3
+ 1 2
- 7 1
+ 2 10
T 6
- 1 4
U 3
+ 7 10
F 5
+ 6 9

我的输出/计算：6
期望输出:1

首先U 3肯定是一个了。

我的算法是 没有被语句赋值的点组成的连通块，如果不是二分图（不能只含T,F），那应该一开始都是U。

但是我发现1,2,10,7是无法按照规则来染色（标记TF）的。1-2-10同 7和1不同 但7和10又要同。这显然矛盾啊。所以连通块里的1,2,7,10,6不应该都是U吗？