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