link假定\(a_{1\simn}\)不对\(n\)取模，设最终状态为\(b_{1\simn}\)，令\(S=\sum\limits_{i=1}^n(b_i-a_i)\)，应满足以下条件：\(b_i\bmodn\)两两不同\(m|S\)\(\max\limits_{i=1}^n(b_i-a_i)\)先对\(a\)排序，那么可以发现最优情况下\(b\)也