算法差分约束观察到\(a_i\)最后是确定唯一的+我是从差分约束专题来的，考虑对于\(a_i\)的约束条件进行差分约束。转化约束条件观察到，\[\left\{\begin{array}{lr}b=0,\lvert{a_u-a_v}\rvert=1,&\\b=1,a_u+1=a_v&\en