ICode9

首先发现这个 \(|a_i-a_j|=1\) 的形式比较接近差分约束，稍微转化一下就是：\(-1\le a_i-a_j\le 1\) 且 \(a_i\neq a_j\)。于是你会发现 \(a_i\neq a_j\) 不是差分约束的条件。 换个角度。容易发现一条边相连的两个点一定奇偶性不同。考虑原图中若存在奇环，那么显然这是自相矛盾的。所