样例: 3 b1 g1 b2 g2 b3 g3
3
b1 g2 b2 g3 g3 b1
tarjan的做法判的第二队夫妻unsafe,二分图匹配的做法三个safe。实际建图发现在第二队夫妻离婚的条件下不能组成新的三队夫妻。