最后一行 $x_i\ne v_i$ 应该是 $u_i\ne v_i$ 吧。