没有两个激光塔在同一位置，即 ∀i≠j,ai≠aj\forall i\neq j,a_i\neq a_j∀i=j,ai=aj。
没有两个激光塔在同一位置，即 $\forall i\neq j,a_i\neq a_j$。
