CF549G Happy Line

注意到无论怎么操作 \(\{ a_i + i | i \in [1, n]\}\) 这个集合不会变化，所以若有解最终序列必定是按照 \(a_i + i\) 进行排序后再 \(- i\) 的结果。

无解的情况就是 \(a_i = a_{i + 1}\)，此时必定存在 \(a_i > a_{i + 1}\)，无论怎么交换最后都不会有序。