不知

给定一个由N个bool值组成的序列A，给出一些限定关系，确定序列中每个元素的值，使其满足所有限制关系。这个称为SAT关系。 特别的，如果每种关系中最多只对两个元素进行限制，则称为2-SAT问题，即二元可满足性问题 显然这个题属于2-SAT问题，直接暴力枚举，对每个结点进行dfs染色，如果我们将i染成红色，那么就将i‘染成蓝色，如果存在i的后继j是蓝色，那么这种方法是不可行的，回溯，将i’染

给定一个由N个bool值组成的序列A，给出一些限定关系，确定序列中每个元素的值，使其满足所有限制关系。这个称为SAT关系。 特别的，如果每种关系中最多只对两个元素进行限制，则称为2-SAT问题，即二元可满足性问题。 由于在2-SAT问题中，最多只对两个元素进行限制，所以可能的限制关系共有11种： A[x] NOT A[x] A[x] AND A[y] A[x] AND NOT A[y]