对我很有启发的一道题。
官方题解中最有思维难度的 observation 是
For simplicity, we will assume that we never eat a stone with zero energy.
求解最优化问题时，我们可以对解空间增加一些限制条件，使解空间更加“规范”，同时保证缩小了的解空间中至少包含一个最优解。