Four's

题目大意   有 n 个布尔变量 x1,⋯ ,xn，在一组约束下恰好有三种赋值方式。   约束是形如 xi→xj​ 这样，xi​ 可以是 !xi，xj 可以是 !xj。   现给出这三种赋值方式，请构造出一组约束。   n≤50，你构造...

题目大意      ~~~~~~现在要将n个忍者排成一行，每个忍者有一个标识a[i]（1<=a[i]<=4），相邻两个忍者的标识的差的绝对值一定要大于等于2，同时，有m组形如”b[1],b[2],b[3]…b[k]”的约束条件，表示这些忍者的标识各不相同。       ~~~~~~现在我们想知道，给出n和所有约束条件后，是否存在一种a序列，使得a满足这些条件。       ~~~~~~n,m<=