二部グラフ判定

DFSで塗り分けて矛盾が起きなければOK

辺u,vについて「uが赤ならその時に限りvは青」のiff関係が成り立つのでUnionFindで充足判定ができる