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