怎么证明只移动一边就可以得到最优解啊？为什么上下同时移动不可能更优了？