可能是建图时一个冲突连了四条边,其实两条就好。
就是 ⟨Ai,Bi⟩\langle A_i,B_i \rangle⟨Ai,Bi⟩ 的冲突,只用连接 (Ai,ano(Bi))(A_i,ano(B_i))(Ai,ano(Bi)) 和 (Bi,ano(Ai))(B_i,ano(A_i))(Bi,ano(Ai)) 两条有向边。原因自己想想就知道了。