题目描述

一年一度的"跳石头"比赛又要开始了！

这项比赛将在一条笔直的河道中进行，河道中分布着一些巨大岩石。组委会已经选择好了两块岩石作为比赛起点和终点。在起点和终点之间，有 N 块岩石（不含起点和终点的岩石）。在比赛过程中，选手们将从起点出发，每一步跳向相邻的岩石，直至到达终点。

为了提高比赛难度，组委会计划移走一些岩石，使得选手们在比赛过程中的最短跳跃距离尽可能长。由于预算限制，组委会至多从起点和终点之间移走M 块岩石（不能移走起点和终点的岩石）。

输入描述

输入文件第一行包含三个整数 L，N，M，分别表示起点到终点的距离，起点和终点之间的岩石数，以及组委会至多移走的岩石数。

接下来 N 行，每行一个整数，第 i 行的整数  Di​（0<Di​<L）表示第 i 块岩石与起点的距离。这些岩石按与起点距离从小到大的顺序给出，且不会有两个岩石出现在同一个位置。

其中，0 ≤ M ≤ N ≤ 5 × 10^4，1 ≤ L ≤ 10^9。

输出描述

输出只包含一个整数，即最短跳跃距离的最大值。

输入输出样例

输入

25 5 2
2
11
14
17
21

输出

4

 参考代码：

def pandaun(d):    #贪心法，求是否能搬
  num=0
  pos=0
  for i in range(0,n):
    if (lis[i]-pos<d):   #第 i 块可以搬走
      num+=1
    else:        #不能搬则换下一块石头
      pos=lis[i]
  if num<=m:
    return True
  else:
    return False

l,n,m=map(int,input().split())
lis=[]         #石头到起点的距离
for i in range(n):
  t=int(input())
  lis.append(t)

L,R=0,l            #二分法
while L<R:
  mid=(L+R+1)//2
  if pandaun(mid):
    L=mid
  else:
    R=mid-1
print(L)

在n块岩石中移走m个石头，有很多种移动方法。
在第i种移动方法中，剩下的石头之间的距离，有一个最小距离ai。
在所有移动方法的最小距离ai中，问最大的ai是多少。
在所有可能的最小值中，找最大的那个，就是“最小值最大化”。

二分思路：不找搬走石头的各种组合，而是给出一个距离d，检查能不能搬走m块石头而得到最短距离d。把所有的d都试一遍，肯定能找到一个最短的d。用二分法找这个d。