伐木工人米尔科需要砍倒 米长的木材。这是一个对米尔科来说很容易的工作,因为他有一个漂亮的新伐木机,可以像野火一样砍倒森林。不过,米尔科只被允许砍倒单行树木。
米尔科的伐木机工作过程如下:米尔科设置一个高度参数 (米),伐木机升起一个巨大的锯片到高度 ,并锯掉所有的树比 高的部分(当然,树木不高于 米的部分保持不变)。米尔科就行到树木被锯下的部分。
例如,如果一行树的高度分别为 和 ,米尔科把锯片升到 米的高度,切割后树木剩下的高度将是 和 ,而米尔科将从第 棵树得到 米,从第 棵树得到 米,共得到 米木材。
米尔科非常关注生态保护,所以他不会砍掉过多的木材。这正是他为什么尽可能高地设定伐木机锯片的原因。帮助米尔科找到伐木机锯片的最大的整数高度 ,使得他能得到木材至少为 米。换句话说,如果再升高 米,则他将得不到 米木材。