这一题可以先暴力建图再二分图判定，所以不至于用2-sat，建议降绿