怎么证明一个数组不动，仅对另一个数组排序，可以是最优解。万一两个数组同时动的情况更好呢？题解中找不到这样的证明