跳石头 二分 python

题目背景

一年一度的“跳石头”比赛又要开始了!

题目描述

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

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

输入格式

第一行包含三个整数 L,N,M，分别表示起点到终点的距离，起点和终点之间的岩石数，以及组委会至多移走的岩石数。保证L≥1 且 N≥M≥0。

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

输出格式

一个整数，即最短跳跃距离的最大值。

输入输出样例

输入 #1复制

25 5 2 
2
11
14
17 
21

输出 #1复制

4

说明/提示

输入输出样例 1 说明：将与起点距离为 2和 14 的两个岩石移走后,最短的跳跃距离为 44(从与起点距离 17 的岩石跳到距离 21的岩石,或者从距离 21 的岩石跳到终点)。

另：对于 20%的数据,0 ≤ M ≤ N ≤ 100≤M≤N≤10。

对于%的数据,0 ≤ M ≤ N ≤ 1000≤M≤N≤100。

对于 100%的数据,0 ≤ M ≤ N ≤ 50,000,1 ≤ L ≤ 1,000,000,0000≤M≤N≤50,000,1≤L≤1,000,000,000。

l,n,m=map(int,input().split())
la=[]
for i in range(n):
    s=int(input())
    la.append(s)
la=[0]+la+[l]
#理清因果
def judge(s):
    c=0
    ans=0
    for i in range(1,n+2):
        if la[i]-c<s:
            ans=ans+1
            if ans>m:
                return False#删的石头数大于要删的
        else:
            c=la[i]
    return True#删的石头数小于要删的
def erfen():
    z,y=1,l
    while z<=y:
        mid=(z+y)//2
        if judge(mid):
            z=mid+1
        else:
            y=mid-1
    print(min(z,y))
erfen()