为什么恰好小于等于S的时候结果会比不恰好的时候更优呢？