题面 有 个变量 ，每个变量的可能取值是 或 ，现有 个限制条件，每个条件的形式为： 求是否有合法的方案，使所有条件成立，输出 YES 或 NO 解题思路  分析 每个变量只有两种选择，明显是一个 问题模板，考虑如何建图 对于每种 分情况讨论：  考虑什么时候需要限制，显然，当 两者有一个为 时，另一个必为 因此建立有向边： 仍然考虑什么时候需要限制，显然， 都必须为 ，也就是 都不能为 直接让两者同时不满足即可，因此建有向边：，显然 为 时，上述条件无法满足  都必须为 ，与情况 2 类似，建有向边： 与 1 类似，建立有向边：  的值必须相同，建有向边：  的值必须不同，建有向边：  总结...