159C

设 $s=\sum\limits_{i = 1}^n a_i$，考虑加上排列 $p$，那么 $s\leftarrow s + \frac{n\times (n + 1)}{2}$。 当有解时，因为 $a_i$ 相等，所以有 $s\bmod n = 0$。 考虑 $n \bmod 2 = 1$ 时，$ ......