考虑我们两种操作: 我们把第一种操作在(x o y)连一条权为-1的边。 第二种操作(x o y)连-1,(y o x)连1的边。 当无法操作则是环里有负环。
否则我们把第二种操作涉及的点缩点然后拓扑就好了。