差分约束可以求出 $a_i \neq a_{i+1}$ 并且 $a_i \in [1,5]$ 这样的问题吗？