hdu3666这道题是差分约束判有无解，其中涉及到了一个玄学的优化，就是出队次数大于 $\sqrt{n}$ 就可以直接无解掉，这很玄学，原本按道理需要出队 $n$ 次。

求知道的dalao提供证明或是证伪，蒟蒻感激万分！