样例： 3 b1 g1 b2 g2 b3 g3

3

b1 g2 b2 g3 g3 b1

tarjan的做法判的第二队夫妻unsafe，二分图匹配的做法三个safe。实际建图发现在第二队夫妻离婚的条件下不能组成新的三队夫妻。