又想假了。
刚开始以为是个网络流啥的。说起来这个题网络流到底能不能做，感觉很可做的样子。
(2-sat)。 考虑对于每个非(x)点均有只有两个选择。 而(x)点的数量是非常少的，我们可以直接枚举他的状态。 每个(x)点只要枚举(AB)和(BC)的状态就好了。
代码鸽了。