很多注意事项的二分🆒

import sys

input=lambda:sys.stdin.readline().strip()

n,le=map(int,input().split())

f=[[0]*2 for i in range(n)]

for i in range(n):

    f[i][0],f[i][1]=map(int,input().split())

def check(x):

    global n

    lt=[]

    for i in range(n):

        if x<f[i][1]:

            continue

        lt.append((f[i][0]-(x-f[i][1]),f[i][0]+(x-f[i][1])))

    if len(lt)==0:

        return False

    lt.sort(key=lambda t:t[0])

    if lt[0][0]>1:

        return False

    r=lt[0][1]

    for i in range(len(lt)):

        if lt[i][0]>r+1:

            return False

        r=max(r,lt[i][1])

    if r>=le:

        return True

    return False

l,r=1,int(1e15+5) #对谁二分（答案）

while l<r:

    mid=(l+r)//2

    if check(mid):

        r=mid

    else:

        l=mid+1

print(l)