rt 为什么最优解的差分数组一定是先减后增的，有大佬可以详细地解释一下吗？